Une logique modale normale de la confiance - 11e Journées d'Intelligence Artificielle Fondamentale Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Une logique modale normale de la confiance

Résumé

We propose in this paper a modal logic to reason on the trust of an agent towards a statement formulated by another agent. Our model considers a doxastic trust modality inspired from the work of Dundua and Uridia. We combine this modality with a STIT formalism that allows us to express that an agent trust another one when this latter states it will sees to it that a statement is true. Furthermore we can express a dispositional trust like Herzig et al. and we show that our formalism allows to deduce some axioms given by Singh. Finally, we propose some ways to express collective trust.
Nous proposons dans cet article une logique modale permettant de raisonner sur la confiance d'un agent en-vers le discours d'un autre agent. Notre modèle considère une modalité de confiance doxastique similaire à celle initialement introduite par Dundua et Uridia. En combinant cette formulation générale avec un formalisme STIT, nous exprimons aussi la confiance qu'un agent accorde a un autre lorsque ce dernier annonce qu'il veille à réaliser un énoncé. Nous retrouvons alors la notion de confiance dispositionnelle formalisée par Herzig et al. et caractérisons certaines propriétés qui avaient été axiomatisées par Singh. Enfin, nous montrons que notre modèle permet d'exprimer des notions de confiance collective.
Fichier principal
Vignette du fichier
BONNET_JIAF17.pdf (329.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01577771 , version 1 (10-02-2018)

Identifiants

  • HAL Id : hal-01577771 , version 1

Citer

Christopher Leturc, Grégory Bonnet. Une logique modale normale de la confiance. 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. ⟨hal-01577771⟩
179 Consultations
75 Téléchargements

Partager

Gmail Facebook X LinkedIn More