Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call this condition failure. The possibility of generating failures has been in the past considered as a semantical problem, and variants have been proposed to solve it. We show that it is instead a computational feature that is needed to encode some domains into default logic.
Where fail-safe default logics fail / Liberatore, Paolo. - In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. - ISSN 1529-3785. - STAMPA. - 8:(2007), pp. ---. [10.1145/1227839.1227842]
Where fail-safe default logics fail
LIBERATORE, Paolo
2007
Abstract
Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call this condition failure. The possibility of generating failures has been in the past considered as a semantical problem, and variants have been proposed to solve it. We show that it is instead a computational feature that is needed to encode some domains into default logic.File allegati a questo prodotto
File | Dimensione | Formato | |
---|---|---|---|
VE_2007_11573-124766.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
196.54 kB
Formato
Adobe PDF
|
196.54 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.