Casini, Giovanni and Meyer, Thomas and Paterson-Jones, Guy (2021) KLM-Style Defeasibility for Restricted First-Order Logic, Proceedings of 19th International Workshop on Non-Monotonic Reasoning, 3-5 November 2021, Online, Online.
![[thumbnail of nmr2021.pdf]](https://pubs.cs.uct.ac.za/style/images/fileicons/text.png) |
Text
nmr2021.pdf - Published Version Download (1MB) |
Abstract
We extend the KLM approach to defeasible reasoning to be applicable to a restricted version of first-order logic. We de- scribe defeasibility for this logic using a set of rationality postulates, provide an appropriate semantics for it, and present a representation result that characterises the semantic descrip- tion of defeasibility in terms of the rationality postulates. Based on this theoretical core, we then propose a version of defeasible entailment that is inspired by Rational Closure as it is defined for defeasible propositional logic and defeasible description logics. We show that this form of defeasible entailment is rational in the sense that it adheres to our rationality postulates. The work in this paper is the first step towards our ultimate goal of introducing KLM-style defeasible rea- soning into the family of Datalog+/- ontology languages.
| Item Type: | Conference paper |
|---|---|
| Subjects: | Computing methodologies > Artificial intelligence > Knowledge representation and reasoning Computing methodologies > Artificial intelligence > Knowledge representation and reasoning > Nonmonotonic, default reasoning and belief revision |
| Alternate Locations: | https://tinyurl.com/azw2x56n |
| Date Deposited: | 03 Dec 2021 11:34 |
| Last Modified: | 03 Dec 2021 11:34 |
| URI: | https://pubs.cs.uct.ac.za/id/eprint/1504 |
Actions (login required)
 |
View Item |