| BAOFL的TABLEAU推理 |
| |
| 引用本文： | 程晓春.BAOFL的TABLEAU推理[J].吉林大学学报(理学版),1997(1). |
| |
| 作者姓名： | 程晓春 |
| |
| 作者单位： | 吉林大学计算机科学系!长春，130023 |
| |
| 基金项目： | 国家自然科学基金，863计划资助 |
| |
| 摘 要： | 给出了基于信度语义的算子模糊逻辑BAOFL的TABLEAU推理方法，并证明了其可靠性和完备性．
|
| 关 键 词： | 算子模糊逻辑 可信度 TABLEAU方法 |
TABLEAU Method for BAOFL |
| |
| Cheng Xiaochun.TABLEAU Method for BAOFL[J].Journal of Jilin University: Sci Ed,1997(1). |
| |
| Authors: | Cheng Xiaochun |
| |
| Abstract: | This paper propose TABLEAU method for BAOFL and proves its soundness and completeness. |
| |
| Keywords: | operator fuzzy logic belief TABLEAU method |
| 本文献已被 CNKI 等数据库收录！ |
