A simple logic of trust based on propositional assignments

Andreas Herzig (1, 2) , Emiliano Lorini (1, 2) , Frédéric Moisan (1)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

Cristiano Castelfranchi and Rino Falcone introduced an influential cognitive theory of social trust that is based on the concepts of belief, goal, ability, willingness and opportunity. In this paper we propose a simple logic of belief and action that allows to express these concepts. While our logic of belief is standard, our logic of action has a very simple kind actions: actions setting the truth value of a propositional variable to either true or false. We call such actions propositional assignments and argue that our logic provides a framework that is simple but expressive enough to account for Castelfranchi and Falcone’s concept. We prove its completeness and give a decision procedure.

Mots clés: trust; modal logic; dynamic logic; doxastic logic

Domaines: Intelligence artificielle [cs.AI]

Andreas Herzig, Emiliano Lorini, Frédéric Moisan. A simple logic of trust based on propositional assignments. Paglieri, Fabio; Tummolini, Luca; Falcone, Rino; Miceli, Maria. The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, Chapter 1, College Publications, pp.407-419, 2012, 978-1848900943. ⟨hal-03464939⟩