期刊文献+
共找到33篇文章
< 1 2 >
每页显示 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
Young tableaux and crystal base for U_q(osp(1|2n))
3
作者 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
4
作者 初文昌 《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
原文传递
移位U型标准杨表计数公式
5
作者 付尧 孙平 姜淞水 《南通大学学报(自然科学版)》 CAS 2023年第2期86-94,共9页
研究了移位U型半封闭模型标准杨表的计数问题,该模型由U型半封闭模型在西南角的第一个单元格向东北角折叠得到。根据嵌套顺序统计量与标准杨表之间的对应关系,将标准杨表计数问题转化为相应的嵌套单形计算问题,运用多重积分的求解方法,... 研究了移位U型半封闭模型标准杨表的计数问题,该模型由U型半封闭模型在西南角的第一个单元格向东北角折叠得到。根据嵌套顺序统计量与标准杨表之间的对应关系,将标准杨表计数问题转化为相应的嵌套单形计算问题,运用多重积分的求解方法,通过积分区域的划分得到标准杨表的数目;再利用组合恒等式、组合求和公式和卡特兰数对计数结果进行化简整理,得到该模型的标准杨表计数公式;最后,针对m=1时的情况,给出了该类型标准杨表在特殊情况下的结论。 展开更多
关键词 标准杨表 嵌套顺序统计量 组合数 多重积分
下载PDF
基于描述逻辑的推理系统设计与实现 被引量:8
6
作者 文坤梅 卢正鼎 +2 位作者 吴杰文 李瑞轩 孙小林 《小型微型计算机系统》 CSCD 北大核心 2008年第1期57-60,共4页
语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义... 语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力. 展开更多
关键词 语义WEB 描述逻辑 tableaux算法 推理系统
下载PDF
支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) 被引量:11
7
作者 王海龙 马宗民 +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
两类空心阶梯型标准杨表的计数
8
作者 李秋营 白建侠 《云南师范大学学报(自然科学版)》 2023年第5期29-35,共7页
通过嵌套顺序统计量与标准杨表之间的对应关系,将标准杨表的计数问题转化成相应嵌套顺序统计量上的多重积分问题,结合组合恒等式给出了近似直角梯形的空心阶梯型标准杨表的一般求和表示,并证明了一个关于平移阶梯型标准杨表数量的猜想.
关键词 标准杨表 空心阶梯型 多重积分 CATALAN数
下载PDF
Vague ALC(D):一种基于vague集的模糊描述逻辑 被引量:2
9
作者 王星 马宗民 +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
10
作者 朱利君 张友华 +2 位作者 李绍稳 程波波 吉喆 《农业网络信息》 2008年第9期138-141,共4页
对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证... 对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证了本体逻辑定义的有效性、完备性,为茶虫害本体的评价和二次开发以及后期应用奠定基础。 展开更多
关键词 茶虫害本体 描述逻辑 tableaux算法 Pellet推理机 逻辑检测
下载PDF
悖论逻辑的表演算 被引量:3
11
作者 林作铨 李未 《软件学报》 EI CSCD 北大核心 1996年第6期345-353,共9页
悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下... 悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑.LP和LPm原来都只给出语义定义,虽然已有LP的证明论,但如何得到一个LPm的证明论仍是一个未解问题.本文提出了一种可靠与完全的表演算作为LP与LPm的证明论. 展开更多
关键词 表演算 超协调逻辑 悖论逻辑 计算机
下载PDF
基于开放世界预设的3—值逻辑的列表证明系统 被引量:2
12
作者 郭佳宏 鞠实儿 《中山大学学报(社会科学版)》 CSSCI 北大核心 2004年第5期55-59,共5页
鞠实儿等(2003)在开放世界预设和真值条件理论基础上,构造了3-值语句演算系统SLO及其形式语义理论。该文采用Priest(2001)列表证明的表述形式,结合Fitting(1995)多值逻辑列表证明实质,克服两者的一些缺陷,给出了一种改良的3-值逻辑列表... 鞠实儿等(2003)在开放世界预设和真值条件理论基础上,构造了3-值语句演算系统SLO及其形式语义理论。该文采用Priest(2001)列表证明的表述形式,结合Fitting(1995)多值逻辑列表证明实质,克服两者的一些缺陷,给出了一种改良的3-值逻辑列表证明方法。针对SLO的形式语义,该文给出各个联结词的列表证明规则,构造出列表证明系统SLO*,并且证明了这一系统相对SLO语义是可靠的和完全的。 展开更多
关键词 开放世界 SLO 列表证明 SLO
下载PDF
语义树方法及其可靠性和完备性 被引量:1
13
作者 李舟军 王兵山 《国防科技大学学报》 EI CAS CSCD 北大核心 1994年第3期49-53,共5页
Andrews在《AnIntroductiontoMathematicalLogicandTypeTheory:ToTruthThroughProof》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中... Andrews在《AnIntroductiontoMathematicalLogicandTypeTheory:ToTruthThroughProof》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理(3201)及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。 展开更多
关键词 抽象协调类 语义树 可靠性 完备性
下载PDF
基于算子模糊逻辑的不确定程度计算 被引量:2
14
作者 程晓春 《软件学报》 EI CSCD 北大核心 1997年第7期525-534,共10页
本文提出并比较了在信度语义下,计算算子模糊逻辑中公式(集)模糊程度的3种方法——归结法、广义归结法和TABLEAU方法.
关键词 算子模糊逻辑 可信度 归结 TABLEAU方法
下载PDF
基于语义框架填充过程的语义相似度计算
15
作者 李翠曼 黄广君 《计算机工程与设计》 CSCD 北大核心 2013年第11期4072-4076,共5页
为了解决传统相似度计算结果准确度较低的问题,提出了一种基于语义框架填充过程的语义相似度计算方法。在知识表示层面利用语义框架为两个文档之间的相似度评价建立相似语境,该框架采用多层次语义槽表示文档的信息结构和内容。通过逻辑... 为了解决传统相似度计算结果准确度较低的问题,提出了一种基于语义框架填充过程的语义相似度计算方法。在知识表示层面利用语义框架为两个文档之间的相似度评价建立相似语境,该框架采用多层次语义槽表示文档的信息结构和内容。通过逻辑推理将语义框架中缺省的语义槽信息进行挖掘,进而计算出两者的相似度。实验结果表明,该方法相比传统的基于词频的相似度计算方法在相似度结果准确性方面有显著的提高。 展开更多
关键词 文本检索 描述逻辑 框架表示法 相似度计算 推理规则 tableaux算法
下载PDF
置换杨图的组合性质及其应用
16
作者 孙毅 孟吉翔 胡莹莹 《河南师范大学学报(自然科学版)》 CAS 北大核心 2015年第3期5-10,共6页
置换杨图本质上是A.Postnikov在研究完全非负Grassnann元胞及其元胞分解时所定义的]-图(]-diagram)的一个子集.它的发现引起许多组合学者的关注和研究,其中L.K.Williams和E.Steingrí-sson是最先关注这类组合结构的,他们在研究它的... 置换杨图本质上是A.Postnikov在研究完全非负Grassnann元胞及其元胞分解时所定义的]-图(]-diagram)的一个子集.它的发现引起许多组合学者的关注和研究,其中L.K.Williams和E.Steingrí-sson是最先关注这类组合结构的,他们在研究它的组合性质时发现了它与置换群之间存在着一一对应关系Ψ.从置换杨图本身的结构出发按照行递归的方式给出了Ψ是一一映射的一个新方法,利用这种方法可简单地将任意的一个排列π∈Sn分解成若干圈的乘积形式,并且每个圈中的元素都是按递减顺序排列. 展开更多
关键词 置换杨表 排列 双射
下载PDF
标记逻辑的TABLEAU判定过程
17
作者 程晓春 刘叙华 《软件学报》 EI CSCD 北大核心 1996年第11期698-705,共8页
标记逻辑是一种重要的次协调逻辑,和|≈是标记逻辑中的2种推理关系.二者都是次协调的,可以用统一的方法处理一致的知识与不一致的知识,是单调的,有基于归结的证明论,但不能保持经典逻辑中合理的推理,如三段论.|≈是非单... 标记逻辑是一种重要的次协调逻辑,和|≈是标记逻辑中的2种推理关系.二者都是次协调的,可以用统一的方法处理一致的知识与不一致的知识,是单调的,有基于归结的证明论,但不能保持经典逻辑中合理的推理,如三段论.|≈是非单调的,在前提一致时等价于经典逻辑的推理关系,但缺少有效的证明论. 展开更多
关键词 标记逻辑 TABLEAU方法 次协调逻辑 人工智能
下载PDF
形状为(n,n)标准杨表的一个双射
18
作者 胡莹莹 熊义财 孙毅 《黑龙江大学自然科学学报》 CAS 2022年第1期24-29,共6页
卡塔兰数在组合学和概率论中无处不在。首先利用组合学中标准杨表的钩长公式发现形状为(n,n)的标准杨表的个数恰好是卡塔兰数。借助RSK算法发现,至多只有两行的同形状的成对标准杨表的个数也是卡塔兰数。因此,这两个集合之间必定存在某... 卡塔兰数在组合学和概率论中无处不在。首先利用组合学中标准杨表的钩长公式发现形状为(n,n)的标准杨表的个数恰好是卡塔兰数。借助RSK算法发现,至多只有两行的同形状的成对标准杨表的个数也是卡塔兰数。因此,这两个集合之间必定存在某种一一对应关系。本文将给出一个这样的一一映射。 展开更多
关键词 一一映射 卡塔兰数 杨图 标准杨表
下载PDF
多设备平行移动方式表上作业法的探讨
19
作者 贾春玉 王云彬 《宁波工程学院学报》 2008年第1期20-22,共3页
传统平行移动方式模型之探讨每道工序只有一台设备时生产周期计算,没有考虑每道工序具有多台设备时的解法,与多数实际情况不相符,因此严重影响其实际应用。为了解决这一问题,提出表上作业法,该方法既借助网络图理论又避开其画图繁琐,方... 传统平行移动方式模型之探讨每道工序只有一台设备时生产周期计算,没有考虑每道工序具有多台设备时的解法,与多数实际情况不相符,因此严重影响其实际应用。为了解决这一问题,提出表上作业法,该方法既借助网络图理论又避开其画图繁琐,方法简便易行,效果良好。 展开更多
关键词 生产作业 排序 平行移动方式 表上作业法
下载PDF
Root-Patterns to Algebrising Partitions
20
作者 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
上一页 1 2 下一页 到第
使用帮助 返回顶部