×

基于相似性的统一。 (英语) Zbl 0954.68032

摘要:统一在逻辑程序设计中起着中心的作用。我们通过承认两个一阶表达式可以在一定程度上“相似”,而不一定完全相同,从而“软化”统一过程。据此提出了经典统一理论的一个推广。实际上,在我们的方法中,受Martelli Montanari的统一算法的启发,方程组经过一系列“声音”变换,直到找到一个可解形式,从而得到一个被证明是给定方程组最普遍的扩展统一体的代换形式。

理学硕士:

68N17 逻辑程序设计

关键词:

逻辑程序设计
PDF格式 BibTeX公司 XML 引用