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…

Dentro del campo de la Inteligencia Artificial, existen diferentes áreas que tratan de modelar el razonamiento humano. En particular, la Teoría de Cambio de Creencias busca caracterizar la dinámica del conocimiento, esto es, como debería ser la actitud epistémica de…

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…

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 este proyecto se estudia el problema de la producción de una vista (view) consolidada del conocimiento que una comunidad de agentes posee almacenado en la forma de bases de datos privadas posiblemente de gran tamaño. Cada agente en la…

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 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…

La argumentación es un formalismo de razonamiento, donde los argumentos y contraargumentos son evaluados para poder seleccionar aquellos que pueden ser aceptados en forma conjunta. En argumentación clásica abstracta, los argumentos y ataques son estáticos, en el sentido de que…

La Web Semántica es una visión de la Web en la cual la información tiene un significado exacto que permite a los agentes razonar respecto al mismo para cumplir objetivos delegados por sus usuarios propietarios. El significado de los datos…