BDIOCTL: Obligations and the Specification of Agent Behavior (bibtex)
by Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre
Abstract:
Recently several agent architectures have been proposed that incorporate obligations. However, agent specification or verification languages that take obligations into account have received less attention. Our research question is how properties involving obligations can be specified or verified in an extension of Rao and Georgeff’s BDICTL. In Section 2 we extend BDICTL with so-called Standard Deontic Logic, and in Section 3 and 4 we introduce various single agent and multiagent properties.
Reference:
BDIOCTL: Obligations and the Specification of Agent Behavior (Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre), In IJCAI, 2003.
Bibtex Entry:
@InProceedings{Broersen2003b,
  Title                    = {BDIOCTL: Obligations and the Specification of Agent Behavior},
  Author                   = {Jan Broersen and Mehdi Dastani and Leendert W. N. van der Torre},
  Booktitle                = {IJCAI},
  Year                     = {2003},
  Pages                    = {1389-1390},

  Abstract                 = {Recently several agent architectures have been proposed that incorporate obligations. However, agent specification or verification languages that take obligations into account have received less attention. Our research question is how properties involving obligations can be specified or verified in an extension of Rao and Georgeff’s BDICTL. In Section 2 we extend BDICTL with so-called Standard Deontic Logic, and in Section 3 and 4 we introduce various single agent and multiagent properties.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/ijcai03b.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/ijcai/2003},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ijcai03b.pdf}
}
Powered by bibtexbrowser