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

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…

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…

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…

En este trabajo, presentamos un modelo general de Cambios de Creencias para aquellos casos en los que el estado epistémico o las creencias de un agente se definen implícitamente como las consecuencias no monotónicos de un conjunto de premisas. En…

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…

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…

Un conjunto de agentes racionales en interacción constituye un marco apropiado para solucionar problemas de Inteligencia Artificial particularmente el problema del razonamiento. Sin embargo, al tener cada uno de los agentes objetivos propios, los que trata de satisfacer, aparece el…