Epistemic logic programs constitute an extension of the stable model semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal allows checking whether some objective literal is true in all or some stable models. As it can be imagined, the associated semantics has proved to be non-trivial, since the truth of subjective literals may interfere with the set of stable models it is supposed to query. As a consequence, no clear agreement has been reached and different semantic proposals have been made in the literature. Unfortunately, comparison among these proposals has been limited to a study of their effect on individual examples, rather than identifying general properties to be checked. In this paper, we propose an extension of the well-known splitting property for logic programs to the epistemic case. We formally define when an arbitrary semantics satisfies the epistemic splitting property and examine some of the consequences that can be derived from that, including its relation to conformant planning and to epistemic constraints. Interestingly, we prove (through counterexamples) that most of the existing approaches fail to fulfill the epistemic splitting property, except the original semantics proposed by Gelfond 1991 and a recent proposal by the authors, called Founded Autoepistemic Equilibrium Logic.

中文翻译：

---

拆分认知逻辑程序

认知逻辑程序构成稳定模型语义的扩展，以处理称为主观字面意思. 非正式地说，主观文字允许检查某些客观文字在所有或某些稳定模型中是否为真。可以想象，相关语义已被证明是不平凡的，因为主观文字的真实性可能会干扰它应该查询的稳定模型集。因此，没有达成明确的一致意见，并且文献中提出了不同的语义建议。不幸的是，这些提案之间的比较仅限于研究它们对单个示例的影响，而不是确定要检查的一般属性。在本文中，我们提出将众所周知的逻辑程序拆分属性扩展到认知情况。我们正式定义任意语义何时满足认知分裂性质并检查可以从中得出的一些后果，包括它与一致性规划和认知约束的关系。有趣的是，我们证明（通过反例）大多数现有方法都不能满足认知分裂属性，除了 Gelfond 1991 提出的原始语义和作者最近的提议，称为创立自认知均衡逻辑.