Maluszynski, Jan Szalas, Andrzej 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)
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 CategoryComputer Systems
Identifiersurn:nbn:se:liu:diva-107345 (URN)10.3233/978-1-61499-254-7-3 (DOI)000339335600001 (ISI)978-1-61499-253-0 (ISBN)oai:DiVA.org:liu-107345 (OAI)diva2:723547 (DiVA)
7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), 27-29 May 2013, Hue City, Vietnam