论文部分内容阅读
描述逻辑是一簇知识表示的语言，其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统，并以此构建形式模型证明其推理机制是完备的。
基于自然推演下描述逻辑VL的形式化推理
【摘 要】
：
描述逻辑是一簇知识表示的语言，其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统，并以此构建形式模型证明其推理机制是完备的。
【机 构】
：
江西师范高等专科学校数学与信息技术学院,上饶师范学院网络中心
【出 处】
：
贵州工程应用技术学院学报
【发表日期】
：
2017年3期
【基金项目】
：
江西省教育厅科学技术研究项目“循环术语集本体的保守扩充及其推理机制研究”,项目号：GJJ151348.
其他文献
介绍了战斗机功能敏捷性的三种评估尺度－指向裕度，相对能量状态和空战周期时间，仿真计算了两架战斗机的功能敏捷性，对计算结果进行了分析比较，并讨论了初始飞行速、高度、发动机推
美国文化纸生产企业Verso Corp在近日提交了破产保护申请。VcrSo总裁兼首席执行长佩特森（David J．PatCrson）称，该公司已着手制定重组计划，以消除24亿美元的未偿债务，在短时间内走出
简要地阐述了舰载飞机滑跳起飞的过程，给出了描述滑跳起飞跑道斜坡段形状的实用工程计算公式，并逐一建立了舰载飞机滑跳起飞在每个起飞阶段的运动方程，特别是在斜坡两轮滑跑段的
彝族乌撒政权从麦遮俄索建立纪俄勾地方政权到1664年吴三桂平定乌撒,经历了独立的方国政权、羁縻时期的乌撒部政权以及被中央王朝正式册封的土司制政权等。乌撒部实行君、臣
热泵系统是卫生纸机干燥部的重要辅助系统,为湿纸张干燥提供蒸汽,并有效回收冷凝水的热量。本文使用的方法分析卫生纸机热泵系统的节能优化,首先根据平衡建立其损失和效率,进
巴西瓦楞纸板协会近日公布的统计数据显示，受国内经济持续低迷的影响，2015年巴西国内销售的包括纸板箱、纸垫等在内的瓦楞纸板总计332万吨，同比减少3％。以面积换算，2015年巴西瓦楞
通过实地调查与查阅文献、标本,对贵州小檗属植物资源进行调查研究。贵州记录分布有小檗属植物39种(含1变种)。对贵州小檗属植物水平分布、垂直分布特点进行了分析,小檗属植
《关于费尔巴哈的提纲》距今已有170多年了,其蕴含了马克思关于人与自然关系的重要思想,它的时代价值和基本精神至今引发深思。马克思通过对旧哲学的批判分析,引导我们从实践
本刊讯 “从1．2米的高度，作摔包测试，100个水泥袋子，无破损”。3月28日，岳阳林纸公司将江华海螺水泥有限公司测试的80克／平方米伸性纸袋纸使用情况，第一时间传递给了销售公司全体销
非线性气动模型结构确定是飞行器参数辨识中极其重要的问题。首先给出了非线性气动模型的数学描述,在此基础上,以导弹纵向及侧向运动方程为例,首次系统地分析了有控飞行器非