摘要
为了在模糊推理中求得公式为真程度的下界和上界,算子模糊逻辑显示使用[0,1]区间中的实数作为算子描述模糊命题的可信程度,其公式的语义值可以在公式的恒真水平和恒假水平之间变动。基于算子模糊命题逻辑,证明了任意公式在二值解释的意义下都可以转化成与之等值的合取范式和析取范式,并根据公式的合取范式或析取范式给出了公式恒真水平和恒假水平模型的生成方法。公式的恒真水平和恒假水平在根本上决定了公式的语义性质,其模型给出了公式在何时达到其最小和最大语义值的一个解答。
To find the upper bound and lower bound for the truth level of the formula in operator fuzzy logic,the uncertainty of a fuzzy proposition is explicitly represented by an operator which is a real number in the interval from 0 to 1.Thus a given formula varies in semantic value from its minimum to its maximum.Based on propositional operator fuzzy logic,the concepts of truth level and false level of a given formula were defined to characterize its minimal and maximal semantic values,and how a formula reached its truth level and false level was discussed.Under the semantics of two-value interpretation,it is shown that the formula can be transformed equivalently to a conjunctive normal form or a disjunctive normal form,so that the model of the truth level and that of the false level can be obtained easily.Then the semantic properties of the formula were clearly determined.
出处
《解放军理工大学学报（自然科学版）》
EI
北大核心
2010年第6期673-675,共3页
Journal of PLA University of Science and Technology(Natural Science Edition)
基金
国家自然科学基金资助项目(60972090)
关键词
算子模糊命题逻辑
公式
恒真水平
恒假水平
模型
propositional operator fuzzy logic
formula
truth level
false level
model
