首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 875 毫秒

1.  描述逻辑εL循环术语集的混合推理  
   蒋运承  王驹  周生明  汤庸《计算机研究与发展》,2009年第46卷第1期
   循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义).针对εL循环术语集混合推理的需要.提出了TBox-完全的概念,并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.    

2.  描述逻辑εL混合循环术语集的LCS和MSC推理  被引次数:2
   蒋运承  王驹  周生明  汤庸《软件学报》,2008年第19卷第10期
   分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.    

3.  描述逻辑εL循环术语集的保守扩充  
   王勇红  申宇铭  聂登国  王驹《计算机科学》,2017年第44卷第Z11期
   在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的。如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响。Lutz 等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的。在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题。首先,给出了循环术语集在最大不动点语义下的保守扩充的充分条件是两个TBox 具有相同的原始概念,并论证了该算法是多项式时间复杂的。其次,给出最大不动点模型来处理循环术语集的保守扩充,并论证了该算法是指数时间复杂的。    

4.  带RVM的描述逻辑εL混合循环术语集的语义及推理  
   蒋运承  王驹  周生明  汤庸《模式识别与人工智能》,2008年第21卷第1期
   分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的.    

5.  描述逻辑εL混合循环术语集的LCS和MSC推理  被引次数:1
   蒋运承  王 驹  周生明  汤 庸《软件学报》,2008年第19卷第10期
   分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为(L混合循环术语集的LCS和MSC推理提供了理论基础.    

6.  命题μ-演算全局模型检测的高效算法设计  
   江华《计算机研究与发展》,2010年第47卷第8期
   在Long, Browne, Jha 和 Marrero等人工作的基础上,详细分析了用Tarski不动点定理计算不动点交替嵌套深度为4的命题μ-演算公式的计算过程,找到了计算中间结果间具有的两组偏序关系,利用这两组偏序关系设计了一个高效的命题μ-演算全局模型检测算法,该算法与Long等人提出的算法有相似的时间复杂度(O((2n+1)- d/2 - +1)相对于O(n- d/2 - +1)),但空间复杂度有很大的改进(O(dn)相对于O(n- d/2 - +1)),其中n是变迁系统的状态规模,d是命题μ-演算公式中不动点算子的嵌套深度.算法性能的改进对于命题μ-演算模型检测技术的理论研究与实际推广应用都意义重大.    

7.  λ演算中的第二不动点定理*  
   宋方敏《软件学报》,1996年第7卷第Z1期
   作者研究λ演算中的第二不动点的性质.首先讨论关于第二不动点的3个命题之间的关系且证明了它们.然后为第二不动点组合子给以一个充分条件且作出一系列的第二不动点组合子.作者还提出和证明了多元第二不动点定理.    

8.  基于本体的多域访问控制策略集成研究  
   李瑞轩  赵战西  文坤梅  孙小林  王治纲《小型微型计算机系统》,2007年第28卷第9期
   本体是共享概念模型的形式化规范说明,是一种能在语义和知识层次上描述信息系统概念模型的建模工具,为解决多域环境中的安全互操作提供了一种新的方法.使用本体及其描述语言,对基于角色的访问控制策略进行了描述,形成一个概念和属性的公理集合(TBox),并采用ALCN(含有个数限制和补算子的描述逻辑语言)对TBox进行形式化的描述.利用域间角色映射方法来解决多域访问控制策略的集成.使用基于规则的推理技术,定义多域访问控制中的一系列推理规则,实现访问控制领域的推理.基于前述方法实现了OntoAC系统,实验结果表明该方法是有效的.    

9.  描述逻辑系统vL循环术语集的可满足性及推理机制  
   王驹  蒋运承  申宇铭《中国科学F辑:信息科学》,2009年第2期
   文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方向.首先定义了描述逻辑的子系统vL,重新定义描述图G_T和G_J,使用互模拟的方法,给出了描述逻辑系统vL循环TBox非平凡的模型存在的、基于描述图的一个语法条件.证明:vL的包含推理算法是多项式时间复杂的.    

10.  gfp-模型的描述逻辑FLε的循环术语集推理  
   覃俊明  耿继兵  王驹  蒋运承《计算机工程与应用》,2010年第46卷第12期
   描述逻辑(DL)一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的。首先给出描述逻辑系统FLε有最大不动点模型的证明,然后初步探讨基于最大不动点语义下描述逻辑系统FLε循环定义的包含关系推理算法,并给出算法的可靠性和完全性证明。    

11.  冻融循环下粉质黏土的动力损失模型  被引次数:1
   戴文亭  魏海斌  刘寒冰  高一平《吉林大学学报(工学版)》,2007年第37卷第4期
   通过冻融循环后的粉质黏土的动三轴试验,研究了粉质黏土作为路基填料的动力特性,得出了动强度和循环荷载次数及冻融循环次数的数量关系和动模量与冻融循环次数的关系曲线。建立了动模量损失模型,能够预测每一次冻融循环后的动强度和最大动模量。通过与试验对比可知,预测模型具有较高的精度,可以用来评估冻融循环对粉质黏土路基使用寿命的影响。    

12.  支持模糊隶属度比较的扩展模糊描述逻辑  被引次数:1
   康达周  徐宝文  陆建江  李言辉《软件学报》,2008年第19卷第10期
   语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept description language with complements and number restriction)概念构造子的扩展模糊描述逻辑FCALCN(fuzzy comparable ALCN).FCALCN引入新的原子概念形式以支持模糊隶属度比较.给出FCALCN的推理算法,证明了在空TBox约束下FCALCN的推理问题复杂性是多项式空间完全的.FCALCN能够表达语义Web上涉及模糊隶属度比较的复杂模糊知识并实现对它们的推理.    

