Jan Broersen, Mehdi Dastani, Leendert van der Torre  Home/Search
Context
Related
Links: ACM DBLP | few.vu.nl/~mehdi/publica...boidlogic.ps cs.uu.nl/~mehdi/publicat...boidlogic.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: few.vu.nl/~mehd...blications_page (more) Homepages: M.Dastani |
Rate this article:      (best)Comment on this article |
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 ... (Update)
Similar documents (at the sentence level):
10.3%: The BOID Architecture - Conflicts Between Beliefs, .. - Broersen.. (2001) (Correct)
9.2%: Wishful Thinking: an analysis of conflicts between beliefs and .. - Broersen, al (Correct)
Active bibliography (related documents): More All
1.0: Contextual Deontic Logic: Normative Agents, Violations and.. - van der Torre (2001) (Correct)
0.4: An Extension of BDI CTL with Functional Dependencies and.. - Dastani, van der Torre (2002) (Correct)
0.3: What is a Normative Goal? Towards Goal-based Normative.. - Dastani, van der Torre (Correct)
Similar documents based on text: More All
2.0: Formalizing No Wishful Thinking - Broersen, Dastani, van der Torre (Correct)
1.0: Realistic Desires - Broersen, Dastani, van der Torre (Correct)
0.8: Specifying the Merging of Desires into Goals - Dastani, van der Torre (2002) (Correct)
BibTeX entry: (Update)
@inproceedings{ broersen01resolving,
author = "J. Broersen and M. Dastani and L. van der Torre",
title = "{Resolving Conficts between Beliefs, Obligations, Intentions, and Desires}",
booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, {ECSQARU} 2001, Toulouse, France, September 19-21, 2001, Proceedings",
publisher = "Springer Verlag",
editor = "S. Benferhat and P. Besnard",
pages = "568--579",
year = "2001",
url = "citeseer.ist.psu.edu/broersen01resolving.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter - 1980 ACM DBLP
399 Intention is choice with commitment (context) - Cohen, Levesque - 1990 ACM DBLP
260 BDI agents: From theory to practice - Rao, George - 1995
200 and practical reason (context) - Bratman, plans - 1987
110 Toward a logic for qualitative decision theory - Boutilier - 1994 DBLP
89 Nonmonotonic logic: Context-dependent reasoning (context) - Marek, Truszczynski - 1993
78 Preferred answer sets for extended logic programs - Brewka, Eiter - 1999 ACM DBLP
58 From conditional oughts to qualitative decision theory (context) - Pearl - 1993 DBLP
22 Input-output logics (context) - Makinson, van der Torre - 2000
21 a fundamental problem of deontic logic (context) - Makinson - 1999
19 A theory of diagnosis from rst principles (context) - Reiter - 1987
17 Towards socially sophisticated BDI agents - Dignum, Morley et al. - 2000 ACM
14 Desires and defaults: a framework for planning with inferred.. - Thomason - 2000 DBLP
14 Constraints for input-output logics (context) - Makinson, van der Torre - 2001
13 Contrary-to-duty reasoning with preference-based dyadic obli.. - van der Torre, Tan - 1999 ACM DBLP
12 the relationship between BDI logics and standard logics of c.. (context) - Schild - 2000
9 Diagnosis and decision making in normative reasoning - van der Torre, Tan - 1999 DBLP
5 The BOID architecture: Con icts between beliefs (context) - Broersen, Dastani et al. - 2001
4 Heterogeneous active agents I: Semantics - Eiter, Subrahmanian et al. - 1999
3 Articial Intelligence and Law (context) - Dignum, norms - 1999
1 truth and logic (context) - von Wright - 1983
Documents on the same site (http://www.few.vu.nl/~mehdi/publications_page.html): More
An Algebraic Approach to Modeling Analogical Projection.. - Dastani, Indurkhya, Scha (Correct)
Modeling Analogical Projection based on Pattern Perception - Dastani, Indurkhya, Scha (Correct)
An Algebraic Approach to Similarity and Categorization - Dastani, Indurkhya (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC