In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means of a simple method in the context of propositional logic. We then propose an application of our approach to rational closure in the field of Description Logics, an important knowledge representation formalism, and provide a simple decision procedure for this case.
Rational closure for defeasible description logics
Casini G;Straccia U
2010
Abstract
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means of a simple method in the context of propositional logic. We then propose an application of our approach to rational closure in the field of Description Logics, an important knowledge representation formalism, and provide a simple decision procedure for this case.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_44338-doc_54275.pdf
solo utenti autorizzati
Descrizione: jelia10
Tipologia:
Versione Editoriale (PDF)
Dimensione
272.61 kB
Formato
Adobe PDF
|
272.61 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.
