Realistic desires (bibtex)
by Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre
Abstract:
Realism for agents with unconditional beliefs, desires and intentions (BDI agents) has been analyzed in modal logic. This paper provides a logical analysis of realism for agents with conditional beliefs and desires in a rule based approach analogous to Reiter's default logic. We distinguish two types of realism, which we call `a priori' and `a posteriori' realism. We analyze whether these two new properties are compatible with other properties discussed in the literature, such as existence of extensions. We show that Reiter's default logic is too strong, in the sense that a weaker notion of maximality of extensions is needed to satisfy realism. Finally we show that several existing approaches do not satisfy the new realism properties, and we introduce a new construction that does satisfy them.
Reference:
Realistic desires (Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre), In Journal of Applied Non-Classical Logics, volume 12, 2002.
Bibtex Entry:
@Article{Broersen2002,
  Title                    = {Realistic desires},
  Author                   = {Jan Broersen and Mehdi Dastani and Leendert W. N. van der Torre},
  Journal                  = {Journal of Applied Non-Classical Logics},
  Year                     = {2002},
  Number                   = {2},
  Pages                    = {287-308},
  Volume                   = {12},

  Abstract                 = {Realism for agents with unconditional beliefs, desires and intentions (BDI agents) has been analyzed in modal logic. This paper provides a logical analysis of realism for agents with conditional beliefs and desires in a rule based approach analogous to Reiter's default logic. We distinguish two types of realism, which we call `a priori' and `a posteriori' realism. We analyze whether these two new properties are compatible with other properties discussed in the literature, such as existence of extensions. We show that Reiter's default logic is too strong, in the sense that a weaker notion of maximality of extensions is needed to satisfy realism. Finally we show that several existing approaches do not satisfy the new realism properties, and we introduce a new construction that does satisfy them. },
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/jancl02.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/jancl02.pdf}
}
Powered by bibtexbrowser