Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación

Authors
Luna, Carlos Daniel; Falappa, Marcelo Alejandro
Publication Year
1997
Language
Spanish
Format
conference paper
Status
Published version
Description
Dentro del campo de la Inteligencia Artificial, existen diferentes áreas que tratan de modelar el razonamiento humano. En particular, la Teoría de Cambio de Creencias busca caracterizar la dinámica del conocimiento, esto es, como debería ser la actitud epistémica de un agente racional frente a ciertas creencias ante la llegada de nueva información. Esta información externa puede implicar la incorporación o el abandono de ciertas creencias –mediante ciertas operaciones de cambio– generando de este modo un nuevo estado epistémico. Este trabajo presenta un análisis de la aplicación del modelo AGM (Alchourrón, Gärdenfors y Makinson) de cambio de creencias sobre Bases de Conocimiento finitas, a partir de la utilización de cláusulas Horn como lenguaje de representación (inicial) y resolución-SLD como mecanismo de prueba. Distintas funciones de expansión y contracción son expuestas, y modelos alternativos son considerados con el objetivo de satisfacer, por un lado, la claridad y declaratividad de una base actualizada, y por el otro, garantizar la mínima pérdida de información en un cambio epistémico y la composicionalidad de las operaciones de cambio. Se analizan los problemas suscitados en la satisfacción de ciertos postulados AGM y las soluciones propuestas, junto con determinadas propiedades adicionales que se verifican para un sistema particular de actualización formulado (en base al lenguaje elegido). Este sistema se caracteriza por incluir excepciones en el conjunto de las creencias derivadas y por satisfacer un criterio diferente del concepto de máxima conservación del conocimiento luego de un cambio, que el considerado por AGM. Asimismo, las limitaciones de Horn como lenguaje de representación de conocimiento son establecidas y una extensión propia es propuesta, a la vez que los sistemas de cambio de creencias previamente formulados son analizados para el nuevo contexto.
Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial
Red de Universidades con Carreras en Informática (RedUNCI)
Subject
Ciencias Informáticas
Lógica
Programación en Lógica
Inteligencia Artificial
Teoría de Cambio de Creencias
Bases de Conocimiento
ARTIFICIAL INTELLIGENCE
Languages
Access level
Open access
License
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
Repository
SEDICI (UNLP)
Institution
Universidad Nacional de La Plata
OAI Identifier
oai:sedici.unlp.edu.ar:10915/24070