自认知逻辑的定点三值语义
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
本文给出自认知逻辑（AEL）的构造性定点语义。该定点刻画自认知理论唯一但可能为三值的信念集。其可为三值是指：对一子类公式 F，该定点可能未指明 F 是否被相信。本文给出 AEL 的构造性三值语义。我们引入一个推导算子并将该语义定义为其最小定点。该语义在三值意义上，对部分公式，最小定点未指明其是否被相信。我们证明推导算子的完全定点对应于 Moore 的稳定扩张。在逻辑程序的模态表示情形下，我们的最小定点语义表达良基语义或三值 Fitting-Kunen 语义（取决于所用嵌入）。我们证明在计算上，我们的语义比 Moore 所提语义更简单（假设多项式层级不坍塌）。
引用
@article{arxiv.cs/9901003,
title = {Fixpoint 3-valued semantics for autoepistemic logic},
author = {M. Denecker and V. Marek and M. Truszczynski},
journal= {arXiv preprint arXiv:cs/9901003},
year = {2007}
}
备注
Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), pages 840--845, (MIT Press, 1998)