论文部分内容阅读
描述逻辑是一簇知识表示的语言，其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统，并以此构建形式模型证明其推理机制是完备的。
基于自然推演下描述逻辑VL的形式化推理
【摘 要】
：
描述逻辑是一簇知识表示的语言，其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统，并以此构建形式模型证明其推理机制是完备的。
【机 构】
：
江西师范高等专科学校数学与信息技术学院,上饶师范学院网络中心
【出 处】
：
贵州工程应用技术学院学报
【发表日期】
：
2017年3期
【基金项目】
：
江西省教育厅科学技术研究项目“循环术语集本体的保守扩充及其推理机制研究”,项目号：GJJ151348.
其他文献
彝族乌撒政权从麦遮俄索建立纪俄勾地方政权到1664年吴三桂平定乌撒,经历了独立的方国政权、羁縻时期的乌撒部政权以及被中央王朝正式册封的土司制政权等。乌撒部实行君、臣
通过实地调查与查阅文献、标本,对贵州小檗属植物资源进行调查研究。贵州记录分布有小檗属植物39种(含1变种)。对贵州小檗属植物水平分布、垂直分布特点进行了分析,小檗属植
《关于费尔巴哈的提纲》距今已有170多年了,其蕴含了马克思关于人与自然关系的重要思想,它的时代价值和基本精神至今引发深思。马克思通过对旧哲学的批判分析,引导我们从实践