0000000000470066

AUTHOR

José Pedro Ubeda Rives

showing 4 related works from this author

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

1998

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.

UNESCO::LÓGICA::Aplicaciones de la lógica:LÓGICA::Aplicaciones de la lógica [UNESCO]
researchProduct

La lógica formal frente al derecho

2006

UNESCO::FILOSOFÍA:FILOSOFÍA [UNESCO]
researchProduct

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

2008

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.

TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESCiencias básicas y experimentalesUNESCO::FILOSOFÍA:FILOSOFÍA [UNESCO]HumanidadesHª y Fª de la CienciaFilosofía. EticaComputingMethodologies_ARTIFICIALINTELLIGENCE
researchProduct

Las reglas de inferencia en La Conceptografía

2010

Ciencias básicas y experimentalesUNESCO::FILOSOFÍA:FILOSOFÍA [UNESCO]HumanidadesHª y Fª de la CienciaFilosofía. Etica
researchProduct