描述逻辑系统εLN中的匹配问题

摘要	第1-4页
Abstract	第4-7页
第一章 前言	第7-15页
·描述逻辑中的标准推理	第9-11页
·概念之间的包含关系	第9-10页
·实例检测	第10-11页
·描述逻辑中的非标准推理	第11-15页
·概念的最小公共包含	第11-12页
·最具体概念	第12-13页
·概念的重写	第13页
·匹配问题	第13-15页
第二章 εLN 中概念的包含关系	第15-23页
·描述语言εLN	第15-16页
·描述逻辑系统εLN 中概念的包含关系	第16-23页
·εLN 的概念描述树	第16-17页
·εLN 中概念描述树之间的同态	第17-18页
·εLN 中概念的包含关系	第18-23页
第三章 εLN 中概念的最小公共包含	第23-28页
·概念描述树的笛卡尔积	第23页
·概念的最小公共包含	第23-28页
第四章 εLN 中的匹配问题	第28-39页
·预备知识	第28-29页
·匹配及其基本性质	第29-34页
·εLN 中的匹配算法	第34-37页
·匹配问题C(?)D	第37-39页
第五章 总结及展望	第39-40页
参考文献	第40-43页
攻读硕士期间发表的论文	第43-44页
致谢	第44-45页