BAOFL的TABLEAU推理

发布时间：2019-01-04 23:57

【摘要】：给出了基于信度语义的算子模糊逻辑BAOFL的TABLEAU推理方法，并证明了其可靠性和完备性．
[Abstract]:The TABLEAU reasoning method of operator fuzzy logic BAOFL based on reliability semantics is given, and its reliability and completeness are proved.
【作者单位】： 吉林大学计算机科学系!长春 130023
【基金】：国家自然科学基金 863计划资助
【分类号】：B815.6

【参考文献】

相关期刊论文 前4条

1 刘叙华,安直;算子Fuzzy逻辑及其归结推理的改进[J];计算机学报;1990年12期

2 刘叙华，程晓春;基于信度语义的算子模糊逻辑[J];计算机学报;1995年12期

3 程晓春,刘叙华,陆汝钤;基于证据语义的算子模糊逻辑[J];科学通报;1995年01期

4 李未;一个开放的逻辑系统[J];中国科学A辑;1992年10期

【共引文献】

相关期刊论文 前10条

1 张文q，

本文编号：2400974