Defeasible disjunctive datalog

Morris, Matthew and Meyer, Thomas and Ross, Tala (2019) Defeasible disjunctive datalog, Proceedings of South African Forum for Artificial Intelligence, 3-6 December 2019, Cape Town, South Africa, CEUR.

[img] Text
2019 Morris.pdf - Published Version

Download (390kB)


Datalog is a declarative logic programming language that uses classical logical reasoning as its basic form of reasoning. Defeasible reasoning is a form of non-classical reasoning that is able to deal with exceptions to general assertions in a formal manner. The KLM approach to defeasible reasoning is an axiomatic approach based on the concept of plausible inference. Since Datalog uses classical reasoning, it is currently not able to handle defeasible implications and exceptions. We aim to extend the expressivity of Datalog by incorporating KLM-style defeasi- ble reasoning into classical Datalog. We present a systematic approach to extending the KLM properties and a well-known form of defeasible entailment: Rational Closure. We conclude by exploring Datalog exten- sions of less conservative forms of defeasible entailment: Relevant and Lexicographic Closure.

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

Actions (login required)

View Item View Item