Ver todos los grupos »

LoRea Group

Universidad del País Vasco

Responsable: Paqui Lucio

Contacto: Paqui Lucio

Ingeniería del software dirigida por modelos, Métodos formales, Paradigmas de Programación, Requisitos, calidad y pruebas

El razonamiento automático se dedica al desarrollo de software capaz de demostrar (o refutar) el hecho de que una conjetura sea (o no) consecuencia de un conjunto de axiomas. El lenguaje en el que la conjetura y los axiomas son escritos, junto con las reglas que rigen el razonamiento con propiedades escritas en dicho lenguaje, constituyen una lógica. La investigación en razonamiento automático, que viene siendo muy activa desde hace décadas, se enriquece cada día con nuevos ámbitos de aplicación y también gracias a una muy buena interacción entre la investigación de sus fundamentos, sus limitaciones y sus aplicaciones prácticas. Los sistemas de razonamiento automático se aplican en la resolución de un creciente número de problemas en lógica formal, matemáticas y ciencias de la computación, programación lógica, verificación de software y hardware, diseño de circuitos, y muchos otros más recientes relacionados con la web semántica o los protocolos de seguridad, etc. El objetivo general del grupo LoRea es contribuir al desarrollo y aplicación de los sistemas de razonamiento automático, tanto desde el punto de vista de sus fundamentos teóricos, como desde el punto de vista de su aplicación práctica. Esto es, por un lado el diseño y estudio a nivel teórico de sistemas deductivos (en particular el estudio de su complejidad computacional) y, por otro, la implementación y el estudio experimental de sistemas de razonamiento automático.

Visitar sitio web »