OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Logical Theory of Belief Dynamics for Resource-Bounded Agents

Balbiani, Philippe and Fernández-Duque, David and Lorini, Emiliano A Logical Theory of Belief Dynamics for Resource-Bounded Agents. (2016) In: 15th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), 9 May 2016 - 13 May 2016 (Singapore, Singapore).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
390kB

Official URL: https://dl.acm.org/citation.cfm?id=2937020

Abstract

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: (i) we use a non-standard semantics putting together a neighbourhood semantics for explicit beliefs and relational semantics for background knowledge, and (ii) we have specific axioms in the logic highlighting the relationship between the two concepts. Mental operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic (DEL). Results about axiomatization, decidability and complexity for the logic are given in the paper.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). The definitive version is available at http://dl.acm.org This papers appears in AAMAS '16 ISBN: 978-1-4503-4239-1. The original PDF is available at: https://dl.acm.org/citation.cfm?id=2937020
HAL Id:hal-01809282
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:03 May 2018 12:59

Repository Staff Only: item control page