Special issue on logics for intelligent agents and multi-agent systems

File Size Format
77102_1.pdf 44Kb Adobe PDF View
Title Special issue on logics for intelligent agents and multi-agent systems
Author Orgun, Mehmet A.; Governatori, Guido; Liu, Chuchang; Reynolds, Mark; Sattar, Abdul
Journal Name Journal of Applied Logic
Editor Dov M. Gabbay, Sarit Kraus, Jörg Siekmann
Year Published 2011
Place of publication Netherlands
Publisher Elsevier BV
Abstract The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI (Beliefs, Desires, and Intentions) 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 the beliefs we hold, desires we have, and intentions that we commit to. This paper extends our previous framework that integrated qualitative levels of beliefs, desires, and intentions into BDI Logic. We describe an expanded set of axioms and properties of the extended logic. We present a modular structure for the semantics which involves a non-normal Kripke type semantics that may be used for other agent systems. Further, we demonstrate the usefulness of our framework with a scheduling task example.
Peer Reviewed No
Published Yes
Alternative URI http://dx.doi.org/10.1016/j.jal.2011.09.003
Copyright Statement Copyright 2011 Elsevier. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
Volume 9
Issue Number 4
Page from 221
Page to 222
ISSN 1570-8683
Date Accessioned 2012-03-05
Language en_US
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Artificial Intelligence and Image Processing
URI http://hdl.handle.net/10072/44868
Publication Type Letter or Note
Publication Type Code c3

Show simple item record

Griffith University copyright notice