摘要 | 第1-5页 |
Abstract | 第5-8页 |
引言 | 第8-10页 |
第1章 预备知识 | 第10-14页 |
·描述逻辑系统SI的语法 | 第10-11页 |
·描述逻辑系统SI的语义 | 第11-13页 |
·描述逻辑系统SI的推理实例 | 第13-14页 |
第2章 模糊描述逻辑系统L-SI | 第14-27页 |
·模糊描述逻辑系统L-SI的语法 | 第15页 |
·模糊描述逻辑系统L-SI的语义 | 第15-17页 |
·模糊描述逻辑系统L-SI的性质特征 | 第17-18页 |
·模糊描述逻辑系统L-SI的模糊表 | 第18-22页 |
·模糊描述逻辑系统L-SI的推理算法 | 第22-27页 |
第3章 算法的终止性、可靠性、完全性及计算复杂度 | 第27-32页 |
·算法的终止性 | 第27页 |
·算法的可靠性 | 第27-29页 |
·算法的完全性 | 第29-32页 |
第4章 结束语 | 第32-33页 |
参考文献 | 第33-36页 |
攻读硕士期间已发表的论文 | 第36-37页 |
致谢 | 第37-38页 |