Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
En este trabajo acercamos conceptos de la lógica modal -cuando es usada como herramienta para la modelización de sistemas multiagentes- al lenguaje de programación Java. Construimos un framework para definir estructuras de frames modales y de modelos modales, y chequear en ellos la validez de fórmul...
Guardado en:
| Autores principales: | Smith, Clara Patricia, Fournier, Gastón, Otonelo, Leonardo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/52017 http://44jaiio.sadio.org.ar/sites/default/files/asai17-24.pdf |
| Aporte de: |
Ejemplares similares
-
Implementación de chequeadores de modelos para MAS
por: Fournier, Gastón, et al.
Publicado: (2014) -
Completitud e implementación de modalidades en MAS
por: Ambrossio, Agustín, et al.
Publicado: (2011) -
A finer grained modeling of rational coalitions using goals
por: Bulling, Nils, et al.
Publicado: (2008) -
Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations
por: Bou, F., et al. -
Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations
Publicado: (2009)