Search: onr:"swepub:oai:DiVA.org:liu-120981" >
Lightweight Reasoni...
Lightweight Reasoning with Incomplete and Inconsistent Information : a Case Study
-
- Bialek, Lukasz (author)
- Institute of Informatics, University of Warsaw, Warsaw, Poland
-
- Szalas, Andrzej, 1956- (author)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten
-
(creator_code:org_t)
- IEEE, 2014
- 2014
- English.
-
In: 2014 IEEE/WIC/ACM International Joint Conferences on (Volume:3 ) Web Intelligence (WI) and Intelligent Agent Technologies (IAT). - : IEEE. - 9781479941438 ; , s. 325-332
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database