BDIOCTI obligations and the specification of agent behavior

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 1389-1390

  Broersen, Jan ^a   Dastani, Mehdi ^a   Van Der Torre, Leendert ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT BEHAVIOR; DEONTIC LOGIC; OTHER PROPERTIES; SDL; SPECIFICATION AND VERIFICATION;

ARTIFICIAL INTELLIGENCE;

FORMAL LOGIC;

EID: 84880832842     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (3)

1. A.S. Rao and M.R Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473-484. Morgan Kaufmann Publishers, 1991.
2. K. Schild. On the relationship between BD1-logics and standard logics of concurrency. Autonomous agents and multi-agent systems, 3:259-283, 2000.
3. G.H. von Wright. Deontic logic. Mind, 60:1-15, 1951.