Trust in complex actions (ESSLLI 2010)

Julien Bourdon (1) , Guillaume Feuillade (2) , Andreas Herzig (2, 3) , Emiliano Lorini (2, 3)

1 SMA-ENSMSE - Département Systèmes Multi-Agents
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique

Current formal models of trust are limited since they only consider an agent’s trust in the atomic action of another agent and therefore do not apply to trust in complex actions where the elements in the complex action are atomic actions of dierent agents. Our aim is to present a logical formalization of trust in complex actions, and to show that this formalization can be useful for the formal characterization of trust in composite services, where trust in a composed service is defined in a compositional way from trust in the components of that service.

Mots clés: trust; belief; goal; BDI logic

Domaines: Intelligence artificielle [cs.AI]

Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini. Trust in complex actions (ESSLLI 2010). Workshop Logics in Security @ 22rd European Summer School in Logic, Language and Information (ESSLLI 2010), Aug 2010, Copenhagen, Denmark. ⟨hal-03470307⟩