Wishful thinking (bibtex)
by J. Broersen, M. Dastani, L. van der Torre
Abstract:
In this paper Reiter's default logic is used to study con icts between conditional beliefs and desires in Thomason's BDP and Broersen et.al's BOID architecture. In these architectures resolving a con ict is formalized through selection of a subset of the conditionals that does not derive an inconsistency, which is analogous to selecting a subset of rules in input-output logic and selecting an extension in Reiter's default logic. We introduce and discuss several desiderata for this selection process, and we study whether they are satised by two specic denitions for belief-desire extensions. 1.
Reference:
Wishful thinking (J. Broersen, M. Dastani, L. van der Torre), In Proceedings of DGNMR01, 2001.
Bibtex Entry:
@InProceedings{Broersen2001,
  Title                    = {Wishful thinking},
  Author                   = {Broersen, J. and Dastani, M. and van der Torre, L.},
  Booktitle                = {Proceedings of DGNMR01},
  Year                     = {2001},

  Abstract                 = {In this paper Reiter's default logic is used to study con icts between conditional beliefs and desires in Thomason's BDP and Broersen et.al's BOID architecture. In these architectures resolving a con ict is formalized through selection of a subset of the conditionals that does not derive an inconsistency, which is analogous to selecting a subset of rules in input-output logic and selecting an extension in Reiter's default logic. We introduce and discuss several desiderata for this selection process, and we study whether they are satised by two specic denitions for belief-desire extensions. 1.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/dgnmr01.ps},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/dgnmr01.ps}
}
Powered by bibtexbrowser