Combinations of normal and non-normal modal logics for modeling collective trust in normative MAS

Título:

Combinations of normal and non-normal modal logics for modeling collective trust in normative MAS

Autor:

Smith, Clara Patricia

Colaboradores:

; Ambrossio, Agustín; Mendoza, Leandro; Rotolo, Antonino

Temas:

MODELOS

En:

International Workshop AICOL-III, Held as Part of the 25th IVR Congress. (25ª:2011, Ago. 15-16:Frankfurt, Alemania), Berlin:Springer; 2012 (Lecture Notes in Computer Science; 7639), pp. 189-203.

Resumen:

We provide technical details for combining normal and a non-normal logics for the notion of collective trust. Such combinations lead to different levels of expressiveness of the system. We give a possible structure for a combined model checker for one of the logic resulting from such combinations.

URL/DOI:

http://dx.doi.org/10.1007/978-3-642-35731-2_13

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (269,3 kB)

Idioma:

Inglés

Publicación:

Springer, 2012

Puede solicitar más fácilmente el ejemplar con: A0405

Ver estantes