Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic

Abstract In the setting of Defeasible Logic, we deal with the problem of revising and contracting a non-monotonic theory while minimizing the number of rules to be removed from the theory itself. The process is based on the notions of a set of rules being necessary and sufficient in order to prove a...

Full description

Saved in:
Bibliographic Details
Published inJournal of logic and computation Vol. 35; no. 7
Main Authors Olivieri, Francesco, Cristani, Matteo, Governatori, Guido, Pasetto, Luca, Rotolo, Antonino, Scannapieco, Simone, Tomazzoli, Claudio, Chekole Workneh, Tewabe
Format Journal Article
LanguageEnglish
Published Oxford University Press 01.10.2025
Subjects
sufficiency
necessity
Non-monotonic reasoning
Online AccessGet full text
ISSN0955-792X
1465-363X
1465-363X
DOI10.1093/logcom/exae044

Cover

More Information
Summary:Abstract In the setting of Defeasible Logic, we deal with the problem of revising and contracting a non-monotonic theory while minimizing the number of rules to be removed from the theory itself. The process is based on the notions of a set of rules being necessary and sufficient in order to prove a claim. The substantial difference among classical and non-monotonic reasoning processes makes this issue significant in order to achieve the correct revision processes. We show that the process is however computationally hard, and can be solved in polynomial time on non-deterministic machines.
ISSN:0955-792X
1465-363X
1465-363X
DOI:10.1093/logcom/exae044