Some Properties of Invers Resolution in Normal Logic Programs
Some Properties of Invers Resolution in Normal Logic Programs
复制标题
普通逻辑程序中逆分解的一些性质
DOI：
10.1007/3-540-48751-4_26
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Chiaki Sakama
中科院分区：
文献类型：
--
作者：
Chiaki Sakama
本文研究了一般逻辑程序中逆归结的性质。V-算子被称为在定态逻辑程序中进行归纳推广的运算。然而，在程序中存在否定作为失败时，V-算子一般不作为泛化操作工作，并且经常使一致的程序不一致。此外，它们还可能破坏逻辑程序的句法结构，如非循环性和局部分层性。在程序方面，不受限制地应用V-运算符可能会丢失在原始程序中计算的答案，并使查询陷入困境。我们为V-算子提供了避免这些问题的充分条件。
This paper studies the properties of inverse resolution in normal logic programs. The V-operators are known as operations for inductive generalization in definite logic programs. In the presence of negation as failure in a program, however, the V-operators do not work as generalization operations in general and often make a consistent program inconsistent. Moreover, they may destroy the syntactic structure of logic programs such as acyclicity and local stratification. On the procedural side, unrestricted application of the V-operators may lose answers computed in the original program and make queries flounder. We provide sufficient conditions for the V-operators to avoid these problems.