Sökning: onr:"swepub:oai:DiVA.org:liu-120981" >
Lightweight Reasoni...
Lightweight Reasoning with Incomplete and Inconsistent Information : a Case Study
-
- Bialek, Lukasz (författare)
- Institute of Informatics, University of Warsaw, Warsaw, Poland
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten
-
(creator_code:org_t)
- IEEE, 2014
- 2014
- Engelska.
-
Ingår i: 2014 IEEE/WIC/ACM International Joint Conferences on (Volume:3 ) Web Intelligence (WI) and Intelligent Agent Technologies (IAT). - : IEEE. - 9781479941438 ; , s. 325-332
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas