LiU Electronic Press
Full-text not available in DiVA
Author:
Dunin-Keplicz, Barbara (University of Warsaw, Poland)
Szalas, Andrzej (Linköping University, Department of Computer and Information Science, Artificial Intelligence and Intergrated Computer systems) (Linköping University, The Institute of Technology)
Title:
Epistemic Profiles and Belief Structures
Department:
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Intergrated Computer systems
Linköping University, The Institute of Technology
Publication type:
Chapter in book (Refereed)
Language:
English
In:
Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings
Editor:
Gordan Jezic , Mario Kusek , Ngoc-Thanh Nguyen , Robert J. Howlett and Lakhmi C. Jain
Publisher: Springer Berlin/Heidelberg
Series:
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online); 7327
Pages:
360-369
Year of publ.:
2012
URI:
urn:nbn:se:liu:diva-80270
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-80270
ISBN:
978-3-642-30946-5, e- 978-3-642-30947-2
Subject category:
Computer and Information Science
Abstract(en) :

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.

Available from:
2012-08-23
Created:
2012-08-23
Last updated:
2013-01-28
Statistics:
0 hits