Affiliation:
1. Department of Pure and Applied Science , University of Urbino Carlo Bo, 61029 Urbino, Italy
Abstract
Abstract
In this work, we provide a logical characterization of trust, which is based on a modal logic expressing a computational notion of trust quantitatively dependent on the beliefs possessed by the agent. The proposed framework encompasses decidability results and equivalence laws emphasizing the properties of trust. The overall aim is to obtain a formal notion of trust that could be employed for further developments of formal languages related to decision-making procedures and soft-security mechanisms in online, digital environments. Such formal counterpart of trust should support agents, either human or artificial, in devising secure decision strategies based on partial and/or indirect information.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference54 articles.
1. BDI agents in social simulations: A survey;Adam;The Knowledge Engineering Review,2016
2. Design and verification of trusted collective adaptive systems;Aldini;ACM Transactions on Modeling and Computer Simulation (TOMACS),2018
3. Trust evidence logic;Aldini,2021
4. Logics to reason formally about trust computation and manipulation;Aldini,2020
5. Gifts and exchanges;Arrow;Philosophy and Public Affairs,1972
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A probabilistic modal logic for context-aware trust based on evidence;International Journal of Approximate Reasoning;2024-06
2. Frequentist Probability Logic;Lecture Notes in Computer Science;2024