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.
Combinations of Normal and Non-normal Modal Logics for Modeling Collective Trust in Normative MAS / C. Smith; A. Ambrossio; L. Mendoza; A. Rotolo. - STAMPA. - (2012), pp. 189-203. (Intervento presentato al convegno International Workshop AICOL-III, Held as Part of the 25th IVR Congress tenutosi a Frankfurt am Main, Germany nel August 15-16, 2011) [10.1007/978-3-642-35731-2_13].
Combinations of Normal and Non-normal Modal Logics for Modeling Collective Trust in Normative MAS
ROTOLO, ANTONINO
2012
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.