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…

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

En este trabajo se presenta una extensión al algoritmo de Graphplan que durante la resolución de un problema de planificación genera conocimiento automáticamente (experiencia) que podrá ser utilizado para resolver nuevos problemas del mismo dominio de planificación. El conocimiento generado…

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…

E-MOBI es la implementación, en el lenguaje Eiffel, de un modelo multi-paradigma para la incorporación de procesamiento basado en reglas y conocimiento a lenguajes orientados a objetos llamado MOBI (Modelo de OBjetos Inteligentes). E-MOBI soporta múltiple herencia de conocimiento y…

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…

El razonamiento abductivo es aquel tendiente a encontrar explicaciones para observaciones sorprendentes o anómalas en algún sentido. Como tal, es utilizado y posee diversas aplicaciones, particularmente en la inteligencia artificial (sistemas de diagnóstico, resolución de problemas, planificación de tareas, aprendizaje,…

Las operaciones de cambio de tipo partial meet fueron introducidas en el modelo AGM (Alchourrón, Gärdenfors y Makinson [AGM85]) y se basan en dos items: un conjunto de restos y una función de selección. Por su parte, las operaciones de…

Los diferentes modelos de sistemas argumentativos son formalismos de representación y razonamiento no monotónicos que permiten caracterizar una de las principales habilidades d ela inteligencia humana: la argumentación.
La Programación en Lógica Rebatible (De ahora en más P.L.R.) [GS99, Gar00,…