将违背逻辑嵌入逻辑编程
计算机科学中的逻辑
2012-06-26 v1
摘要
违背推理是一种简单而高效的非单调推理方法，最近引起了广泛关注，并在 various 应用中得到运用。违背逻辑及其变体是违背推理方法的一个重要家族。迄今为止，尚未在违背逻辑与主流非单调推理方法之间建立任何关系。在本文中，我们在已知逻辑程序语义之间建立了紧密联系。特别是，我们给出将违背理论 D 翻译为元程序 P(D)的方法。我们证明，在决策性条件下，D 的违背后果恰好对应于 P(D) 在稳定模型语义下的怀疑性结论。若无决策性，结果仅单向地成立（D 的所有违背后果都包含在 P(D) 的所有稳定模型中）。如果我们希望获得一般情况下的完整嵌入，需要使用 P(D) 的 Kunen 语义。
引用
@article{arxiv.cs/0511055,
title = {Embedding Defeasible Logic into Logic Programming},
author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher},
journal= {arXiv preprint arXiv:cs/0511055},
year = {2012}
}
备注
To appear in Theory and Practice of Logic Programming