BDIO CTL: Properties of obligation in agent specification languages (bibtex)
by J Broersen, M Dastani, L 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 2 and 3 we introduce various single agent and multiagent properties.
Reference:
BDIO CTL: Properties of obligation in agent specification languages (J Broersen, M Dastani, L van der Torre), In Proceedings of IJCAI’03, 2003.
Bibtex Entry:
@InProceedings{Broersen2003a,
  Title                    = {BDIO CTL: Properties of obligation in agent specification languages},
  Author                   = {J Broersen and M Dastani and L van der Torre},
  Booktitle                = {Proceedings of IJCAI’03},
  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 2 and 3 we introduce various single agent and multiagent properties.},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ijcai03b.pdf}
}
Powered by bibtexbrowser