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…