基于描述树方法描述逻辑VL的包含推理

来源 :贵州工程应用技术学院学报 | 被引量 : 0次 | 上传用户:yhb819
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
描述逻辑是一族知识表示的语言,以形式化、结构化的方式表示相应的应用领域。描述逻辑VL非循环术语集的包含推理,通过将描述逻辑VL非循环术语集包含推理问题转化为描述树之间的同态问题,证明VL非循环术语集的包含推理问题是多项式时间复杂的。
其他文献
针对工程车出库前准备作业,对人工撤除铁鞋存在的漏洞进行简要的分析,并且浅析了地铁工程车铁鞋管理优化的技术方案以及实施后的优化效果。
学者们对“教育家”问题的研究已经取得了一些成果,达成了一些共识,但是由于大多数学者在标准问题上坚持教育家必须同时在教育理论和教育实践两方面都作出突出贡献,加上其他一些
浅议历史教师的群体素质梁励完成历史教育任务,提高历史教学质量,不仅依赖于历史教师个体素质的优劣,也取决于历史教师群体素质的好坏。苏联著名教育家马卡连柯曾指出:“如果教师
一、入选CSSCI来源期刊、全国中文核心期刊。二、2(-108年3月20日,召开发展咨询会。会议由校党委书记郝翔教授主持,校长张锦高教授出席并作了重要指示。李正元主编向与会专家介
教育在社会主义市场经济的大潮之下,正进行大规模的改革。我们的教育操作,特别是思想品德教育的操作,如何为培养跨世纪的人才,有诸多问题值得深入研究。1996年10月,《中共中央关于加强社
应重视课堂听、说训练周似玉培养学生的听说能力是中学语文教学的任务之一,虽然它在目前的升学考试中显示不出什么优势,可在现实生活中却是不可缺少的。改革开放政策给社会带来
“文化与传播研究”自2009年第1期正式推出以来,受到了海内外学术单位的热情关注。著名学者童兵、罗以澄、马敏、(法)皮埃尔·索尔兰等,以及张殿元、胡翼青等70后青年才俊踊
随着我国经济的快速发展,能源短缺的问题成为限制我国经济发展的关键因素之一,要想使其得到最大的改善,就需要高效利用生物发电技术,本文主要以国能惠民生物发电有限公司为例
在生活中常常会出现“有理说不清”,针对别人的诡辩好像无从下手。不妨利用归谬法进行反驳,以其人之道还治其人之身,这是非常有效的一种驳斥方式。归谬可以从论题、论据、论
目的:探讨损伤控制外科理念下腹腔镜胆囊开窗次全切除术+大网膜填塞治疗Calot三角冰冻萎缩性胆囊炎的手术要点及应用价值。方法:回顾分析2010年10月至2015年10月收治的26例Calot