基于模糊描述逻辑ALC～*的灵活规划求解

第一章 引言	第1-13页
·描述逻辑	第6-9页
·知识表示	第6-7页
·描述逻辑的发展	第7页
·描述逻辑的基本体系	第7-9页
·描述逻辑的应用	第9-11页
·描述逻辑的扩展	第11-12页
·文章工作	第12-13页
第二章 描述逻辑的形式化基础	第13-20页
·语法	第13-14页
·理论模型语义	第14-15页
·描述逻辑的推理服务	第15-16页
·Tableaux 包含算法	第16-20页
第三章 描述逻辑ALC~*及其模糊扩展	第20-29页
·描述逻辑ALC~*	第20-21页
·模糊描述逻辑ALC~*	第21-22页
·模糊断言	第22-23页
·模糊术语公理	第23页
·模糊知识库、模糊蕴涵、模糊包含	第23-24页
·模糊描述逻辑ALC~*中的规则	第24-29页
第四章 规划编码	第29-35页
·智能规划	第29-32页
·经典规划	第29-30页
·非经典规划	第30-31页
·Flexible Planning	第31-32页
·一般框架	第32-33页
·规划表示	第33-35页
第五章 规划推理	第35-44页
·推理算法	第35-37页
·包裹问题	第37-40页
·算法复杂性	第40页
·实验结果	第40-44页
第六章 结束语	第44-45页
参考文献	第45-49页
摘要	第49-51页
Abstract	第51-53页
致谢	第53-54页
导师及作者简介	第54页