Show simple item record

dc.contributor.authorSu, K
dc.contributor.authorSattar, A
dc.contributor.authorGovernatori, G
dc.contributor.authorChen, Q
dc.date.accessioned2018-06-26T00:20:47Z
dc.date.available2018-06-26T00:20:47Z
dc.date.issued2005
dc.date.modified2007-03-21T21:26:44Z
dc.identifier.doi10.1145/1082473.1082496
dc.identifier.urihttp://hdl.handle.net/10072/2669
dc.description.abstractThis paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded model, called interpreted KBC systems, is given for interpreting this logic. The relationships between knowledge, belief and certainty are explored. In particular, certainty entails belief; and to the agent what it is certain of appears to be the knowledge. To formalize those agents that are able to introspect their own belief and certainty, we identify a subclass of interpreted KBC systems, called introspective KBC systems. We provide sound and complete axiomatizations for the logics. We show that the validity problem for the interpreted KBC systems is PSPACE-complete, and the same problem for introspective KBC systems is co-NP complete, thus no harder than that of the propositional logic.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherACM
dc.publisher.placeNew York, N.Y.
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005)
dc.relation.ispartofconferencetitleProceedings of the International Conference on Autonomous Agents
dc.relation.ispartofdatefrom2005-07-25
dc.relation.ispartofdateto2005-07-29
dc.relation.ispartoflocationUtrecht, The Netherlands
dc.relation.ispartofpagefrom297
dc.relation.ispartofpageto304
dc.rights.retentionY
dc.subject.fieldofresearchcode280213
dc.titleA computationally grounded logic of knowledge, belief and certainty
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionAccepted Manuscript (AM)
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© ACM, 2005. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, ISBN:1-59593-093-0, DOI: 10.1145/1082473.1082496.
gro.date.issued2005
gro.hasfulltextFull Text
gro.griffith.authorSattar, Abdul
gro.griffith.authorSu, Kaile
gro.griffith.authorGovernatori, Guido


Files in 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