基于真值的SBL<sub>~</sub>公理化扩张系统的计量化
摘要
Based on △ deduction theorem and true value distribution, this paper proves true value relationship theorem of valid inference in △ fuzzy logic system SBL ~ with involutive negation. Secondly, as an example of axiomatic extensions of SBL ~ system, Godel ~ is quantified by introducing △ similarity and △ distance. Then the paper proves the continuity of logic operators→,~by using the true value relationship theorem, gives the method to calculate the distance between the formula and theory. Finally, this paper proposes three different types of approximate reasoning patterns and discusses the relationships between three modes in Godel ~ .
引用本文（GB/T 7714）
Xiaojing Hui. 基于真值的SBL<sub>~</sub>公理化扩张系统的计量化[J]. Scientia Sinica Informationis, 2014.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。