Uncontroversial Default Logic

Paolo Liberatore

Journal of Logic and Computation

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.

 title = {Uncontroversial Default Logic},
 year = {2004},
 author = {Liberatore, Paolo},
 journal = {Journal of Logic and Computation},
 pages = {747-765},
 number = {5},
 volume = {14},
doi: 10.1093/logcom/14.5.747