扩展模糊描述逻辑及其推理技术

文摘

英文文摘

东南大学学位论文独创性声明及使用授权声明

第一章引言

1.1选题依据

1.2国内外研究现状

1.2.1描述逻辑模糊扩展

1.2.2描述逻辑概率扩展

1.2.3国内研究现状

1.3研究过程

1.4主要研究内容

1.5论文主要成果

1.6论文结构

第二章描述逻辑及其模糊扩展

2.1描述逻辑

2.1.1从网络到描述逻辑

2.1.2描述逻辑发展阶段

2.1.3描述逻辑构造子

2.1.4描述逻辑知识库

2.1.5描述逻辑推理问题

2.2模糊描述逻辑

2.2.1模糊ALC

2.2.2模糊ALC表示能力的不足

2.3本章小结

第三章扩展模糊描述逻辑

3.1扩展模糊描述逻辑语法语义

3.2扩展模糊描述逻辑知识库

3.3扩展模糊描述逻辑推理问题

3.4扩展模糊描述逻辑推理性质

3.5扩展模糊ALC和模糊ALC的比较

3.6本章小结

第四章空TBox下扩展模糊描述逻辑推理算法

4.1可满足区间的推理算法

4.2终止性和正确性

4.3复杂性

4.4 ABox一致性的推理算法

4.5本章小结

第五章TBox下的扩展模糊描述逻辑推理算法

5.1受限TBox

5.2可满足区间问题的推理算法

5.3优化算法和复杂性证明

5.3.1可满足区间问题的优化算法

5.3.2算法复杂性分析

5.3.3算法的完备性和正确性

5.3.4可满足区间问题的复杂性分析

5.4本章小结

第六章总结与展望

6.1论文总结

6.2相关问题讨论

6.3今后工作展望

致谢

参考文献

附录攻读硕士学位期间完成的论文列表