Reference : Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/37393
Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond
English
Casini, Giovanni mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Meyer, Thomas mailto [University of Cape Town > Computer Science]
Varzinczak, Ivan mailto [Universite d'Artois > CRIL > > maitre de conference]
2018
Proceeding of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018)
109-118
Yes
No
International
17th International Workshop on Non-Monotonic Reasoning (NMR 2018)
27-29 October 2018
Tempe
Arizona, USA
[en] nonmonotonic logics ; conditional logics ; defeasible reasoning
[en] In this paper we present what we believe to be the first systematic approach for extending the framework for de- feasible entailment first presented by Kraus, Lehmann, and Magidor—the so-called KLM approach. Drawing on the properties for KLM, we first propose a class of basic defea- sible entailment relations. We characterise this basic frame- work in three ways: (i) semantically, (ii) in terms of a class of properties, and (iii) in terms of ranks on statements in a knowlege base. We also provide an algorithm for computing the basic framework. These results are proved through vari- ous representation results. We then refine this framework by defining the class of rational defeasible entailment relations. This refined framework is also characterised in thee ways: se- mantically, in terms of a class of properties, and in terms of ranks on statements. We also provide an algorithm for com- puting the refined framework. Again, these results are proved through various representation results.
We argue that the class of rational defeasible entail- ment relations—a strengthening of basic defeasible entail- ment which is itself a strengthening of the original KLM proposal—is worthy of the term rational in the sense that all of them can be viewed as appropriate forms of defeasi- ble entailment. We show that the two well-known forms of defeasible entailment, rational closure and lexicographic clo- sure, fall within our rational defeasible framework. We show that rational closure is the most conservative of the defeasi- ble entailment relations within the framework (with respect to subset inclusion), but that there are forms of defeasible en- tailment within our framework that are more “adventurous” than lexicographic closure.
Researchers
http://hdl.handle.net/10993/37393
http://www4.uma.pt/nmr2018/NMR2018Proceedings.pdf
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
NMR2018Paper.pdfPublisher postprint400.84 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.