“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Intention is choice with commitment
Artificial Intelligence
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
Modal logic
Trust and Commitment in Dynamic Logic
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Beyond trust: a belief-desire-intention model of confidence in an agent's intentions
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Component-based security policy design with colored Petri nets
Semantics and algebraic specification
Incorporating trust into the BDI architecture
International Journal of Artificial Intelligence and Soft Computing
Intelligent agents and their applications
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Hi-index | 0.00 |
Trust plays a fundamental role in multi-agent systems in which tasks are delegated or agents must rely on others to perform actions that they themselves cannot do. Dating from the mid-1980s, the Belief-Desire-Intention architecture (BDI) is the longest-standing model of intelligent agency used in multi-agent systems. Part of the attraction of BDI is that it is amenable to logical formalisms such as Wooldridge’s Logic Of Rational Agents (LORA). In a previous paper the present authors introduced a model of trust, here named the Ability-Belief-Commitment-Desire (ABCD) model, that could be implemented within the BDI framework. This paper explores the definition of the ABCD model within the LORA formalism.