期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
模糊描述逻辑FALNUI的tableaux推理 被引量:7
1
作者 蒋运承 汤庸 +1 位作者 王驹 申宇铭 《计算机研究与发展》 EI CSCD 北大核心 2007年第8期1309-1316,共8页
分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑table... 分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑tableaux的FALNUI的可满足性推理算法,证明了该推理算法的正确性,以及提出了FALNUI的Tbox扩展和去除方法,证明了FAL-NUI的包含推理问题可以转化为可满足性推理问题,并给出了FALNUI的包含推理算法.FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础. 展开更多
关键词 描述逻辑 模糊描述逻辑 FALNUI tableaux 推理算法 模糊ER模型
下载PDF
D3L(ccy)的属性及分布式Tableaux推理算法的研究 被引量:1
2
作者 赵晓非 田东平 +1 位作者 张文波 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2014年第3期570-579,共10页
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式... 分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统);通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础. 展开更多
关键词 分布式动态描述逻辑 知识传播 组合一致性 分布式推理 tableaux推理算法 DISTRIBUTED DYNAMIC DESCRIPTION LOGICS (D3L)
下载PDF
三段式嵌套顺序统计量的分布及应用
3
作者 樊湉航 孙平 《许昌学院学报》 CAS 2024年第5期19-24,共6页
顺序统计量在非参数统计分析中有着广泛的应用,嵌套顺序统计量的分布则依赖于具体的嵌套结构以及随机变量的分布特性.在研究三段式嵌套顺序统计量的分布时,可以将问题转化为嵌套积分,通过对相应的嵌套单形进行多重积分得到三段式嵌套顺... 顺序统计量在非参数统计分析中有着广泛的应用,嵌套顺序统计量的分布则依赖于具体的嵌套结构以及随机变量的分布特性.在研究三段式嵌套顺序统计量的分布时,可以将问题转化为嵌套积分,通过对相应的嵌套单形进行多重积分得到三段式嵌套顺序统计量的分布.这种分析方法的应用十分广泛,由于Standard Young Tableaux (SYT)的每一行对应一组独立的顺序统计量,因此文章将其应用于SYT的计数问题.此外,文章还将三段式嵌套顺序统计量的分布应用于选票问题. 展开更多
关键词 顺序统计量 多重积分 Standard Young tableaux
下载PDF
基于描述逻辑的推理系统设计与实现 被引量:8
4
作者 文坤梅 卢正鼎 +2 位作者 吴杰文 李瑞轩 孙小林 《小型微型计算机系统》 CSCD 北大核心 2008年第1期57-60,共4页
语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义... 语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力. 展开更多
关键词 语义WEB 描述逻辑 tableaux算法 推理系统
下载PDF
支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) 被引量:11
5
作者 王海龙 马宗民 +1 位作者 严丽 程经纬 《计算机学报》 EI CSCD 北大核心 2009年第8期1511-1524,共14页
分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数... 分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础. 展开更多
关键词 模糊描述逻辑 F-SHOIQ(G) 模糊数据类型表示 tableaux算法 自定义模糊数据类型谓词
下载PDF
Vague ALC(D):一种基于vague集的模糊描述逻辑 被引量:2
6
作者 王星 马宗民 +1 位作者 吕艳辉 王海龙 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第11期1556-1559,1580,共5页
针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度... 针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度区间来表示模糊知识的vague集,给出了vague ALC(D)的语法和语义,指出了它的推理问题,同时也给出了相应的tableaux算法.vague ALC(D)能够更准确地表示和推理含有数值信息的模糊知识,增强了模糊描述逻辑的表达能力和推理能力. 展开更多
关键词 语义WEB 描述逻辑 VAGUE集 具体域 vagueALC(D) tableaux算法
下载PDF
基于描述逻辑的领域本体知识逻辑检测 被引量:2
7
作者 朱利君 张友华 +2 位作者 李绍稳 程波波 吉喆 《农业网络信息》 2008年第9期138-141,共4页
对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证... 对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证了本体逻辑定义的有效性、完备性,为茶虫害本体的评价和二次开发以及后期应用奠定基础。 展开更多
关键词 茶虫害本体 描述逻辑 tableaux算法 Pellet推理机 逻辑检测
下载PDF
模态逻辑S_5的表推演系统TS_5
8
作者 施庆生 宫宁生 何嘉鹏 《南京建筑工程学院学报》 1996年第1期29-33,共5页
进一步讨论关于正规模态逻辑S_5的自动定理证明理论与方法.给出了正规模态逻辑S_5的表推演(Tableau)系统TS_(?).证明了该系统的可靠性与完备性。
关键词 模态逻辑 表推演 自动定理证明 TS5
下载PDF
FIX软件在燃输系统中的应用
9
作者 赵洁红 《长春工程学院学报(自然科学版)》 2001年第3期65-67,共3页
针对目前火电厂中燃输程控系统采用PLC和上位机两种控制的状况,围绕着系统中监控画面的切换问题,提出了键击宏脚本、画面脚本、按钮脚本等多种方式来实现画面的切换,并且利用FIX软件提供的SIM仿真驱动程序来实现现场的仿真调试,实现了... 针对目前火电厂中燃输程控系统采用PLC和上位机两种控制的状况,围绕着系统中监控画面的切换问题,提出了键击宏脚本、画面脚本、按钮脚本等多种方式来实现画面的切换,并且利用FIX软件提供的SIM仿真驱动程序来实现现场的仿真调试,实现了燃输系统的自动控制。 展开更多
关键词 燃输系统 监控画面切换 FIX软件 SIM仿真驱动程序
下载PDF
基于语义框架填充过程的语义相似度计算
10
作者 李翠曼 黄广君 《计算机工程与设计》 CSCD 北大核心 2013年第11期4072-4076,共5页
为了解决传统相似度计算结果准确度较低的问题,提出了一种基于语义框架填充过程的语义相似度计算方法。在知识表示层面利用语义框架为两个文档之间的相似度评价建立相似语境,该框架采用多层次语义槽表示文档的信息结构和内容。通过逻辑... 为了解决传统相似度计算结果准确度较低的问题,提出了一种基于语义框架填充过程的语义相似度计算方法。在知识表示层面利用语义框架为两个文档之间的相似度评价建立相似语境,该框架采用多层次语义槽表示文档的信息结构和内容。通过逻辑推理将语义框架中缺省的语义槽信息进行挖掘,进而计算出两者的相似度。实验结果表明,该方法相比传统的基于词频的相似度计算方法在相似度结果准确性方面有显著的提高。 展开更多
关键词 文本检索 描述逻辑 框架表示法 相似度计算 推理规则 tableaux算法
下载PDF
Root-Patterns to Algebrising Partitions
11
作者 Rex L. Agacy 《Advances in Pure Mathematics》 2015年第1期31-41,共11页
The study of the confluences of the roots of a given set of polynomials—root-pattern problem— does not appear to have been considered. We examine the situation, which leads us on to Young tableaux and tableaux repre... The study of the confluences of the roots of a given set of polynomials—root-pattern problem— does not appear to have been considered. We examine the situation, which leads us on to Young tableaux and tableaux representations. This in turn is found to be an aspect of multipartite partitions. We discover, and show, that partitions can be expressed algebraically and can be “differentiated” and “integrated”. We show a complete set of bipartite and tripartite partitions, indicating equivalences for the root-pattern problem, for select pairs and triples. Tables enumerating the number of bipartite and tripartite partitions, for small pairs and triples are given in an appendix. 展开更多
关键词 COMBINATORICS PARTITIONS Polynomials Root-Patterns tableaux
下载PDF
Tableau Systems for Paraconsistency and Minimal Inconsistency 被引量:1
12
作者 林作铨 sxx0.math.pku.edu.cn 《Journal of Computer Science & Technology》 SCIE EI CSCD 1998年第2期174-188,共15页
In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of... In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided. 展开更多
关键词 tableaux logic of paradox paraconsistent logic minimal inconsistency nonmonotonic logic CIRCUMSCRIPTION
原文传递
Young tableaux and crystal base for U_q(osp(1|2n))
13
作者 JunLi Liu ShiLin Yang 《Science China Mathematics》 SCIE 2010年第2期291-305,共15页
Let Uq(osp(1|2n)) be the quantized enveloping superalgebra corresponding to the Lie superalgebra osp(1|2n). In terms of semistandard Young tableaux satisfying some additional conditions, a realization of crystal graph... Let Uq(osp(1|2n)) be the quantized enveloping superalgebra corresponding to the Lie superalgebra osp(1|2n). In terms of semistandard Young tableaux satisfying some additional conditions, a realization of crystal graph of finite-dimensional irreducible modules of Uq(osp(1|2n)) is given. Also, the generalized LittlewoodRichardson rule for tensor product of crystal graphs is established. 展开更多
关键词 QUANTUM group CRYSTAL base YOUNG DIAGRAM YOUNG tableaux
原文传递
DIRECT PROOF OF THE DETERMINANT EXPRESSION FOR FLAGGED SKEW TABLEAUX
14
作者 初文昌 《Acta Mathematicae Applicatae Sinica》 SCIE CSCD 1992年第4期318-322,共5页
Flagged skew tableaux are generalizationa of Young tableaux in which each row (column)has an upper and lower bound on the entries. It has been shown that they are enumerated byflagged skew Schur functions. By introduc... Flagged skew tableaux are generalizationa of Young tableaux in which each row (column)has an upper and lower bound on the entries. It has been shown that they are enumerated byflagged skew Schur functions. By introducing the dominance technique, we preeent an alternateproof for this conclusion directly. 展开更多
关键词 DIRECT PROOF OF THE DETERMINANT EXPRESSION FOR FLAGGED SKEW tableaux
原文传递
面向语义Web的描述逻辑 被引量:15
15
作者 蒋运承 汤庸 +1 位作者 王驹 周生明 《模式识别与人工智能》 EI CSCD 北大核心 2007年第1期48-54,共7页
分析描述逻辑 SHOIQ(D)与语义 Web 的关系,特别是 SHOIQ(D)与语义 Web 本体语言的等价性.但由于SHOIQ(D)的复杂性,目前只给出它的语法和语义,还没有研究给出它的推理机制.在描述逻辑 SHOIQ 推理机制的基础上,首先提出 SHOIQ(D)的 tablea... 分析描述逻辑 SHOIQ(D)与语义 Web 的关系,特别是 SHOIQ(D)与语义 Web 本体语言的等价性.但由于SHOIQ(D)的复杂性,目前只给出它的语法和语义,还没有研究给出它的推理机制.在描述逻辑 SHOIQ 推理机制的基础上,首先提出 SHOIQ(D)的 tableaux 的概念.然后重点研究基于 tableaux 的 SHOIQ(D)的推理机制,提出SHOIQ(D)-tableaux 推理算法,并证明该算法的正确性. 展开更多
关键词 语义WEB 描述逻辑 SHOIQ(D) tableaux算法
原文传递
On Increasing Subsequences of Minimal ErdSs-Szekeres Permutations
16
作者 Zhong Gen SU 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2011年第8期1573-1580,共8页
Let π be a minimal ErdSs-Szekeres permutation of 1, 2,..., n^2, and let ln,k be the length of the longest increasing subsequence in the segment (πr(1),...,π(k)). Under uniform measure we establish an exponent... Let π be a minimal ErdSs-Szekeres permutation of 1, 2,..., n^2, and let ln,k be the length of the longest increasing subsequence in the segment (πr(1),...,π(k)). Under uniform measure we establish an exponentially decaying bound of the upper tail probability for ln,k, and as a consequence we obtain a complete convergence, which is an improvement of Romik's recent result. We also give a precise lower exponential tail for ln,k. 展开更多
关键词 Large deviation minimal Erd6s-Szekeres permutation Robinson-Schensted-Knuth cor- respondence Young tableaux
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部