ACM Transactions on Computer Systems (TOCS)
Intention is choice with commitment
Artificial Intelligence
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Reasoning about knowledge
REGRET: reputation in gregarious societies
Proceedings of the fifth international conference on Autonomous agents
Social trust: a cognitive approach
Trust and deception in virtual societies
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
Modal logic
Dynamic Logic
A logic for uncertain probabilities
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Experiments in Building Experiential Trust in a Society of Objective-Trust Based Agents
Proceedings of the workshop on Deception, Fraud, and Trust in Agent Societies held during the Autonomous Agents Conference: Trust in Cyber-societies, Integrating the Human and Artificial Perspectives
Formal Analysis of Models for the Dynamics of Trust Based on Experiences
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Knowledge, action, and the frame problem
Artificial Intelligence
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
Reasoning about Uncertainty
An integrated trust and reputation model for open multi-agent systems
Autonomous Agents and Multi-Agent Systems
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 knowledge-based programs to graded belief-based programs, part II: off-line reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Introducing attempt in a modal logic of intentional action
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Agents that speak: modelling communicative plans and information sources in a logic of announcements
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
A modal framework for relating belief and signed information
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Reputation-based decisions for logic-based cognitive agents
Autonomous Agents and Multi-Agent Systems
Stereotypical trust and bias in dynamic multiagent systems
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
A socio-cognitive model of trust using argumentation theory
International Journal of Approximate Reasoning
Hi-index | 0.00 |
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 beliefs about some properties of the information source: validity, completeness, sincerity, competence, vigilance and cooperativity. In the last part of the paper we move beyond binary trust (i.e. either i trusts j or i does not trust j ) in order to capture a concept of graded trust.