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

Loading...
Thumbnail Image
File version
Author(s)
Orgun, Mehmet A
Governatori, Guido
Liu, Chuchang
Reynolds, Mark
Sattar, Abdul
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Dov M. Gabbay, Sarit Kraus, Jörg Siekmann

Date
2011
Size

45400 bytes

File type(s)

application/pdf

Location
License
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.

Journal Title

Journal of Applied Logic

Conference Title
Book Title
Edition
Volume

9

Issue

4

Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© 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.

Item Access Status
Note
Access the data
Related item(s)
Subject

Pure mathematics

Artificial intelligence not elsewhere classified

Theory of computation

Cognitive and computational psychology

Persistent link to this record
Citation
Collections