Where Fail-Safe Default Logics Fail

Paolo Liberatore

ACM Transactions on Computational Logic

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.

 title = {Where Fail-Safe Default Logics Fail},
 year = {2007},
 author = {Liberatore, Paolo},
 journal = {ACM Transactions on Computational Logic},
 number = {2},
 volume = {8},
HTTP download.
doi: 10.1145/1227839.1227842