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

Authors:
Clara Smith;Agustín Ambrossio;Leandro Mendoza;Antonino Rotolo
Affiliations:
FACET, UCALP, Argentina, Facultad de Informática, UNLP, Argentina;FACET, UCALP, Argentina;Facultad de Informática, UNLP, Argentina;CIRSFID, University of Bologna, Italy
Venue:
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
Year:
2011

Citing 8
Cited 0

Social trust: a cognitive approach

Trust and deception in virtual societies
Modal logic

Modal logic
Collective intentions

Fundamenta Informaticae
Model Checking for Combined Logics with an Application to Mobile Systems

Automated Software Engineering
Trust, reliance, good faith, and the law

iTrust'03 Proceedings of the 1st international conference on Trust management
Representations of Time within Normative MAS

Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Importing Logics

Studia Logica
Complexity Issues in Multiagent Logics

Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak

Quantified Score

Hi-index	0.00

Visualization

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.