30年的认知规范
Thirty years of Epistemic Specifications
摘要：
认知规范和认知逻辑程序的语言在稳定模型语义下用称为主观文字的模态构造来扩展析取逻辑程序。使用主观文字，可以检查程序的每个或某些稳定模型中的常规文字是否为真，这些模型在本文中也称为\emph{belief sets}，被收集在称为世界视图的集合中。这允许在语言中表示某个命题是否应该根据开放或封闭世界假设来理解。几次尝试捕捉的直觉的语言通过一个正式的语义，导致大量的建议，使它难以理解的当前状态的art.In本文中，我们提供了一个概述的开端领域和知识表示和推理任务，它是合适的。我们还提供了一个详细的分析拟议的语义属性，并在该领域的未来研究所面临的挑战的前景。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
英文摘要：
The language of epistemic specifications and epistemic logic programs extends disjunctive logic programs under the stable model semantics with modal constructs called subjective literals. Using subjective literals, it is possible to check whether a regular literal is true in every or some stable models of the program, those models, in this context also called \emph{belief sets}, being collected in a set called world view. This allows for representing, within the language, whether some proposition should be understood accordingly to the open or the closed world assumption. Several attempts for capturing the intuitions underlying the language by means of a formal semantics were given, resulting in a multitude of proposals that makes it difficult to understand the current state of the art. In this paper, we provide an overview of the inception of the field and the knowledge representation and reasoning tasks it is suitable for. We also provide a detailed analysis of properties of proposed semantics, and an outlook of challenges to be tackled by future research in the area. Under consideration in Theory and Practice of Logic Programming (TPLP)
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
