Completitud e implementación de modalidades en MAS

Título:

Completitud e implementación de modalidades en MAS

Autor:

Ambrossio, Agustín

Otros autores / Colaboradores:

 Mendoza, Leandro;  Fernández, Alejandro;  Smith, Clara Patricia; [ Codirector/a] 

Temas:

LÓGICA MODAL; SISTEMAS MULTIAGENTES; 

Palabras clave:

combinación de lógicas, decidibilidad, completitud, chequeador de modelos, 

Nota de tesis:

Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.

Extensión:

108 p. : il. + 1 CD-ROM

Resumen:

En este trabajo de grado realizamos un estudio sobre lógicas modales y combinaciones de ellas, haciendo énfasis en operadores modales aplicables al desarrollo de sistemas multi-agentes. Algunos de estos operadores son normales y otros no-normales, como es habitual en esta clase de sistemas. Nos concentramos en la combinación de estos dos tipos de operadores, poniendo particular atención a la teoría de modelos y en su utilidad para demostrar completitud y/o decidibilidad de lógicas. Utilizamos dos tipos diferentes de técnicas de combinación: fibrado y unión. Para la técnica de fibrado probamos las propiedades de completitud y modelo finito para dar sustento a implementaciones computacionales para la lógica resultante y habilitar el diseño de algoritmos que computen satisfactibilidad de una fórmula dentro de un modelo; esto es: teniendo un modelo y una fórmula, podemos averiguar si la fórmula es verdadera en tal modelo. Sobre la base de estas propiedades definimos diferentes chequeadores de modelos. Logramos una implementación computacional en los lenguajes PROLOG y SPINdle partiendo de la definición de los chequeadores para el fibrado e investigamos la complejidad computacional de los algoritmos resultantes. Para la técnica de unión construimos un chequeador de modelos.

Puede solicitar más fácilmente el ejemplar con: TES 11/38

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