Where Fail-Safe Default Logics Fail
Artificial Intelligence
2021-04-12 v1 Logic in Computer Science
Abstract
Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call failure this condition. 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.
Keywords
Cite
@article{arxiv.cs/0403032,
title = {Where Fail-Safe Default Logics Fail},
author = {Paolo Liberatore},
journal= {arXiv preprint arXiv:cs/0403032},
year = {2021}
}