Where Fail-Safe Default Logics Fail

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.

 @article{libe-06-b,
 title = {Where Fail-Safe Default Logics Fail},
 year = {2007},
 author = {Liberatore, Paolo},
 journal = {ACM Transactions on Computational Logic},
 number = {2},
 volume = {8},
 }