Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic
نویسنده
چکیده
The paper is about trust in information sources in the context of Multi Agents Systems and it is focused on information and trust propagation. Trust definition is inspired from Cognitive Science and it is seen as a truster’s belief in some trustee’s properties which are called: sincerity, competence, vigilance, cooperativity, validity and completeness. These definitions are formalized in Modal Logic and it is shown that even if trust, in that sense, is not transitive, we can find interesting sufficient conditions based on trust that guarantee that the truth of an information is propagated along a chain of information sources.
منابع مشابه
From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic
We present a logical analysis of trust that integrates in the definition of trust: the truster’s goal and the truster’s belief that the trustee has the right properties (powers, abilities, dispositions) to ensure that the goal will be achieved. The second part of the paper is focused on the specific domain of trust in information sources and communication systems. We provide an analysis of the ...
متن کاملTrust: Formal Semantics and Transitivity
Social networks based trust is a promising approach to supporting people and software agents to interact with “strangers” on the Web. A necessary condition for trust propagation in social networks is that trust is transitive. However, is trust transitive? What types of trust are transitive and why? There are few theories and models found to answer these fundamental questions in a formal manner....
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملFrom Binary Trust to Graded Trust in Information Sources: A Logical Perspective
We present a concept of trust that integrates the truster’s goal, the trustee’s action that ensures the achievement of the truster’s goal, and the trustee’s ability and intention to do this action. This concept of trust is formalized in modal logic and is applied to the particular domain of trust in information sources. In this context trust may be derived, in particular, from the truster’s bel...
متن کاملTrust Classification in Social Networks Using Combined Machine Learning Algorithms and Fuzzy Logic
Social networks have become the main infrastructure of today’s daily activities of people during the last decade. In these networks, users interact with each other, share their interests on resources and present their opinions about these resources or spread their information. Since each user has a limited knowledge of other users and most of them are anonymous, the trust factor plays an import...
متن کامل