论文部分内容阅读
首先我们在F Baader给出的εL概念描述树基础上给出了εLN中概念描述树的定义。然后定义了εLN中概念描述树之间的同态关系，最后通过计算两棵概念描述树之间的同态给出了εLN中概念之间的相互包合关系算法。
描述逻辑系统εLN中的概念包含推理算法研究
【摘 要】
：
首先我们在F Baader给出的εL概念描述树基础上给出了εLN中概念描述树的定义。然后定义了εLN中概念描述树之间的同态关系，最后通过计算两棵概念描述树之间的同态给出了εLN
【机 构】
：
黔南民族师范学院数学系,毕节学院逻辑、语言与认知研究中心
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2010年8期
【基金项目】
：
贵州省教育厅自然科学基金资助项目“含循环术语集描述逻辑系统推理机制研究”成果,项目编号：黔教科20090047,贵州省科学技术基金资助项目“描述逻辑系统的非标准推理研究”成果,项目编号：黔科合J字[2009]2068
其他文献
摘 要：如何完善招投标流程，总结招投标经验，在现代信息技术的支持下，在法律法规的保障下，实现招投标工作的信息化应是招标机构今后发展战略需要考虑的重要内容之一。 关键词：电子化；招标采购 对于大型中央企业而言，信息化在公司管理的扁平化、公司的流程再造、提高公司协同管理效率和降低管理成本方面都有显著的成效。实现招标采购信息化也会给企业的招标采购工作带来招标投标成本降低、效益提高和促进管理规范化等好
摘 要：在对造成船舶结构疲劳的原因以及影响疲劳寿命的因素进行分析的基础上，分别探讨了船舶结构疲劳强度分析过程中存在的应力集中系数的计算、S-N曲线的选择以及裂纹疲劳扩展模型的确定的问题，为船舶结构疲劳强度分析提供参考。 关键词：船舶；结构强度；裂纹扩展 1、造成船舶结构疲劳的原因及影响因素 1.1 造成船舶结构疲劳的原因 导致船体结构出现疲劳破坏的主要原因就是结构中存在的微裂纹，同时在结构
对于海上的油气田而言，海底管道就是其生命线，运行状况对油气田安全具有重要影响。而且和陆地的管道相比较，海底管道环境条件比较苛刻，而且维修、检测的难度也较大，只要出现事故就
运用文献资料、对比分析法、实验法、数理统计法、问卷调查法等研究方法,以毕节学院大学一年级男生为研究对象,通过对两个实验班和一个对照班进行对比实验教学研究。论证不同
我国绝大多数高校学报虽然都设立了编委会,但大多数形同虚设,未能对学报编辑出版起到应有的指导、监督和咨询等作用。要有效发挥编委会的作用,首先应组建一支优质高效的学者
随着无线通讯技术的发展，我国的各行各业都积极运用无线通讯技术来提高工作效率。现如今的通讯技术正在朝着相对科技化、多元化的方向发展。目前，国内外较为普遍的一种无线通讯
通过对捣固车自动引导系统工作环境的分析．选用CF卡做为系统的存储设备并选用平板电脑做为系统运行的硬件平台，选择Windows XP Embedded（XPE）做为平台运行的操作系统，并针对捣固车