A Theoretical Perspective of Coinductive Logic Programming
A Theoretical Perspective of Coinductive Logic Programming
复制标题
共归纳逻辑编程的理论视角
DOI：
10.3233/fi-2015-1252
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
A. Dovier
中科院分区：
文献类型：
--
作者：
D. Ancona;A. Dovier
在本文中，我们研究了共同传感逻辑编程的语义并阐明其内在的计算限制，从而尤其预防了完整，可计算的，操作的语义的定义。我们提出了一种新的操作语义，该语义允许简单的正确性结果和简单的元插入器的定义。我们比较并证明了等效性，并在此主题的其他论文中定义和使用了操作语义。
In this paper we study the semantics of Coinductive Logic Programming and clarify its intrinsic computational limits, which prevent, in particular, the definition of a complete, computable, operational semantics. We propose a new operational semantics that allows a simple correctness result and the definition of a simple meta-interpreter. We compare, and prove the equivalence, with the operational semantics defined and used in other papers on this topic.