Dada una base de conocimiento temporal para modelar las creencias de un agente racional sobre un mundo dinámico, surge la necesidad de revisar sus creencias. En [SA95], se utilizó una base de conocimiento temporal destinada a representar el conocimiento de…

En la actual era postgenómica, el estudio de las interacciones existentes entre proteínas resulta una pieza clave en la compresión de los complejos mecanismos moleculares presentes en los procesos biológicos. Es sabido que la información acerca de interacciones proteínaproteína mejora…

En este artículo presentaremos ciertas consideraciones que deben ser tomadas en cuenta al momento de implementar las operaciones de cambio de la teoría de cambio de creencias. Los modelos abstractos de cambio de creencias no hacen ninguna consideración con respecto…

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…

El proyecto de investigación “Representación de Conocimiento y Razonamiento para Sistemas Multiagentes” tiene por objeto estudiar a los agentes como entidad cognitiva haciendo hincapié en técnicas de representación de conocimiento y razonamiento, particularmente Planificación, Dinámica de Creencias, Argumentación y Programación…

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…

Se presenta una formalización del razonamiento hipotético adecuada para integrarse dentro del contexto del razonamiento científico. Dicha formalización está fundamentada en la importancia epistémica que se asigna a la información factual. Esto permite caracterizar los distintos tipos de conocimiento que…

El estudio y las aplicaciones de la lógica difusa han tenido en los últimos años un gran desarrollo. Sin embargo, se ha generado una polémica acerca de sus propiedades como herramienta para la Representación de Conocimiento. En este trabajo se…

El modelo AGM provee una serie de postulados para modelar los cambios de creencias en teorías lógicas. Distintos autores han extendido este modelo para abarcar también conjuntos de creencias no cerrados bajo consecuencia lógica (Bases de Conocimiento). El objetivo de…

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…