【摘 要】
：
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,
【机 构】
：
黔南民族师范学院数学系,广西师范大学数学科学学院,毕节学院逻辑与应用逻辑研究所,广西师范大学计算机科学与信息工程学院,华南师范大学计算机学院,中国科学院软件研究所计算机科学国家重点实验室
论文部分内容阅读
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,研究的是描述逻辑系统FLεN厂中的一种重要的非标准推理--概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLεN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.
其他文献
A series of Al-8.2Zn-2.1Mg-2.3Cu based as-cast alloys and some plates with thickness of 4 mm containing minor Sc and Zr were prepared. The effect of joint addit
针对当前互联网上流行的逢低买入拍卖机制,利用分布式ElGamal加密方案的同态引理在半诚实模型下设计了一个不使用拍卖行的拍卖协议,使买家在不泄露各自信息的情况下共同计算
省级电网和地区电网是国内分级调度体制中重要的两级电网,对省地两级电网安全稳定防御的协调性提出了更高要求。紧密结合电网运行的实际需要和电网发展趋势,阐述了省地两级电
最近几年中,领导理论研究的一个越来越明显的趋势,是对魅力型领导的研究焦点已转移到情绪智力的引入上.但是将下属情绪智力作为调节变量引入到魅力型领导行为而深入到中国企
针对视觉选择性注意模型化计算过程中不同特征在整合阶段的权值判定,提出一种基于特征图分布的权值估计方法,并在静态图像显著性区域提取中取得了令人满意的应用效果.首先提
This study focuses on revealing the relationship between uncertainty and investment probability through real option model involving investment critical trigger
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变
为了从实验上分析和验证H-S传感器测量M2因子方法,对使用双曲线拟合法测量M2因子和H-S传感器测量M2因子做了详细的实验研究,且对实验结果、实验误差进行了比较与分析.研究表