Completitud e implementación de modalidades en MAS
Material type:
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
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