Levels of Modality for BDI Logic

Loading...
Thumbnail Image
File version
Author(s)
Blee, J
Billington, D
Governatori, G
Sattar, A
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2008
Size

378447 bytes

File type(s)

application/pdf

Location

Sydney

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

Journal Title
Conference Title

Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008

Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

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

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

Adaptive Agents and Intelligent Robotics

Persistent link to this record
Citation