El razonamiento no trivial a partir de premisas contradictorias es reconocido actualmente como una de las necesidades principales de los sistemas inteligentes, como por ejemplo en los sistemas expertos, planificadores y diagramadores autónomos de tareas y sistemas de diagnóstico. Esta…

Las teorías científicas pueden considerarse como extensiones de las teorías lógicas, en las que se incorpora un conjunto heterogéneo y posiblemente inconsistente de conocimiento tentativo (leyes empíricas, conjeturas, hipótesis auxiliares, etc.) Dicho conocimiento está organizado por medio de una jerarquía…

El aprendizaje de conceptos a partir de ejemplos es una tarea muy compleja. Dentro del área de la Programación en Lógica Inductiva se han desarrollado diversas propuestas para afrontar tal problema utilizando paradigmas tradicionales de programación en lógica. En este…

Dada una base de conocimiento temporal para modelar las creencias de un agente racional sobre un mundo dinámico, surge la necesidad de revisar sus creencias. En [SA95], se utilizó una base de conocimiento temporal destinada a representar el conocimiento de…

Este trabajo muestra una relación entre dos áreas de investigación en Inteligencia Artificial: el modelamiento de Diálogos en Sistemas Multiagente por un lado, y la Teoría de Cambio de Creencias por el otro. Presentamos un modelo abstracto de diálogo sobre…

La negociación es el mecanismo básico de interacción, mediante el cual los agentes de un sistema interactúan intentando influir en los planes y preferencia de los demás miembros del grupo, hasta alcanzar un acuerdo compartido. En nuestro trabajo cada diálogo…

Se plantea un conjunto de hipótesis para la validez de la reutilización de conocimiento. Si los sistemas del futuro deberán estar basados en la reutilización eficiente del conocimiento, esto será posible sólo si efectivamente representan una ventaja contra los sistemas…

El propósito de este trabajo es presentar la motivación de nuestra línea de investigación, metas y desarrollos futuros. Fundamentalmente, nuestro interés se centrará en poder capturar el potencial de las técnicas y paradigmas basadas en conocimiento semántico para la representación…

La Programación en Lógica Inductiva es una propuesta de aprendizaje de conceptos a partir de observaciones que utiliza Programación en Lógica como herramienta de representación de conocimiento y razonamiento. Una de las ventajas de las técnicas ILP es la expresividad…

Planificar eficientemente requiere de heurísticas de búsqueda específicas a cada dominio de planificación. Sin embargo, construir heurísticas apropiadas para cada nuevo dominio es una tarea difícil. Una alternativa es utilizar técnicas de aprendizaje para adquirir conocimiento automáticamente que permita guiar…