摘要
通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架。
In this paper we gave the definition of truth degree based on finite and enumble interpretation of first-order fuzzy predicate logic (or first-order language) formulas by introducing the new concept of evaluation of set of variable of formulas,and discuss its a series of properties and applications in approximate reasoning. Consequently we offered a theoretic basis for reasoning of first-order fuzzy predicate logic.
出处
《计算机科学》
CSCD
北大核心
2005年第10期1-5,共5页
Computer Science
基金
山东省自然科学基金