摘要
在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近似推理模式之间的关系。
In the present paper,a characterization of the distance from a single formular A to D(Γ) in quantitative logic is given out.On this basis,an equivalent form of the divergency degree of Γ is proposed.At last,the relations among the three models of approximate reasoning in quantitative logic are fully discussed.
出处
《模糊系统与数学》
CSCD
北大核心
2010年第5期1-7,共7页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(60873119)
博士学科点专项基金资助项目(20080718000)
关键词
真度
相似度
伪度量
发散度
计量逻辑学
近似推理
Truth Degree
Similarity Degree
Pseudo-metric
Divergency Degree
Quantitative Logic
Approximate Reasoning