关于逻辑程序的声明性阅读(s)的一篇笔记
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
本文分析了逻辑程序的声明性阅读。逻辑程序——以及否定回 failure——没有唯一的声明性阅读。一种常见的观点是，逻辑程序是默认推理的逻辑，或默认逻辑或自指逻辑的子形式。在此观点下，否定回 failure 是一种模态算子。另一种观点是，将逻辑程序解释为定义。在此观点下，否定回 failure 是经典客观否定。就常识而言，这两种声明性阅读之间确实存在差异。尽管如此，这两种声明性阅读大体上导致相同的模型语义。本文探讨了导致此结果的原因。
关键词
引用
@article{arxiv.cs/0003056,
title = {A note on the Declarative reading(s) of Logic Programming},
author = {Marc Denecker},
journal= {arXiv preprint arXiv:cs/0003056},
year = {2007}
}
备注
6 pages; poster at NMR2000, Breckenridge, April 2000