@article{DBLP:journals/ijis/BroersenDT05,
  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. },
  author = {Jan Broersen and Mehdi Dastani and Leendert W. N. van der Torre},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1002/int.20098},
  journal = {Int. J. Intell. Syst.},
  number = {9},
  pages = {893-919},
  title = {Beliefs, obligations, intentions, and desires as components in an agent architecture},
  url = {http://icr.uni.lu/leonvandertorre/papers/ijis05.pdf},
  volume = {20},
  year = {2005},
  bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/ijis05.pdf}
}