liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Partiality and Inconsistency in Agents' Belief Bases
2013 (English)In: Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013) / [ed] Dariusz Barbucha, Manh Thanh Le, Robert J. Howlett, Lakhmi C. Jain, IOS Press, 2013, 3-17Conference paper (Refereed)
Abstract [en]

Agents' beliefs can be incomplete and partially inconsistent. The process of agents' belief formation in such contexts has to be supported by suitable tools allowing one to express a variety of inconsistency resolving and nonmonotonic reasoning techniques.

In this paper we discuss 4QL*, a general purpose rule-based query language allowing one to use rules with negation in the premises and in the conclusions of rules. It is based on a simple and intuitive semantics and provides uniform tools for lightweight versions of well-known forms of nonmonotonic reasoning. In addition, it is tractable w.r.t. data complexity and captures PTIME queries, so can be used in real-world applications.

Reasoning in 4QL* is based on well-supported models. We simplify and at the same time generalize previous definitions of well-supported models and develop a new algorithm for computing such models.

Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 (print), 1879-8314 (online ; 252
National Category
Computer Systems
URN: urn:nbn:se:liu:diva-107345DOI: 10.3233/978-1-61499-254-7-3ISI: 000339335600001ISBN: 978-1-61499-253-0OAI: diva2:723547
7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), 27-29 May 2013, Hue City, Vietnam
Available from2014-06-11 Created:2014-06-11 Last updated:2014-11-28Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Maluszynski, JanSzalas, Andrzej
By organisation
TCSLAB - Theoretical Computer Science LaboratoryThe Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 14 hits
ReferencesLink to record
Permanent link

Direct link