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

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 ciert...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Luna, Carlos Daniel, Falappa, Marcelo Alejandro
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	1997
Materias:	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Lógica Programación en Lógica Languages Inteligencia Artificial Teoría de Cambio de Creencias Bases de Conocimiento
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/24070
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-24070
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Lógica Programación en Lógica Languages Inteligencia Artificial Teoría de Cambio de Creencias Bases de Conocimiento
spellingShingle	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Lógica Programación en Lógica Languages Inteligencia Artificial Teoría de Cambio de Creencias Bases de Conocimiento Luna, Carlos Daniel Falappa, Marcelo Alejandro Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
topic_facet	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Lógica Programación en Lógica Languages Inteligencia Artificial Teoría de Cambio de Creencias Bases de Conocimiento
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.
format	Objeto de conferencia Objeto de conferencia
author	Luna, Carlos Daniel Falappa, Marcelo Alejandro
author_facet	Luna, Carlos Daniel Falappa, Marcelo Alejandro
author_sort	Luna, Carlos Daniel
title	Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
title_short	Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
title_full	Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
title_fullStr	Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
title_full_unstemmed	Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
title_sort	actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
publishDate	1997
url	http://sedici.unlp.edu.ar/handle/10915/24070
work_keys_str_mv	AT lunacarlosdaniel actualizaciondebasesdeconocimientoenelcontextodehorncomolenguajederepresentacion AT falappamarceloalejandro actualizaciondebasesdeconocimientoenelcontextodehorncomolenguajederepresentacion
bdutipo_str	Repositorios
_version_	1764820466561712130

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

Ejemplares similares