基于自然推演下描述逻辑VL的形式化推理

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