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.date.accessioned2017-04-24T09:07:31Z
dc.date.available2017-04-24T09:07:31Z
dc.date.issued2007en_US
dc.date.modified2008-12-10T05:27:11Z
dc.identifier.refuriwww.aaai.orgen_AU
dc.identifier.doihttp://www.aaai.org/Conferences/AAAI/aaai07.phpen_AU
dc.identifier.urihttp://hdl.handle.net/10072/17626
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.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherAAAI Pressen_US
dc.publisher.placeMenlo Park, Californiaen_US
dc.publisher.urihttp://www.aaai.org/home.htmlen_AU
dc.relation.ispartofstudentpublicationNen_AU
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.ispartofdatefrom2007-07-22en_US
dc.relation.ispartofdateto2007-07-26en_US
dc.relation.ispartoflocationVancouver, Canadaen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_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.date.issued2007
gro.hasfulltextNo Full Text


Files in this item

FilesSizeFormatView

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