有基(自)认知平衡逻辑满足认知分裂性质
计算机科学中的逻辑
2020-02-21 v2 人工智能
摘要
在近期一系列研究中，逻辑程序语义中两个熟知的概念(无基集与分裂)被外推至认知逻辑程序的情形。认知分裂性质为理解无认知循环的程序提供了一种自然且模块化的方式，但令人惊讶的是，在文献诸多提案中，仅Gelfond原始语义(G91)满足该性质。另一方面，当涉及认知循环时，G91可能遭受一种自支持、无基推导。近来，这类推导的缺失也被形式化为称为有基性(foundedness)的认知语义性质。此外，首个被证满足有基性的语义亦被提出，即所谓有基自认知平衡逻辑(FAEEL)。本文中，我们证明FAEEL也满足认知分裂性质——这一点连同有基性，是迄今任何其他方法均未满足的。为证此结果，我们给出FAEEL的另一种刻画，将其刻画为G91与一更简逻辑(称为有基认知平衡逻辑(FEEL))的结合，后者某种程度上是将稳定模型语义外推至模态逻辑S5。稿件正考虑接受于TPLP。
引用
@article{arxiv.1907.09247,
title = {Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting},
author = {Jorge Fandinno},
journal= {arXiv preprint arXiv:1907.09247},
year = {2020}
}
备注
Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages