Show simple item record

dc.contributor.convenorYolanda Gilen_AU
dc.contributor.authorSu, Kaileen_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.authorLin, Hanen_US
dc.contributor.authorReynolds, Marken_US
dc.contributor.editorAnthony Cohnen_US
dc.description.abstractAgents' 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 satis es 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 satis es 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.en_US
dc.publisherAAAI Pressen_US
dc.publisher.placeMenlo Park, Californiaen_US
dc.relation.ispartofconferencenameThe Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07)en_US
dc.relation.ispartofconferencetitleProceedings of the twenty-second AAAI conference on artificial intelligenceen_US
dc.relation.ispartoflocationVancouver, Canadaen_US
dc.titleA Modal Logic for Beliefs and Pro Attitudesen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.hasfulltextNo Full Text

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record