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.

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

Francesco Olivieri;Matteo Cristani;Governatori Guido;Pasetto Luca;Scannapieco Simone;Tomazzoli Claudio;Chekole Workneh Tewabe
2024-01-01

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.
2024
Non-monotonic reasoning, necessity, sufficiency.
File in questo prodotto:
File Dimensione Formato  
Revising.pdf

solo utenti autorizzati

Tipologia: Versione dell'editore
Licenza: Non specificato
Dimensione 980.72 kB
Formato Adobe PDF
980.72 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1137206
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact