Lógica para la inteligencia artificial: conocimiento, creencia e intención

• Autores: Agustín Arrieta Urtizberea
• Directores de la Tesis: Jesús María Larrazabal Antía (dir. tes.)
• Lectura: En la Universidad del País Vasco - Euskal Herriko Unibertsitatea ( España ) en 1993
• Idioma: español
• Tribunal Calificador de la Tesis: R. Beneyto (presid.), Jesús Ezquerro Martínez (secret.), Ramón Jansana Ferrer (voc.), J. Daniel Quesada Casajuana (voc.), M. Borillo (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica formal
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
• Texto completo no disponible (Saber más ...)
• 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.