Many variants of default logics exist. Two of the main differences among them arise from the choice between local and global consistency, and the choice of whether or not to accept maximally successful sets of defaults. In this paper, we characterize theories that do not depend at all on what makes the semantics different, that is, theories for which these two choices do not matter. A result that is proved for such theories holds not only for all the considered semantics, but also for every other semantics that differs from them on the two choices.
Uncontroversial default logic / Liberatore, Paolo. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - STAMPA. - 14:5(2004), pp. 747-765. [10.1093/logcom/14.5.747]
Uncontroversial default logic
LIBERATORE, Paolo
2004
Abstract
Many variants of default logics exist. Two of the main differences among them arise from the choice between local and global consistency, and the choice of whether or not to accept maximally successful sets of defaults. In this paper, we characterize theories that do not depend at all on what makes the semantics different, that is, theories for which these two choices do not matter. A result that is proved for such theories holds not only for all the considered semantics, but also for every other semantics that differs from them on the two choices.| File | Dimensione | Formato | |
|---|---|---|---|
|
VE_2004_11573-125449.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
131.52 kB
Formato
Adobe PDF
|
131.52 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
