Reference : Taking Defeasible Entailment beyond Rational Closure

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/39594

Title :	Taking Defeasible Entailment beyond Rational Closure
Language :	English
Author, co-author :	Casini, Giovanni [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Meyer, Thomas [University of Cape Town > Computer Science]
	Varzinczak, Ivan [Université d'Artois > Computer Science]
Publication date :	2019
Main document title :	Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA-19)
Publisher :	Springer
Collection and collection volume :	LNCS 11468
Peer reviewed :	Yes
On invitation :	No
Audience :	International
ISBN :	978-3-030-19570-0
Event name :	16th European Conference on Logics in Artificial Intelligence (JELIA-19)
Event date :	7-11 May 2019
Event place (city) :	Rende
Event country :	Italy
Keywords :	[en] artificial intelligence ; knowledge representation ; nonmonotonic logics
Abstract :	[en] We present a systematic approach for extending the KLM framework for defeasible entailment. We first present a class of basic defeasible entailment relations, characterise it in three distinct ways and provide a high-level algorithm for computing it. This framework is then refined, with the refined version being characterised in a similar manner. We show that the two well-known forms of defeasible entailment, rational closure and lexicographic closure, fall within our refined framework, that rational closure is the most conservative of the defeasible entailment relations within the framework (with respect to subset inclusion), but that there are forms of defeasible entailment within our framework that are more “adventurous” than lexicographic closure.
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/39594
DOI :	10.1007/978-3-030-19570-0_12
Framework Programme / European Project :	H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access JELIA-2019-repository.pdf Author preprint 298.58 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map