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…

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…

En el siguiente trabajo se definen ciertas propiedades que satisface el operador de revisión mediante argumentos [2, 3]. Tal operador, a diferencia de los operadores de revisión generales [1,4,6, 5], está definido sobre bases de conocimiento finitas no clausuradas, no…

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…