A Modal Logic for Beliefs and Pro Attitudes

There are no files associated with this record.

Title A Modal Logic for Beliefs and Pro Attitudes
Author Su, Kaile; Sattar, Abdul; Lin, Han; Reynolds, Mark
Publication Title Proceedings of the twenty-second AAAI Conference on artificial intelligence
Editor Anthony Cohn
Year Published 2007
Place of publication Menlo Park, California
Publisher AAAI Press
Abstract Agents' pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural and satisfying formalization of these attitudes is a longstanding problem in the community of agent theory. Most of existing modal logic approaches are based on Kripke structures and have to face the so-called side-effect problem. This paper presents a new modal logic formalizing agents' pro attitudes, based on neighborhood models. There are three distinguishing features of this logic. Firstly, this logic naturally satises Bratman's requirements for agents' beliefs and pro attitudes, as well as some interesting properties that have not been discussed before. Secondly, we give a sound and complete axiom system for characterizing all the valid properties of beliefs and pro attitudes. We introduce for the rst time the notion of linear neighborhood frame for obtaining the semantic model, and this brings a new member to the family of non-normal modal logics. Finally, we argue that the present logic satises an important requirement proposed from the viewpoint of computation, that is, computational grounding, which means that properties in this logic can be given an interpretation in terms of some concrete computational model. Indeed, the presented neighborhood frame can be naturally derived from probabilistic programming with utilities.
Peer Reviewed Yes
Published Yes
Publisher URI http://www.aaai.org/home.html
Alternative URI http://www.aaai.org/Conferences/AAAI/aaai07.php
ISBN 9781577353232
Conference name The Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07)
Location Vancouver, Canada
Date From 2007-07-22
Date To 2007-07-26
URI http://hdl.handle.net/10072/17626
Date Accessioned 2008-03-06
Date Available 2008-12-10T05:27:11Z
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Brief Record

Griffith University copyright notice