Lógica para la inteligencia artificialconocimiento, creencia e intención

  1. Arrieta Urtizberea, Agustín
Dirigée par:
  1. 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

Jury:
  1. R. Beneyto President
  2. Jesús Ezquerro Martínez Secrétaire
  3. Ramón Jansana Ferrer Rapporteur
  4. J. Daniel Quesada Casajuana Rapporteur
  5. M. Borillo Rapporteur

Type: Thèses

Teseo: 39625 DIALNET

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.