Completitud e implementación de modalidades en MAS
Ambrossio, Agustín
Completitud e implementación de modalidades en MAS - 2011 - 108 p. : il. + 1 CD-ROM
Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
1. introducción -- 2. Sistemas multi-agentes y lógica modal -- 3. Completitud de una lógica de confianza colectiva -- 4. Combinación de lógicas -- 5. Lógicas unidas -- 6. Implementación -- 7. Implementación en SPINdle -- 8. Conclusiones -- A. Código PROLOG -- B. Código SPINdle
DIF-M6147
LÓGICA MODAL
SISTEMAS MULTIAGENTES
combinación de lógicas decidibilidad completitud chequeador de modelos
Completitud e implementación de modalidades en MAS - 2011 - 108 p. : il. + 1 CD-ROM
Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
1. introducción -- 2. Sistemas multi-agentes y lógica modal -- 3. Completitud de una lógica de confianza colectiva -- 4. Combinación de lógicas -- 5. Lógicas unidas -- 6. Implementación -- 7. Implementación en SPINdle -- 8. Conclusiones -- A. Código PROLOG -- B. Código SPINdle
DIF-M6147
LÓGICA MODAL
SISTEMAS MULTIAGENTES
combinación de lógicas decidibilidad completitud chequeador de modelos