Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires

Authors:
Jan Broersen;Mehdi Dastani;Leendert W. N. van der Torre
Affiliations:
-;-;-
Venue:
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2001

Citing 9
Cited 2

A theory of diagnosis from first principles

Artificial Intelligence
Intention is choice with commitment

Artificial Intelligence
Heterogeneous active agents, I: semantics

Artificial Intelligence
Preferred answer sets for extended logic programs

Artificial Intelligence
The BOID architecture: conflicts between beliefs, obligations, intentions and desires

Proceedings of the fifth international conference on Autonomous agents
Nonmonotonic Logic: Context-Dependent Reasoning

Nonmonotonic Logic: Context-Dependent Reasoning
Contrary-to-duty reasoning with preference-based dyadic obligations

Annals of Mathematics and Artificial Intelligence
On the Relationship Between BDI Logics and Standard Logics of Concurrency

Autonomous Agents and Multi-Agent Systems
Towards Socially Sophisticated BDI Agents

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)

Introducing Grades in Deontic Logics

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Building Norms-Adaptable Agents from Potential Norms Detection Technique PNDT

International Journal of Intelligent Information Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper provides a logical analysis of conflicts between informational, motivational and deliberative attitudes such as beliefs, obligations, intentions, and desires. The contributions are twofold. First, conflict resolutions are classified based on agent types, and formalized in an extension of Reiter's normal default logic. Second, several desiderata for conflict resolutions are introduced, discussed and tested on the logic. The results suggest that Reiter's default logic is too strong, in the sense that a weaker notion of extension is needed to satisfy the desiderata.