超逻辑程序
人工智能
2007-05-23 v2 计算机科学中的逻辑
摘要
Autoepistemic Logic of Knowledge and Belief (AELB) 是 Teodor Przymusinski 于1994年引入的一种强大的非单调形式化方法。本文将其局限于一种称为“超逻辑程序”的理论类群。我们认为，这些程序构成了标准逻辑程序的自然推广。特别是，它们允许任意正目标公式的析取和默认否定。我们的主要结果是对这些程序的静态语义提供两个新的强大表征：一个语法的，一个模型论的。语法的固定点表征比任意AELB理论的静态语义固定点构造要简单得多。基于Kripke模型的数据论表征允许我们构建固有不可数的静态扩张的有限表示。两种表征都可作为静态语义下查询应答算法的基础。我们描述了一个基于模型论表征开发的超级程序查询应答解释器，并在网上提供了该解释器。
引用
@article{arxiv.cs/0010032,
title = {Super Logic Programs},
author = {Stefan Brass and Juergen Dix and Teodor C. Przymusinski},
journal= {arXiv preprint arXiv:cs/0010032},
year = {2007}
}
备注
47 pages, revised version of the paper submitted 10/2000