检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

描述逻辑FL-循环术语集的语义及推理

计算机学报 2008年第2期31卷 185-195页

作者：蒋运承王驹邓培民汤庸广西师范大学计算机科学与信息工程学院广西桂林541004 广西师范大学数学科学学院广西桂林541004 中山大学计算机科学系广州510275

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL^-循环术语集的语义及推理问题.给出了FL^... 详细信息

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

关键词：描述逻辑循环术语集不动点语义描述语义有限自动机

带RVM的描述逻辑εL混合循环术语集的语义及推理

在线全文

学校读者我要写书评

暂无评论

模式识别与人工智能 2008年第1期21卷 18-27页

作者：蒋运承王驹周生明汤庸广西师范大学计算机科学与信息工程学院桂林541004 中山大学计算机科学系广州510275

分析描述逻辑循环术语集的研究现状和存在的问题,在***和***的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-... 详细信息

分析描述逻辑循环术语集的研究现状和存在的问题,在***和***的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的.

关键词：描述逻辑混合循环术语集不动点语义描述语义关系-值-映射(RVM)

描述逻辑εL混合循环术语集的LCS和MSC推理

在线全文

学校读者我要写书评

暂无评论

软件学报 2008年第10期19卷 2483-2497页

作者：蒋运承王驹周生明汤庸广西师范大学计算机科学与信息工程学院广西桂林541004 中山大学计算机科学系广东广州510275

分析了描述逻辑循环术语集的研究现状和存在的问题,在***工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循... 详细信息

分析了描述逻辑循环术语集的研究现状和存在的问题,在***工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.

关键词：描述逻辑混合循环术语集不动点语义描述语义 LCS(least common subsumer) MSC(most specific concept)

在线全文

学校读者我要写书评

暂无评论

描述逻辑εL循环术语集的混合推理

计算机研究与发展 2009年第1期46卷 15-22页

作者：蒋运承王驹周生明汤庸广西师范大学计算机科学与信息工程学院广西桂林541004 中山大学计算机科学系广州510275

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL... 详细信息

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

关键词：描述逻辑循环术语集不动点语义描述语义混合推理

在线全文

学校读者我要写书评

暂无评论

基于本体的决策模型冲突预测及协商研究

计算机科学 2008年第7期35卷 161-165页

作者：张波向阳同济大学电子信息工程学院上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

依据模型知识的特性,定义了模型描述本体和任务求解本体,为模型提供语义支持。模型语义分为描述语义和行为语义。基于描述语义的相似性判定,模型可进行潜在冲突预测;然后根据任务求解本体的定义,模型通过行为语义交互,进行行为协商;而... 详细信息

依据模型知识的特性,定义了模型描述本体和任务求解本体,为模型提供语义支持。模型语义分为描述语义和行为语义。基于描述语义的相似性判定,模型可进行潜在冲突预测;然后根据任务求解本体的定义,模型通过行为语义交互,进行行为协商;而在执行过程中,模型需要为每一个操作申请资源,因此模型根据模型描述本体和描述语义对资源申请进行协商,从而得到互不冲突的操作执行序列,消除冲突。最后通过实验分析验证算法的有效性。

关键词：模型本体描述语义行为语义冲突预测协商