解决逻辑程序设计中局部变量问题的策略

"这篇论文探讨了逻辑程序设计中关于局部变量的问题及其解决策略。局部变量在子句体中出现而不参与头原子时，可能导致负目标计算的不精确或不完全。由于局部变量的存在，子句体的否定在不进行泛量化的情况下无法表达，而泛量化的计算又具有固有的困难。作者提出了一种方法，通过构造一个无局部变量的逻辑程序（定义程序）作为目标程序，确保源程序和目标程序在三值逻辑的程序完成意义上等价。未来的研究计划将这些成果扩展到正常的逻辑程序。关键词包括局部变量、逻辑编程和程序转换。" 在逻辑程序设计中，局部变量常用来存储中间计算结果，但从负面目标的计算角度来看，它们可能造成问题。当一个变量在子句体中出现但未在头原子中声明时，被称为局部变量。这样的变量会导致否定子句的表达困难，因为它们通常需要泛量化处理，而连续性的局部变量则使得这种泛量化变得复杂。在逻辑编程（LP）和约束逻辑编程（CLP）的方法中，由于局部变量的存在，实现完全的否定计算机制变得尤为困难。 文章引用了先前的工作，如内涵否定（LP方法中）、构造性否定（CLP框架）以及对CLP中的正常逻辑程序类的完整操作语义扩展。这些问题的解决通常涉及到对局部变量的处理，例如泛量化，但这增加了计算的复杂性，并可能导致不完全的解决方案。 为了解决这个问题，论文提出了一个新的方法，即创建一个没有局部变量的定义逻辑程序作为目标程序，这个程序与原始的逻辑程序在三值逻辑的程序完成结果上保持一致。这种方法旨在提供一种有效的方式来计算否定目标，同时避免了因局部变量引起的泛量化问题。虽然当前的研究仅限于特定类型的逻辑程序，作者计划进一步研究如何将这种方法应用到更广泛的正常逻辑程序中。 这篇论文揭示了局部变量在逻辑程序设计中的挑战，并提出了一种通过消除局部变量来改进计算精确度的策略。这为逻辑编程领域的优化和理解局部变量影响提供了新的视角，也为未来的程序转换和计算方法奠定了基础。