13.  循环喷动流化床固体循环速率的控制  被引次数:1
   李宝霞  王士才  张济宇《化学工业与工程技术》,2002年第23卷第3期
   通过研究操作条件对固体循环速率的影响 ,提出了新型的固体循环速率的双阀控制理论模型 ,基于循环喷动流化床中颗粒循环推动力的分析 ,得出了预测循环喷动流化床中固体循环速率最大值的方法    

14.  关于循环终止性证明的一种最小不动点方法  
   宋炜《南昌大学学报(工科版)》,1991年第1期
   本文分析了循环终止性的特点,给出了实WHILE语句模型,简要地叙述了最小不动点理论,并结合到实循环函数上讨论了终止性的证明。    

15.  λ—Fuzzy映射的公共不动点定理  
   林强《电机与控制学报》,1994年第3期
   本文研究满足非扩张条件的λ-Fuzzy映射族具有公共不动点的问题,推广了Bose和Sahani的结论。    

16.  描述逻辑FL-循环术语集的语义及推理  
   蒋运承  王驹  邓培民  汤庸《计算机学报》,2008年第31卷第2期
   循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL~-循环术语集的语义及推理问题.给出了FL~-循环术语集的语法、语义和不动点模型的构造方法.针对FL~-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL~-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.    

17.  λ—Fuzzy映射的公共不动点定理  
   林强《哈尔滨电工学院学报》,1994年第17卷第3期
   本文研究满足非扩张条件的λ-Fuzzy映射族具有公共不动点的问题,推广了Bose和Sahani结论。    

18.  模糊描述逻辑(&)-ALCN  被引次数:1
   李淑英  李梅  蒋运承  王驹  刘真环《计算机研究与发展》,2008年第45卷第4期
   为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的(&)-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的(&)-ALCN系统,给出了(&)-ALCN的语法,并详细给出了概念(≥n R)和(≤n R)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合D(&)(c),并且利用集合D(&)(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于(&)-ALC,系统(&)-ALCN具有更强的表达能力,并且(&)-ALCN的计算复杂度是Pspace完全的.    

19.  模糊描述逻辑L-ALCN  
   李淑英  李梅  蒋运承  王驹  刘真环《计算机研究与发展》,2008年第45卷第4期
   为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了望ALCN的语法,并详细给出了概念(≥n R)和(≤n R)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色尺就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合DL(c),并且利用集合DL(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于L-ALC,系统L-ALCN具有更强的表达能力,并且L-ALCN的计算复杂度是Pspace完全的.    

20.  关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义  
   刘富春《计算机科学》,2006年第33卷第4期
   逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例,指出了文[7]中关于否定完备化程序Comp(→,Pr)和蕴涵完备化程序Comp(→,Pr)的两个重要定理都存在一定程度的错误。然后对这两个定理进行了修改,用后继算予Tpt和Fitting算予FPr的不动点语义,分别给出了否定完备化程序(Somp(→,Pr)和蕴涵完备化程序Comp(→,Pr)的Herbrand模型的充分条件和必要条件,这将在逻辑程序的最优不动点和最小不动点的语义研究中有着重要的应用价值。    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号