Lógica para la inteligencia artificialconocimiento, creencia e intención
- Jesús María Larrazabal Antía Directeur/trice
Université de défendre: Universidad del País Vasco - Euskal Herriko Unibertsitatea
Année de défendre: 1993
- R. Beneyto President
- Jesús Ezquerro Martínez Secrétaire
- Ramón Jansana Ferrer Rapporteur
- J. Daniel Quesada Casajuana Rapporteur
- M. Borillo Rapporteur
Type: Thèses
Résumé
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.