Inferring trust

Authors:
Mehdi Dastani;Andreas Herzig;Joris Hulstijn;Leendert van der Torre
Affiliations:
Utrecht University, The Netherlands;IRIT, Toulouse, France;Vrije Universiteit, Amsterdam, The Netherlands;CWI, Amsterdam, The Netherlands
Venue:
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Year:
2004

Citing 10
Cited 8

Attention, intentions, and the structure of discourse

Computational Linguistics
A logic of authentication

ACM Transactions on Computer Systems (TOCS)
To trust information sources: a proposal for a modal logical framework

Trust and deception in virtual societies
On the characterisation of a trusting agent - aspects of a formal approach

Trust and deception in virtual societies
Automata for the Modal mu-Calculus and related Results

MFCS '95 Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science
Formal Aspects of a Generic Model of Trust for Electronic Commerce

HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation

Artificial Intelligence
The Digitization of Word of Mouth: Promise and Challenges of Online Feedback Mechanisms

Management Science
The Anatomy of the Grid: Enabling Scalable Virtual Organizations

International Journal of High Performance Computing Applications
Decentralized trust management

SP'96 Proceedings of the 1996 IEEE conference on Security and privacy

A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles

Applied Ontology - Formal Ontologies for Communicating Agents
ACL Semantics Between Social Commitments and Mental Attitudes

Agent Communication II
Trust and Norms in the Context of Computer Security: A Logical Formalization

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective

Trust in Agent Societies
Expressing Belief Flow in Assertion Networks

Logic, Language, and Computation
Trust as dependence: a logical approach

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Goal generation from possibilistic beliefs based on trust and distrust

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles

Applied Ontology - Formal Ontologies for Communicating Agents

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we discuss Liau's logic of Belief, Inform and Trust (BIT), which captures the use of trust to infer beliefs from acquired information. However, the logic does not capture the derivation of trust from other notions. We therefore suggest the following two extensions. First, like Liau we observe that trust in information from an agent depends on the topic of the information. We extend BIT with a formalization of topics which are used to infer trust in a proposition from trust in another proposition, if both propositions have the same topics. Second, for many applications, communication primitives other than inform are required. We extend BIT with questions, and discuss the relationship with belief, inform and trust. An answer to a question can lead to trust, when the answer conforms to the beliefs of the agent.