收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

描述逻辑系统UEVN中概念的包含算法

曹发生  
【摘要】:描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,这篇文章研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要务件。然后通过描述树的同态给出包含算法。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 胡鹤;杜小勇;;一种基于区间模糊理论的描述逻辑系统[J];华中科技大学学报(自然科学版);2005年S1期
2 余泉;甘晓丽;王驹;;循环ALCN-Tbox的模型构造[J];广西师范大学学报(自然科学版);2008年01期
3 高晓兵;李佳;曹发生;;一种格值的模糊动态描述逻辑[J];毕节学院学报;2010年04期
4 余泉;王驹;;模态描述逻辑的模型[J];南京大学学报数学半年刊;2007年02期
5 张维;曹发生;余泉;;描述逻辑系统εLN中的概念包含推理算法研究[J];毕节学院学报;2010年08期
6 ;車床搪孔軸綫坐标計算法[J];北京师范大学学报(自然科学版);1959年01期
7 江明德;;算法逻辑图式与数字自动装置的控制器模型[J];电子科技大学学报;1963年01期
8 费景高;具有实现误差的共轭梯度算法[J];计算数学;1980年03期
9 王松桂;线性回归模型中自变量选择问题[J];中国科学技术大学学报;1980年01期
10 越民义;;最优化情况介紹[J];曲阜师范大学学报(自然科学版);1980年04期
11 刘国光,李军杰;解大型结构特征值问题的同时迭代的一个新算法[J];航空学报;1982年01期
12 王则柯;关于Kuhn多项式求根算法的效率[J];科学通报;1982年13期
13 李燮璋;;关于矩阵Drazin逆的计算[J];上海师范大学学报(自然科学版);1982年03期
14 康立山;解数学物理问题的异步并行算法[J];数学物理学报;1983年04期
15 张光汉;;利用相关sum()(K)h(K+m)fromK=1toN'-1的FFT算法[J];西安理工大学学报;1984年01期
16 万迪生,黄有度;计算非正规Pad(?)e表的改进的qd算法[J];计算数学;1986年03期
17 蔡千;;生成全部K树的MINTY—DFS算法[J];广东工业大学学报;1986年02期
18 何利民;;Powell-Zangwill方法的改进及其收敛速率[J];运筹学学报;1986年01期
19 黄纯一,肖相武,陈超,翟忠和;关于极大似然估计的算法[J];黑龙江大学自然科学学报;1987年02期
20 关信,马昭彦,全一男;关于基本补划分的生成[J];电子学报;1987年02期
中国重要会议论文全文数据库 前10条
1 曹发生;;描述逻辑系统UEVN中概念的包含算法[A];“回顾与前瞻:中国逻辑史研究30年”全国学术研讨会论文集[C];2010年
2 吴凌坤;汤庸;汤娜;;一种基于时态描述逻辑的工资智能决策支持系统的实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
3 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年
4 秦成祥;;线性经济系统优化模型的算法及稳定性[A];系统工程与可持续发展战略——中国系统工程学会第十届年会论文集[C];1998年
5 范九伦;裴继红;谢维信;;区间值模糊c-均值聚类算法[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
6 程仕军;;具有变动汇率的外汇交易决策模型[A];1994中国控制与决策学术年会论文集[C];1994年
7 李双虎;赵会民;;聚类有效性分析[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
8 仇海全;曹炳元;;模糊线性规划的一种解法[A];中国运筹学会第八届学术交流会论文集[C];2006年
9 张宇宙;高红伟;王倩;代业明;;具有完美信息的有限扩展型合作对策特征函数的算法[A];中国运筹学会第八届学术交流会论文集[C];2006年
10 王若鹏;卓泽强;;支撑向量回归机的一种光滑化方法[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 张小旺;超协调描述逻辑[D];北京大学;2011年
2 唐煜;均匀设计的组合性质及其构作[D];苏州大学;2005年
3 Zhao Peixin;[D];山东大学;2005年
4 申远;一些求解结构型优化的一阶算法[D];南京大学;2012年
5 徐乐顺;N体问题周期解的变分算法[D];吉林大学;2006年
6 石磊;基于数据的学习:埃尔米特算法与黎曼流形上的法向量估计[D];中国科学技术大学;2010年
7 甘向阳;中外若干算法的比较研究[D];西北大学;2004年
8 赵亚莉;广义似变分不等式解的存在性和算法[D];大连理工大学;2006年
9 刘承水;基于数据挖掘的客户序位应用研究[D];华北电力大学(北京);2006年
10 盖玲;组合优化中的逆目标问题[D];浙江大学;2007年
中国硕士学位论文全文数据库 前10条
1 王勇红;描述逻辑εL循环术语集的保守扩充[D];广西师范大学;2012年
2 高晓兵;基于布尔格上的模糊动态描述逻辑(?)D-ALCN[D];广西师范大学;2010年
3 康旺强;轻量级描述逻辑FL_0的保守扩充[D];广西师范大学;2012年
4 聂登国;描述逻辑系统VL的保守扩充[D];广西师范大学;2012年
5 李佳;格值模糊描述逻辑(?)-ALCN中的Duquenne-Guigues基[D];广西师范大学;2010年
6 李淑英;模糊描述逻辑L-SI语义及推理的研究[D];广西师范大学;2007年
7 甘晓丽;基于描述逻辑的概念建模研究[D];广西师范大学;2006年
8 叶海锋;解鞍点问题的UZAWA算法及其收敛性分析[D];浙江大学;2005年
9 徐常伟;域,环,模上Grobner基的性质和算法[D];东北师范大学;2010年
10 戎文晋;最大独立集问题及其成长算法的研究[D];太原理工大学;2004年
中国重要报纸全文数据库 前10条
1 PALADIN;算法中的NP问题[N];电脑报;2003年
2 邵文海;破译古算之谜[N];吉林日报;2001年
3 记者:游雪晴 周清春 首席:高小山;数学机械化:用电脑解放人脑[N];科技日报;2004年
4 本报记者 陶世安;从数学古国迈向数学强国[N];人民日报海外版;2001年
5 记者 李斌 朱冬菊;中国托起数学机械化[N];新华每日电讯;2001年
6 新疆财经学院 潘丽;浅谈珠算的起源与发展[N];新疆科技报(汉);2001年
7 本报记者 陶春;计算机时代的东方数学[N];学习时报;2004年
8 郭书春(作者为中国科学院自然科学史所研究员);中国最早的数学著作《算数书》[N];中华读书报;2001年
9 王伍权;珠算的起源[N];财会信报;2007年
10 江志伟;古今中外话算盘[N];黄山日报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978