Dunin-Keplicz, Barbara Szalas, Andrzej 2012 (English)In: Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings / [ed] Gordan Jezic , Mario Kusek , Ngoc-Thanh Nguyen , Robert J. Howlett and Lakhmi C. Jain, Springer Berlin/Heidelberg, 2012, 360-369Kapitel i bok, del av antologi (Refereed)
The paper is devoted to a novel formalization of beliefs in multiagent systems. Our aim is to bridge the gap between idealized logical approaches to modeling beliefs and their actual implementations. Therefore the stages of belief acquisition, intermediate reasoning and final belief formation are isolated and analyzed. We give a novel semantics reflecting those stages and suitable for building complex belief structures in the context of incomplete and/or inconsistent information. Namely, an agent starts with constituents, i.e., sets of initial beliefs acquired by perception, expert supplied knowledge, communication with other agents and perhaps other ways. Next, the constituents are transformed into consequents according to agents’ epistemic profiles. Additionally, a uniform treatment of single agent and group beliefs is achieved. Importantly, we indicate an implementation framework ensuring tractability of reasoning about beliefs.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 7327
National CategoryComputer and Information Science
Identifiersurn:nbn:se:liu:diva-80270 (URN)10.1007/978-3-642-30947-2_40 (DOI)978-3-642-30946-5 (ISBN)e- 978-3-642-30947-2 (ISBN)oai:DiVA.org:liu-80270 (OAI)