命题可废止逻辑具有线性复杂度
人工智能
2009-09-29 v1
摘要
可废止逻辑是一种基于规则的非单调逻辑，包含严格规则与可废止规则，以及规则上的优先关系。我们证明，该逻辑的命题形式中的推理可以在线性时间内完成。这与大多数其他命题非单调逻辑形成鲜明对比，后者的推理是难解的。
引用
@article{arxiv.cs/0405090,
title = {Propositional Defeasible Logic has Linear Complexity},
author = {Michael J. Maher},
journal= {arXiv preprint arXiv:cs/0405090},
year = {2009}
}
备注
Appeared in Theory and Practice of Logic Programming, vol. 1, no. 6, 2001