Lightweight Reasoning with Incomplete and Inconsistent Information: a Case Study
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)
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.
Computer and Information Science
IdentifiersURN: urn:nbn:se:liu:diva-120981DOI: 10.1109/WI-IAT.2014.184ISBN: 978-1-4799-4143-8OAI: oai:DiVA.org:liu-120981DiVA: diva2:850313
The 2014 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Warsaw, Poland, 11-14 Aug. 2014