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

Direct link
Lightweight Reasoning with Incomplete and Inconsistent Information: a Case Study
Institute of Informatics, University of Warsaw, Warsaw, Poland.
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Intergrated Computer systems. Linköping University, Faculty of Science & Engineering.
2014 (English)In: 2014 IEEE/WIC/ACM International Joint Conferences on  (Volume:3 ) Web Intelligence (WI) and Intelligent Agent Technologies (IAT),, IEEE , 2014, Vol. 3, 325-332 p.Conference paper (Refereed)
Abstract [en]

Dealing with heterogeneous information sources and reasoning techniques allowing for incomplete and inconsistent information is one of current challenges in the area of knowledge representation and reasoning. We advocate for 4QL, a rule-based query language, as a proper tool allowing one to address these challenges. To justify this point of view we discuss a rescue robotics scenario for which a simulator has been developed and tested. In particular, we present a planner using 4QL and, therefore, capable to deal with lack of knowledge and inconsistencies. Through the case study we show that our approach allows one to use lightweight knowledge representation tools: due to the use of 4QL tractability of modeling and reasoning is guaranteed and high usability is achieved.

Place, publisher, year, edition, pages
IEEE , 2014. Vol. 3, 325-332 p.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:liu:diva-120981DOI: 10.1109/WI-IAT.2014.184ISBN: 978-1-4799-4143-8OAI: oai:DiVA.org:liu-120981DiVA: diva2:850313
Conference
The 2014 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Warsaw, Poland, 11-14 Aug. 2014
Available from: 2015-09-01 Created: 2015-09-01 Last updated: 2016-08-22Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
Artificial Intelligence and Intergrated Computer systemsFaculty of Science & Engineering
Computer and Information Science

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: 62 hits
ReferencesLink to record
Permanent link

Direct link