描述逻辑ALC的公理化方法研究 |
| |
作者姓名: | 聂登国 张维 |
| |
作者单位: | 毕节学院理学院;黔南民族师范学院数学系; |
| |
基金项目: | 贵州省2013年度贵州省科技厅、毕节市科技局、毕节学院科技联合基金计划项目“轻量级描述逻辑的保守扩充”研究成果之一,项目编号:黔科合J字LKB[2013]23号;贵州省科学技术基金资助项目“循环描述逻辑系统推理机制及其有限模型的有穷基”研究成果之一,项目编号:黔科合J字[2012]2310;国家自然科学基金项目“本体的保守扩充及其推理机制研究”研究成果之一,项目编号:61103169 |
| |
摘 要: | 描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。
|
关 键 词: | 描述逻辑 公理化 一阶逻辑 |
本文献已被 CNKI 等数据库收录! |
|