|
|||||
|
|
| 扩展描述罗辑ALC~ 到谓词逻辑的转换研究初探 | |
| 引用本文： | 文斌,甘健侯,夏幼明,徐天任.扩展描述罗辑ALC~ 到谓词逻辑的转换研究初探[J].云南大学学报(自然科学版),2006(Z2). |
| 作者姓名： | 文斌 甘健侯 夏幼明 徐天任 |
| 作者单位： | 云南师范大学计算机科学与信息技术学院 云南昆明650092(文斌，甘健侯，夏幼明)，云南师范大学旅游与地理科学学院 云南昆明650092(徐天任) |
| 基金项目： | 云南省教育厅科学研究基金项目(04Y7941D)，云南省2004省院省校科技合作计划项目(2004YX42)，云南师范大学校青年基金项目(06Z010Q) |
| 摘 要： | 首先介绍了描述逻辑ALC ,描述逻辑ALC 是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC 的语法和语义,对ALC 的完备性进行了讨论,谓词逻辑是比较经典的知识表示方法,然后探讨了描述逻辑ALC 到谓词逻辑的转换,给出了描述逻辑ALC 到谓词逻辑的转换思想． |
| 关 键 词： | 描述逻辑 ALC ALC~ |
| 本文献已被 CNKI 等数据库收录！ | |