故障安全默认逻辑在何处失效
人工智能
2021-04-12 v1 计算机科学中的逻辑
摘要
Reiter 的默认逻辑原始定义允许应用一个与先前应用的默认规则相矛盾的默认规则。我们将此条件称为失效。过去，产生失效的可能性被视为一个语义问题，并提出了变体来解决它。我们表明，它实际上是一种计算特性，在将某些领域编码为默认逻辑时是必需的。
引用
@article{arxiv.cs/0403032,
title = {Where Fail-Safe Default Logics Fail},
author = {Paolo Liberatore},
journal= {arXiv preprint arXiv:cs/0403032},
year = {2021}
}