Completitud e implementación de modalidades en MAS
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 conc...
Guardado en:
| Autores principales: | Ambrossio, Agustín, Mendoza, Leandro |
|---|---|
| Otros Autores: | Fernández, Alejandro |
| Formato: | Tesis Tesis de grado |
| Lenguaje: | Español |
| Publicado: |
2011
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/65533 |
| Aporte de: |
Ejemplares similares
-
Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
por: Carbonari, Francisco Eduardo Daniel
Publicado: (2015) -
Implementación de chequeadores de modelos para MAS
por: Fournier, Gastón, et al.
Publicado: (2014) -
Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
por: Smith, Clara Patricia, et al.
Publicado: (2015) -
Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems
por: Ambrossio, Agustín, et al.
Publicado: (2011) -
A finer grained modeling of rational coalitions using goals
por: Bulling, Nils, et al.
Publicado: (2008)