Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires (bibtex)
by Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre
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.
Reference:
Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires (Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre), In ECSQARU, 2001.
Bibtex Entry:
@InProceedings{Broersen2001c,
  Title                    = {Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires},
  Author                   = {Jan Broersen and Mehdi Dastani and Leendert W. N. van der Torre},
  Booktitle                = {ECSQARU},
  Year                     = {2001},
  Pages                    = {568-579},

  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. },
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/ecsqaru01.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/ecsqaru/2001},
  Ee                       = {http://dx.doi.org/10.1007/3-540-44652-4_50},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ecsqaru01.pdf}
}
Powered by bibtexbrowser