This paper mainly discusses the dynamic fuzzy logic(DFL) resolution method, and expends on the theory of matrix resolution method of dynamic fuzzy proposition.
对DFL归结方法作进一步的研究，阐述了DF命题的矩阵归结的理论。
This paper gives a detailed study of truth reasoning based on fuzzy proposition, strict statement of truth-value propagation in uncertainty reasoning, defined in , is shown.
不确定推理是知识工程中的重要内容，基于模糊命题的真值推理具有广泛的应用。
But fuzzy logic only pay attention to the sequential changeability of fuzzy proposition logic's value, not notice the sequential changeability of fuzzy proposition logic's conjunction operation model.
但是模糊逻辑只注意到了模糊命题逻辑真值的连续可变性，而没有认识到模糊命题连接词的运算模型的连续可变性。
In the base of regularity of fuzzy logics, combining triangular norms and logics, it has lead proposition universal logic.
在分析模糊逻辑规律的基础上，把三角范数理论和逻辑学紧密结合起来，利用三角范数理论提出命题泛逻辑学。
In the base of regularity of fuzzy logics, combining triangular norms and logics, it has lead proposition universal logic.
在分析模糊逻辑规律的基础上，把三角范数理论和逻辑学紧密结合起来，利用三角范数理论提出命题泛逻辑学。
应用推荐