Curso de Doctorado : Lógicas
de Agentes
(2 créditos)
Paqui Lucio
ResumenIntroducción al concepto de agente y su uso en el diseño
de sistemas de software.
Presentación del estado del arte en el área de los fundamentos
lógicos de sistemas basados en agentes.
Estudio de los principales resultados en lógica temporal y lógicas
BDI.
Presentación de la lógica LORA (Logic of Rational Agents)
para la especificación de sistemas de agentes racionales
apuntes-transparencias