A Subjective Metric of Authentication
ESORICS '98 Proceedings of the 5th European Symposium on Research in Computer Security
Principles of Trust for MAS: Cognitive Anatomy, Social Importance, and Quantification
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Artificial Intelligence
High variability design for software agents: Extending Tropos
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Enacting protocols by commitment concession
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Dynamically learning sources of trust information: experience vs. reputation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Formal trust model for multiagent systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Programming multiagent systems without programming agents
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Contract nets for evaluating agent trustworthiness
Trusting Agents for Trusting Electronic Societies
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Trust-based specification of sociotechnical systems
Data & Knowledge Engineering
| Hi-index | 0.00 |
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expressing a relationship between a truster and a trustee. Specifically, trust here is definitionally independent of, albeit constrained by, other relevant modalities such as commitments and beliefs. Trust applies to a variety of attributes of the relationship between truster and trustee. For example, an agent may trust someone to possess an important capability, exercise good judgment, or to intend to help it. Although such varieties of trust are hugely different, they respect common logical patterns. We present a logic of trust that expresses such patterns as reasoning postulates concerning the static representation of trust, its dynamics, and its relationships with teamwork and other agent interactions. In this manner, the proposed logic illustrates the general properties of trust that reflect natural intuitions, and can facilitate the engineering of multiagent systems.