Título: Razonamiento con ontologías inconsistentes: reporte de avance
Autores: Gómez, Sergio Alejandro
Castaño, Pedro Daniel
Martínez, Diego C.
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
Fecha: 2012-08-22
2011-05
2011
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: Inteligencia Artificial
Razonamiento no-monótono
Argumentación rebatible
Programación en Lógica Rebatible
Web Semántica
Ontologías
Web Ontology Language (OWL)
Lógicas para la Descripción
Integración de ontologías
Agentes inteligentes
Programación Web
CakePHP
Intelligent agents
Ciencias Informáticas
Descripción: La Web Semántica es una visión de la Web en la cual la información tiene un significado exacto. Dado un agente con poder delegado por su usuario propietario, se desea que el mismo sea capaz de razonar en base a tal información para cumplir con los objetivos propuestos. El significado de los datos se especifica mediante ontologías. La incoherencia y inconsistencia son dos anomalías que se pueden hallar en las definiciones ontológicas. Dada la diversidad de usuarios y de dominios de aplicación existentes, el planteo de una ontología universal es totalmente inviable; por lo tanto, generalmente un agente debe razonar con varias ontologías en simultáneo. Dado que estas ontologías pueden a su vez ser mutuamente inconsistentes es necesaria su reconciliación, actividad que se conoce como integración de ontologías. La argumentación rebatible es un tipo de razonamiento no-monótono que produce conclusiones tentativas en presencia de información incompleta y potencialmente contradictoria. En esta línea de investigación, exploramos la aplicación de la argumentación rebatible al procesamiento de ontologías inconsistentes y la integración de ontologías potencialmente inconsistentes. Así, su implementación computacional permitirá modelar parte del estado interno de agentes inteligentes operando en la Web Semántica.
Eje: Agentes y sistemas inteligentes
Idioma: Español