摘要: 通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架.
张兴芳 孟广武. 一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用[J]. 计算机科学, 2005, 32(10): 1-5. https://doi.org/
ZHANG Xing-Fang, MENG Guang-Wu (School of Mathematics Science, Liaocheng University, Liaocheng,Shandong, 252059). [J]. Computer Science, 2005, 32(10): 1-5. https://doi.org/