【摘 要】
：
描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为
【机 构】
：
黔南民族师范学院数学系,毕节学院逻辑、语言与认知研究中心,广西师范大学计算机科学与信息工程学院
论文部分内容阅读
描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含（LCS）推理机制的研究现状和存
其他文献
目的探究脑卒中后抑郁患者接受氟哌噻吨美利曲辛片治疗的临床效果。方法 80例脑卒中后抑郁患者,采用奇偶数分组法分成对照组和实验组,各40例。对照组患者接受综合治疗,实验组
1背景糖类是人体主要营养来源之一,人体的消耗要以糖类氧化后产生的热能来维持,人体活动所需的能量大约有70%是靠糖类供给的,食糖不仅是人类生活的必需品,同时也是饮料、糖果
目的：探讨附子炮制前后生物碱变化情况与毒性变化及对小鼠氯仿致颤作用的抑制作用。方法：通过对附子生、炮品及提取生物碱急性毒性实验及相应氯仿致颤实验探讨炮制过程中附子化
宜賓一家医药企业主要经营医药用品，为宜宾各大公立医院、药房、诊所提供上游药品等物资的供货。眼前正是各类防疫药品短缺的时候，随着防疫药物需求量不断增大，公司进购药品碰到了资金周转问题。金江农商银行了解到这一情况后，第一时间主动联系该医药企业，在企业提出信贷申请后，该行按照“特事特办、急事急办”的原则，立即开展贷前调查，连夜为其制定授信方案，专门为其开设信贷“绿色通道”，简化办贷流程，缩短审批链条，保
2019年8月30日,国家市场监督管理总局、国家标准化管理委员会发布中华人民共和国国家标准公告(2019年第10号),其中《信息安全技术路由器安全技术要求》《信息安全技术数据库
拟柱孢藻(Cylindrospermopsis raciborskii)和角星鼓藻(Staurastrum spp.)是热带亚热带浮游植物群落中的常见优势种类,为了解铁对2种浮游植物季节动态和生长的影响,本文通过
采用等精度原理设计的测频仪,克服了常规测频方法的±1误差,具有测量范围宽,精度高的特点,重点讨论了具体实现方法.
初中数学教学中自主学习理念的融入，不仅是新课程标准的一个重--求，同时也是提高初中学生综合能力的关键。本文详细分析了在数学教学中如何渗透自主学习理念，以达到提高学生综合
电力监控系统是用于监视和控制电力生产及供应过程的、基于计算机及网络技术的业务系统及智能设备,作为基础支撑的通信及数据网络,其安全性关系到国家战略安全。本文结合近年