We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
DDLV: A system for rational preferential reasoning for Datalog.
- Authors
Harrison, Michael; Meyer, Thomas
- 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 represent 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.
- Subjects
NONMONOTONIC logic; KNOWLEDGE base; KNOWLEDGE representation (Information theory)
- Publication
South African Computer Journal, 2020, Vol 32, Issue 2, p184
- ISSN
1015-7999
- Publication type
Article
- DOI
10.18489/sacj.v32i2.850