Programación lógica y cambio de teoría

EN este trabajo analizamos el modelo AGM de cambio de Teoría desde la perspectiva del lenguaje PROLOG y presentamos algunas estrategias para realizar dichos cambios. El trabajo se divide en tres apartados. En el primero ofrecemos una panorámica de los modelos de cambio de teoría. En el segundo establecemos los presupuestos básicos para aplicar dichos modelos sobre bases de conocimientos y en el tercero describimos una estrategia para el análisis de dichos cambios. El instrumento formal sobre el que se materializan estas ideas es el lenguaje PROLOG.

La lógica formal frente al derecho

Lógicas epistémicas y sistemas multiagentes: los agentes nacen y mueren

In this paper we study the propositional epistemic logics with operators to analize the knowledge of a group, and its applications to the multi-agent systems when the number of agents can vary between different worlds or states.

Las reglas de inferencia en La Conceptografía