Where Fail-Safe Default Logics Fail
人工智能
2021-04-12 v1 计算机科学中的逻辑
摘要
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.
引用
@article{arxiv.cs/0403032,
title = {Where Fail-Safe Default Logics Fail},
author = {Paolo Liberatore},
journal= {arXiv preprint arXiv:cs/0403032},
year = {2021}
}