Lógica para la inteligencia artificialconocimiento, creencia e intención
- Jesús María Larrazabal Antía Director/a
Universidad de defensa: Universidad del País Vasco - Euskal Herriko Unibertsitatea
Año de defensa: 1993
- R. Beneyto Presidente/a
- Jesús Ezquerro Martínez Secretario/a
- Ramón Jansana Ferrer Vocal
- J. Daniel Quesada Casajuana Vocal
- M. Borillo Vocal
Tipo: Tesis
Resumen
EN ESTE TRABAJO HEMOS DESARROLLADO DOS TEMAS QUE RESULTAN RELEVANTES EN EL MUNDO DE LA INTELIGENCIA ARTIFICIAL Y EN CONCRETO EN EL DISEÑO DE AGENTES, EN EL PRIMERO NOS HEMOS OCUPADO DE LAS LOGICAS NO-MONOTONAS Y DE LA POSIBLE TRATABILIDAD DE LAS MISMAS AL RELACIONARIAS CON LA PROGRAMACION LOGICA. Y MOSTRAR NUESTRO ESCEPTICISMO CON RESPECTO A LOS FORMALISMOS NO-MONOTONOS TRIBALENTES FORMULADOS EN ESTE MARCO. EN EL SEGUNDO HEMOS PRESENTADO UNA LOGICA DE LA CREENCIA Y DE LA INTENCION EN EL MARCO DE UN SISTEMA PARA EL TIEMPO.