Título: Modelado de agentes en lógica: un enfoque de revisión de creencias
Autores: Acosta Guadarrama, Juan Carlos
Fecha: 2002-12-16
Publicador: CIRIA
Fuente:
Tipo: Electronic Thesis or Dissertation
Tesis
Tema: Ciencias con Especialidad en Ingeniería en Sistemas Computacionales
Descripción: Se presenta una metodología simple y poderosa para modelar un agente en LUPS, como evidencia de que dicho lenguaje es adecuado para representar actualizaciones de conocimiento dinámico. En particular, esta metodología introduce conceptos nuevos en los sistemas automáticos de agenda, que consisten en la negociación de propuestas con otros agentes, tanto para no contradecir citas previas, como para reunir gente en citas comunes. Por otro lado, se analiza el lenguaje, señalando la revisión de creencias como algo indispensable en la actualización de conocimiento y se propone un mecanismo basado en una lógica de tres valores. Este enfoque consiste en rastrear la inconsistencia a través de transformaciones y modificar la base de conocimientos, rescatando información pertinente y evitando así la suspensión total del sistema. Palabras clave: LUPS; belief revision; stable semantics; knowledge updates; G3; intelligent agent, calendar, dynamic knowledge, non-monotonic reasoning.
Idioma: Español