Buscar
Mostrando ítems 1-2 de 2
Dinámica de conocimiento en sistemas multi-agentes : plausibilidad, revisión de creencias y retransmisión de información
(2010)
Esta tesis propone formalismos para modelar la dinámica de conocimiento en bases de creencias de agentes en un sistema multi-agente, los cuales adquieren información de
sus pares. Dicha dinámica es modelada por la teoría ...
Una semántica basada en juegos para la programación lógica rebatible
(2010)
El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la ...