Harrison, Michael and Meyer, Thomas (2020) DDLV: A system for rational preferential reasoning for Datalog, South African Computer Journal, 32, SAICSIT.
Text
850-Article Text (the main file for review)-3900-1-10-20201207.pdf Download (819kB) |
Abstract
Datalog is a powerful language that can be used to represent explicit knowledge and compute inferences in knowledge bases. Datalog cannot, however, represent or reason about contradictory rules. This is a limitation as contradictions are often present in domains that contain exceptions. In this paper, we extend Datalog to repres- ent contradictory and defeasible information. We define an approach to efficiently reason about contradictory information in Datalog and show that it satisfies the KLM requirements for a rational consequence relation. We introduce DDLV, a defeasible Datalog reasoning system that implements this approach. Finally, we evaluate the performance of DDLV.
Item Type: | Journal article (online only) |
---|---|
Additional Information: | https://doi.org/10.18489/sacj.v32i2.850 |
Subjects: | Computing methodologies > Artificial intelligence > Knowledge representation and reasoning |
Date Deposited: | 01 Sep 2021 09:58 |
Last Modified: | 01 Sep 2021 09:58 |
URI: | http://pubs.cs.uct.ac.za/id/eprint/1422 |
Actions (login required)
View Item |