Beliefs, obligations, intentions, and desires as components in an agent architecture (bibtex)
by Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre
Abstract:
In this paper we discuss how cognitive attitudes like beliefs, obligations, intentions and desires can be represented as components with input/output functionality. We study how to break down an agent specification into a specification of individual components and a specification of their coordination. A typical property discussed at the individual component specification level is whether the input is included in the output, and a typical property discussed at the coordination level is whether beliefs override desires to ensure realism. At the individual level we show how proof rules of so-called input/output logics correspond to properties of functionality descriptions, and at the coordination level we show how global constraints coordinating the components formalize coherence properties.
Reference:
Beliefs, obligations, intentions, and desires as components in an agent architecture (Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre), In Int. J. Intell. Syst., volume 20, 2005.
Bibtex Entry:
@Article{Broersen2005,
  Title                    = {Beliefs, obligations, intentions, and desires as components in an agent architecture},
  Author                   = {Jan Broersen and Mehdi Dastani and Leendert W. N. van der Torre},
  Journal                  = {Int. J. Intell. Syst.},
  Year                     = {2005},
  Number                   = {9},
  Pages                    = {893-919},
  Volume                   = {20},

  Abstract                 = {In this paper we discuss how cognitive attitudes like beliefs, obligations, intentions and desires can be represented as components with input/output functionality. We study how to break down an agent specification into a specification of individual components and a specification of their coordination. A typical property discussed at the individual component specification level is whether the input is included in the output, and a typical property discussed at the coordination level is whether beliefs override desires to ensure realism. At the individual level we show how proof rules of so-called input/output logics correspond to properties of functionality descriptions, and at the coordination level we show how global constraints coordinating the components formalize coherence properties. },
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/ijis05.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1002/int.20098},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ijis05.pdf}
}
Powered by bibtexbrowser