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…

Este trabajo es un primer acercamiento al estudio de las relaciones existentes entre el modelo Linda y la Teoría de Cambio de Creencias. Se mostrarán las similitudes existentes entre ambos formalismos y cómo extender el modelo Linda utilizando resultados y…

La inducción puede definirse como la inferencia de una ley general a partir de casos particulares.
La inducción fue de especial importancia dentro de la Epistemología y Teoría de la Ciencia, como modelo del razonamiento científico. En este proyecto buscamos…

En este trabajo se describe el desarrollo y evolución, a través de distintos prototipos, de un sistema de apoyo a la enseñanza diagnóstica en Endodoncia. Este sistema tiene como objetivo reforzar el conocimiento que adquieren los estudiantes a través de…