Intention is choice with commitment
Artificial Intelligence
A logical approach to the dynamics of commitments
Artificial Intelligence
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
Dynamic Logic
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
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
An integrated trust and reputation model for open multi-agent systems
Autonomous Agents and Multi-Agent Systems
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
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective
Trust in Agent Societies
Trust within the Context of Organizations: A Formal Approach
Formal Aspects in Security and Trust
Trust Based Evaluation of Wikipedia's Contributors
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Transitivity and propagation of trust in information sources: an analysis in modal logic
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Towards the orchestration of secured services under non-disclosure policies
MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security
| Hi-index | 0.00 |
In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of trust is presented. We distinguish trust in the trustee's action from trust in the trustee's disposition (motivational or normative disposition); positive trust from negative trust. A part of the paper is devoted to the formalization of security properties and to the analysis of their relationships with trust.