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.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.