Levels of Modality for BDI Logic

File Size Format
54607_1.pdf 369Kb Adobe PDF View
Title Levels of Modality for BDI Logic
Author Blee, Jeff; Billington, David; Governatori, Guido; Sattar, Abdul
Publication Title IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology WI-IAT 08
Editor Lakhmi Jain, Maria Gini, Boi B. Faltings, Takao Terano, Chengqi Zhang, Nick Cercone, Longbing Cao
Year Published 2008
Place of publication Online
Publisher IEEE
Abstract The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to represent and reason about rational agency. However, in the real world, we often have to deal with different levels of confidence in our beliefs, desires, and intentions. This paper extends our previous framework that integrated qualitative levels into BDI Logic. We describe an expanded set of axioms and properties of the extended logic and also define a detailed non-normal Kripke type semantics.
Peer Reviewed Yes
Published Yes
Publisher URI http://ieeexplore.ieee.org/servlet/opac?punumber=4740404
Alternative URI http://dx.doi.org/10.1109/WIIAT.2008.231
Copyright Statement Copyright 2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Conference name 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology
Location Sydney
Date From 2008-12-09
Date To 2008-12-12
URI http://hdl.handle.net/10072/22893
Date Accessioned 2009-04-02
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Adaptive Agents and Intelligent Robotics
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice