Quand un agent reçoit une information d’un autre agent, qui lui-même l’a reçue d’une séquence d’agents, la question que se pose le récepteur est : « est-ce que je peux avoir confiance dans la validité de cette information ? ». La réponse à cette question dépend de la confiance qu’il a dans ces agents. Plus précisément nous considérons ici le cas où il ne connaît que l’agent qui lui a transmis directement l’information, le cas où il connaît tous les agents de la séquence, et finalement le cas où il ne connaît qu’un agent qui lui sert de référent pour l’informer sur les autres agents.
Pour modéliser les raisonnements que peut faire le récepteur nous présentons tout d’abord des définitions des différents types de propriétés des agents sur lesquelles porte la confiance : validité, sincérité, compétence, complétude, coopérativité et vigilance. Ces notions sont formalisées en logique modale (logique doxastique et logique de l’action) et on montre, d’abord sur des exemples, puis dans le cas général, les raisonnements que peut faire l’agent récepteur, sous certaines hypothèses, pour conclure sur l’information qu’il a reçue.
When an agent receives information from another agent, who in turn has received it from a sequence of agents, the question the receiver asks himself is: “Can I trust the validity of this information?”. The answer to this question depends on the trust he has in these agents. More precisely, we consider here the case where he knows only the agent who directly transmitted the information to him, the case where he knows all the agents in the sequence, and finally the case where he knows only one agent who serves as a referent to inform him about the other agents.
To model the reasoning that the receiver can make, we first present definitions of the different types of agent properties on which trust is based: validity, sincerity, competence, completeness, cooperativeness and vigilance. These notions are formalized in modal logic (doxastic logic and action logic) and we show, first on examples, then in the general case, the reasoning that the receiving agent can make, under certain hypotheses, to conclude on the information he has received.
Accepté le :
Publié le :
Keywords: Agent communication, Trust, Modal logics
Robert Demolombe 1
CC-BY 4.0
@article{ROIA_2024__5_1_131_0,
author = {Robert Demolombe},
title = {Confiance dans l{\textquoteright}information transmise par une s\'equence d{\textquoteright}agents},
journal = {Revue Ouverte d'Intelligence Artificielle},
pages = {131--151},
publisher = {Association pour la diffusion de la recherche francophone en intelligence artificielle},
volume = {5},
number = {1},
year = {2024},
doi = {10.5802/roia.67},
language = {fr},
url = {https://roia.centre-mersenne.org/articles/10.5802/roia.67/}
}
TY - JOUR AU - Robert Demolombe TI - Confiance dans l’information transmise par une séquence d’agents JO - Revue Ouverte d'Intelligence Artificielle PY - 2024 SP - 131 EP - 151 VL - 5 IS - 1 PB - Association pour la diffusion de la recherche francophone en intelligence artificielle UR - https://roia.centre-mersenne.org/articles/10.5802/roia.67/ DO - 10.5802/roia.67 LA - fr ID - ROIA_2024__5_1_131_0 ER -
%0 Journal Article %A Robert Demolombe %T Confiance dans l’information transmise par une séquence d’agents %J Revue Ouverte d'Intelligence Artificielle %D 2024 %P 131-151 %V 5 %N 1 %I Association pour la diffusion de la recherche francophone en intelligence artificielle %U https://roia.centre-mersenne.org/articles/10.5802/roia.67/ %R 10.5802/roia.67 %G fr %F ROIA_2024__5_1_131_0
Robert Demolombe. Confiance dans l’information transmise par une séquence d’agents. Revue Ouverte d'Intelligence Artificielle, Volume 5 (2024) no. 1, pp. 131-151. doi : 10.5802/roia.67. https://roia.centre-mersenne.org/articles/10.5802/roia.67/
[1] An argumentation-based approach for reasoning about trust in information sources, Argument & Computation, Volume 5 (2014) no. 2-3, pp. 191-215 | DOI
[2] Trust as Type Detection, Trust and Deception in Virtual Societies (Cristiano Castelfranchi; Yao-Hua Tan, eds.), Springer Netherlands, 2001, pp. 1-26 | DOI
[3] An Analysis of Trust Transitivity Taking Base Rate into Account, 2009 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing (2009), pp. 34-39 | DOI
[4] Trust Theory : A Socio-Cognitive and Computational Model, Wiley, 2010 | DOI
[5] Modal Logic : An introduction, Cambridge University Press, 1988 | DOI
[6] To Trust Information Sources : A Proposal for a Modal Logical Framework, Trust and Deception in Virtual Societies (Cristiano Castelfranchi; Yao-Hua Tan, eds.), Springer Netherlands, 2001, pp. 111-124 | DOI
[7] Reasoning About Trust : A Formal Logical Framework, Trust Management (Christian Jensen; Stefan Poslad; Theo Dimitrakos, eds.), Springer (2004), pp. 291-303 | DOI | Zbl
[8] Graded Trust, Proceedings of the Trust in Agent Societies Workshop at AAMAS 2009 (R. Falcone; S. Barber; J. Sabater-Mir; M. Singh, eds.) (2009)
[9] Transitivity and Propagation of Trust in Information Sources : An Analysis in Modal Logic, Computational Logic in Multi-Agent Systems, LNAI 6814 (João Leite; Paolo Torroni; Thomas Ågotnes; Guido Boella; Leon van der Torre, eds.), Springer (2011), pp. 13-28 | DOI | Zbl
[10] A Logic of Graded Trust and Belief Fusion, Proc. of the 4th Workshop on Deception, Fraud and Trust in Agent Societies (C. Castelfranci; R. Falcone, eds.) (2001)
[11] newblock Formal verification of group and propagated trust in multi-agent systems, em Auton. Agents Multi Agent Syst., Volume 36 (2022) no. 1, 19 | DOI
[12] Social Trust : A Cognitive Approach, Trust and Deception in Virtual Societies (Cristiano Castelfranchi; Yao-Hua Tan, eds.), Springer Netherlands, 2001, pp. 55-90 | DOI
[13] Operators for propagating trust and their evaluation in social networks, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS ’09), Volume 2, International Foundation for Autonomous Agents and Multiagent Systems (2009), p. 1025–1032
[14] An ontology of trust : formal semantics and transitivity, International Conference on Evolutionary Computation (2006)
[15] On the concept of trust, Decision Support Systems, Volume 33 (2002) no. 3, pp. 225-232 | DOI
[16] On the Characterisation of a Trusting Agent. Aspects of a Formal Approach, Trust and Deception in Virtual Societies (Cristiano Castelfranchi; Yao-Hua Tan, eds.), Springer Netherlands, 2001, pp. 157-168 | DOI
[17] A Normal Modal Logic for Trust in the Sincerity, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS ’18), International Foundation for Autonomous Agents and Multiagent Systems (2018), pp. 175-183
[18] Trust and Norms in the Context of Computer Security : A Logical Formalization, Deontic Logic in Computer Science (Ron van der Meyden; Leendert van der Torre, eds.), Springer (2008), pp. 50-64 | DOI | Zbl
[19] From Trust in Information Sources to Trust in Communication Systems : An Analysis in Modal Logic, Knowledge Representation for Agents and Multi-Agent Systems KRAMAS 2008 (John-Jules Ch. Meyer; Jan Broersen, eds.) (Lecture Notes in Computer Science), Volume 5605, Springer (2009), pp. 81-98 | DOI | Zbl
[20] Propagation of Opinions in Structural Graphs, Proceedings of the 2010 Conference on ECAI 2010 : 19th European Conference on Artificial Intelligence, IOS Press (2010), p. 595–600
[21] A logic of negative trust, Journal of Applied Non-Classical Logics, Volume 30 (2020) no. 3, pp. 193-222 | DOI
[22] Lightweight Distributed Trust Propagation, 2007 7th IEEE International Conference on Data Mining (ICDM 2007), IEEE Computer Society (2007), pp. 282-291 | DOI
[23] Trust transitivity in social networks (2010) (Technical report)
[24] A formal account of dishonesty, Logic Journal of the IGPL, Volume 23 (2014) no. 2, pp. 259-294 | DOI | Zbl
Cité par Sources :