通过 GK 逻辑实现缺省逻辑与自识逻辑
人工智能
2014-05-06 v1 计算机科学中的逻辑
摘要
知识与合理假设逻辑，也称为基础逻辑 (GK)，由 Lin 和 Shoham 提出，作为一种用于非单调推理的通用逻辑。迄今为止，它已被用于嵌入缺省逻辑（命题情形）、自识逻辑、Turner 的普遍因果逻辑以及稳定模型语义下的一般逻辑编程。除了展示 GK 作为非单调推理逻辑的通用性外，这些嵌入还阐明了这些其他逻辑之间的关系。在本文中，我们首次展示了如何将 GK 逻辑以多项式但非模块化的方式嵌入到析取逻辑编程中，并引入新变量。所得结果随后可用于通过 claspD(-2)、DLV、GNT 和 cmodels 等析取 ASP 求解器来计算缺省逻辑、自识逻辑以及 Turner 普遍因果逻辑的扩展/扩张语义。
引用
@article{arxiv.1405.0809,
title = {Implementing Default and Autoepistemic Logics via the Logic of GK},
author = {Jianmin Ji and Hannes Strass},
journal= {arXiv preprint arXiv:1405.0809},
year = {2014}
}
备注
Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)