Rational preferential reasoning for datalog

Harrision, Michael and Meyer, Thomas (2019) Rational preferential reasoning for datalog, Proceedings of South African Forum for Artificial Intelligence, 3-6 December 2019, Cape Town, South Africa, CEUR.

[img] Text
2019 Harrison.pdf - Published Version

Download (850kB)

Abstract

Datalog is a powerful language that can be used to represent explicit knowledge and compute inferences in knowledge bases. Datalog cannot represent or reason about contradictory rules, though. 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. Finally, we introduce an implementation of this approach in the form of a defeasible datalog reasoning tool and evaluate the performance of this tool.

Item Type: Conference paper
Subjects: Computing methodologies > Artificial intelligence > Knowledge representation and reasoning
Date Deposited: 01 Jun 2020 13:40
Last Modified: 01 Jun 2020 13:40
URI: http://pubs.cs.uct.ac.za/id/eprint/1371

Actions (login required)

View Item View Item