基于时态的模糊描述逻辑初探 被引量：2

1

作者 昌霞 孙瑜 +2 位作者 冉婕 李静 章秀君 《微型机与应用》 2010年第6期75-77,83,共4页

针对现实生活中,有许多的信息都是具有时间属性并且带有模糊、不精确的特点,在时态逻辑和模糊描述逻辑基础上,利用vager集概念,对基于时态的模糊描述逻辑系统进行了初步的研究,并给出了时态模糊描述逻辑的语法和语义的相关说明。与模糊... 针对现实生活中,有许多的信息都是具有时间属性并且带有模糊、不精确的特点,在时态逻辑和模糊描述逻辑基础上,利用vager集概念,对基于时态的模糊描述逻辑系统进行了初步的研究,并给出了时态模糊描述逻辑的语法和语义的相关说明。与模糊描述逻辑FALC相比,该系统的提出在一定程度上弥补了FALC作为语义Web逻辑基础在表达时序上的空白。 展开更多

关键词 时态逻辑 模糊描述逻辑 时态模糊描述逻辑

下载PDF 职称材料

基于模态的模糊描述逻辑(M-FALC)的形式化公理体系

2

作者 蔡思思 《计算机光盘软件与应用》 2013年第16期302-303,共2页

模糊描述逻辑的提出是针对现实生活中存在的模糊现象,而模态逻辑解决的是现实生活中具有的状态和状态转换现象等。将模态逻辑中的模态思想和模糊逻辑中的模糊理论相结合,同时结合描述逻辑,形成模态模糊描述逻辑(M-FALC)。考虑不同论域... 模糊描述逻辑的提出是针对现实生活中存在的模糊现象,而模态逻辑解决的是现实生活中具有的状态和状态转换现象等。将模态逻辑中的模态思想和模糊逻辑中的模糊理论相结合,同时结合描述逻辑,形成模态模糊描述逻辑(M-FALC)。考虑不同论域中的可能存在的模糊概念,关系,公式等,本文给出M-FALC的形式化公理体系及其推理,既能解决现实问题中的状态现象又解决模糊现象。 展开更多

关键词 模糊描述逻辑 模态逻辑 模态模糊描述逻辑

下载PDF 职称材料

模糊描述逻辑FALNUI的tableaux推理 被引量：7

3

作者 蒋运承 汤庸 +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 职称材料

支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) 被引量：11

4

作者 王海龙 马宗民 +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 职称材料

基于模糊描述逻辑的模糊XML模型的表示与推理 被引量：6

5

作者 张富 严丽 +1 位作者 马宗民 王星 《计算机学报》 EI CSCD 北大核心 2011年第8期1437-1451,共15页

通过分析描述逻辑与XML之间的关系,该文进一步研究了基于模糊描述逻辑的模糊XML模型的表示与推理.首先提出了模糊XML模型(包括模糊XML文档和模糊DTD)的形式化定义.然后针对模糊XML模型的特点和推理需求,提出了一种新的模糊描述逻辑f-ALC... 通过分析描述逻辑与XML之间的关系,该文进一步研究了基于模糊描述逻辑的模糊XML模型的表示与推理.首先提出了模糊XML模型(包括模糊XML文档和模糊DTD)的形式化定义.然后针对模糊XML模型的特点和推理需求,提出了一种新的模糊描述逻辑f-ALCQ_(wf-reg),给出了它的语法、语义、知识库以及推理算法.在此基础上,研究了基于f-ALCQ_(wf-reg)的模糊XML模型的表示、推理以及查询问题,具体包括:实现了从模糊XML模型到f-ALCQ_(wf-reg)知识库的转化;基于转化后得到的f-ALCQ_(wf-reg)知识库,进一步研究了如何利用f-ALCQ_(wf-reg)的推理机制对模糊XML模型的推理任务(如一致性、包含性、等价性以及不相交性)进行推理;最后简要讨论了如何利用上述转化和推理结果来更有效地支持模糊XML文档库的查询问题. 展开更多

关键词 模糊XML模型 文档和结构 模糊描述逻辑 表示 推理

下载PDF 职称材料

FRESG:一种模糊描述逻辑推理机 被引量：6

6

作者 王海龙 马宗民 +1 位作者 殷俊夫 程经纬 《计算机研究与发展》 EI CSCD 北大核心 2009年第9期1488-1497,共10页

作为语义Web的逻辑基础,描述逻辑可为其提供推理支持,因而描述逻辑推理机是语义Web付诸应用的根本载体.基于模糊描述逻辑F-ALC(G),设计并实现了模糊描述逻辑推理机FRESG1.0,它支持含有模糊用户定制数据类型谓词的模糊数据类型信息的表... 作为语义Web的逻辑基础,描述逻辑可为其提供推理支持,因而描述逻辑推理机是语义Web付诸应用的根本载体.基于模糊描述逻辑F-ALC(G),设计并实现了模糊描述逻辑推理机FRESG1.0,它支持含有模糊用户定制数据类型谓词的模糊数据类型信息的表示和推理.简要介绍了FRESG1.0的主要推理功能以及所使用的编程语言;详细描述了FRESG1.0的总体结构及其主要组成部分的设计与实现,其中着重阐述了FRESG1.0推理机的特色和设计实现过程中所采用的算法、实现技术.通过测试案例可以看出,FRESG1.0推理机具备较强的推理能力,尤其具备目前其他推理机所不具备的推理模糊用户定制数据信息的能力.FRESG1.0具有较强的模块化结构,有很好的可扩展性,为今后对其进行深入研究和扩展奠定了基础. 展开更多

关键词 语义WEB 模糊描述逻辑 F-ALC(G) 推理机 用户定制数据类型

下载PDF 职称材料

基于模糊描述逻辑的个性化推荐系统建模 被引量：11

7

作者 牟向伟 陈燕 《计算机应用研究》 CSCD 北大核心 2011年第4期1429-1433,共5页

为了解决现有个性化推荐系统中缺乏对模糊语义信息处理的能力,建立模糊语义推荐系统模型,使用模糊描述逻辑实现了该模型,并给出了推荐算法。在实现模型的过程中引入了两条规则,实现了概念层次关系在兴趣程度和关联程度上的传递。最后通... 为了解决现有个性化推荐系统中缺乏对模糊语义信息处理的能力,建立模糊语义推荐系统模型,使用模糊描述逻辑实现了该模型,并给出了推荐算法。在实现模型的过程中引入了两条规则,实现了概念层次关系在兴趣程度和关联程度上的传递。最后通过实例证明,通过将用户的兴趣和待选资源的相关概念在语义层面进行适当的扩展,模糊语义推荐系统模型能更准确地描述用户的兴趣并产生更多符合用户兴趣的推荐项目。 展开更多

关键词 个性化推荐 模糊描述逻辑 用户兴趣

下载PDF 职称材料

基于模糊描述逻辑的模糊UML类图形式化 被引量：2

8

作者 周波 张亚非 +2 位作者 陆建江 王进鹏 苗壮 《解放军理工大学学报（自然科学版）》 EI 北大核心 2010年第4期386-391,共6页

由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)... 由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。 展开更多

关键词 模糊UML 类图 模糊描述逻辑 形式化

下载PDF 职称材料

基于模糊描述逻辑F-ALC(G)的模糊OWL扩展 被引量：2

9

作者 王海龙 马宗民 +1 位作者 严丽 闫东亮 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第11期1562-1565,共4页

针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后... 针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后,以F-ALC(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL.f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息。 展开更多

关键词 语义WEB 模糊描述逻辑 F-ALC(G) 模糊OWL 自定义数据类型

下载PDF 职称材料

基于模糊描述逻辑的C4ISR系统上下文环境分析方法 被引量：1

10

作者 董庆超 陈青华 +1 位作者 齐玉东 姚刚 《系统工程与电子技术》 EI CSCD 北大核心 2016年第11期2546-2551,共6页

为了实现指挥信息系统自适应的决策支持,将上下文感知技术融入指挥信息系统的分析与设计,首先提出了C4ISR系统上下文元本体,借此定义指挥信息系统上下文环境的基本语义框架。在此基础上,结合元本体以及面向目标的需求分析方法思想,提出... 为了实现指挥信息系统自适应的决策支持,将上下文感知技术融入指挥信息系统的分析与设计,首先提出了C4ISR系统上下文元本体,借此定义指挥信息系统上下文环境的基本语义框架。在此基础上,结合元本体以及面向目标的需求分析方法思想,提出了C4ISR系统上下文环境信息获取和建模表示方法。此外,将模糊本体推理技术引入指挥信息系统上下文环境推理分析环节,通过设计上下文环境模型到本体的形式化规约算法,有效地将指挥信息系统的上下文环境信息形式化,并通过本体推理技术,实现了对系统上下文环境的推理分析。 展开更多

关键词 C4ISR 上下文感知 模糊推理 模糊描述逻辑

下载PDF 职称材料

面向Deep Web不确定知识表示的动态模糊描述逻辑 被引量：5

11

作者 方巍 崔志明 《计算机科学》 CSCD 北大核心 2010年第9期229-233,共5页

Deep Web信息量大,主题专一,信息质量好。然而Deep Web信息存在着不确定问题,因此难以对其进行知识表示和推理。基于动态模糊逻辑理论,提出了一种新的描述逻辑,即动态模糊描述逻辑(DFDLs)。给出了DFDLs形式化定义以及DFDLs的语法和语义... Deep Web信息量大,主题专一,信息质量好。然而Deep Web信息存在着不确定问题,因此难以对其进行知识表示和推理。基于动态模糊逻辑理论,提出了一种新的描述逻辑,即动态模糊描述逻辑(DFDLs)。给出了DFDLs形式化定义以及DFDLs的语法和语义,设计了DFDLs的tableau的推理算法和策略。采用动态模糊描述逻辑对面向Deep Web的不确定知识进行表示并实现合理的推理和利用,能更好地表达Deep Web的动态和模糊信息。 展开更多

关键词 DEEP WEB 不确定知识 动态模糊描述逻辑 tableau推理

下载PDF 职称材料

朴素模糊描述逻辑知识库构造及其朴素推理 被引量：3

12

作者 王蓁蓁 《应用科技》 CAS 2012年第6期18-29,共12页

提出朴素模糊描述逻辑理论框架,主要分为朴素隶属函数构造和基于模糊描述逻辑之上的朴素推理两个方面.朴素隶属函数构造的基本思想是简化模糊集合隶属度取值,并把模糊集作2种理解——即它的隶属函数或是元素隶属它的程度,或是元素聚合... 提出朴素模糊描述逻辑理论框架,主要分为朴素隶属函数构造和基于模糊描述逻辑之上的朴素推理两个方面.朴素隶属函数构造的基本思想是简化模糊集合隶属度取值,并把模糊集作2种理解——即它的隶属函数或是元素隶属它的程度,或是元素聚合的标志性指标.并且当问题需要深化时,通过模糊集理论中的2型集或2级集进行提升,然后再化归为普通模糊集,借此拓广模糊集隶属度和(或者)产生新的模糊集.在推理方面,运用模糊集理论中"所有算子",并不强调它们在逻辑上的一致性.最后以中医理论为例,说明朴素模糊描述逻辑在表达有别于西方自然科学范型的经验理论中的重要作用. 展开更多

关键词 朴素模糊描述逻辑 朴素推理 知识库构造 中医理论

下载PDF 职称材料

基于模糊描述逻辑的CBR的事例相似性

13

作者 孙晋永 钱俊彦 +1 位作者 唐成华 马林威 《济南大学学报（自然科学版）》 CAS 北大核心 2016年第5期353-363,共11页

针对用于基于事例推理(CBR)的描述逻辑不能表示和推理模糊语义知识的局限问题,将模糊描述逻辑F-SHIQ(D)引入CBR中,定义F-SHIQ(D)范式,据此表示包含模糊语义知识的CBR事例,提出同时考虑事例描述概念和隶属度相似性的事例相似性方法,并与... 针对用于基于事例推理(CBR)的描述逻辑不能表示和推理模糊语义知识的局限问题,将模糊描述逻辑F-SHIQ(D)引入CBR中,定义F-SHIQ(D)范式,据此表示包含模糊语义知识的CBR事例,提出同时考虑事例描述概念和隶属度相似性的事例相似性方法,并与现有基于描述逻辑的CBR进行对比。结果表明,在包含模糊语义信息的领域,基于F-SHIQ(D)的CBR能提升事例表示和事例相似性度量的准确性,有助于提高事例检索效率。 展开更多

关键词 基于事例推理 模糊描述逻辑F-SHIQ(D) 事例表示 相似性度量

下载PDF 职称材料

支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

14

作者 覃裕初 钟艳如 +1 位作者 姬柳静 孟浩 《桂林电子科技大学学报》 2012年第1期23-28,共6页

描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理。通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP(D),给出Fuzzy-ALCRP(D)的Tableau判... 描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理。通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP(D),给出Fuzzy-ALCRP(D)的Tableau判定算法,并给出一个Fuzzy-ALCRP(D)在模糊RCC8空间中的推理实例。 展开更多

关键词 模糊描述逻辑 TABLEAU算法 模糊空间推理

下载PDF 职称材料

基于模糊描述逻辑的PNL网络问答系统

15

作者 高明霞 刘椿年 《计算机工程》 EI CAS CSCD 北大核心 2006年第21期52-54,共3页

将现有网络搜索引擎过渡到网络问答系统是WI的基本目标之一,模糊问答系统是网络问答系统研究的重要问题。基于模糊描述逻辑,该文特化了PNL过程,提出了PNL式模糊网络问答系统。该系统将模糊描述逻辑规则作为PNL推理过程中用到的原型语言... 将现有网络搜索引擎过渡到网络问答系统是WI的基本目标之一,模糊问答系统是网络问答系统研究的重要问题。基于模糊描述逻辑,该文特化了PNL过程,提出了PNL式模糊网络问答系统。该系统将模糊描述逻辑规则作为PNL推理过程中用到的原型语言规则中的计算部分,推理出原型语言规则中的知识符号,并以一个具体的问答实例,介绍了PNL式问答系统的工作流程。 展开更多

关键词 模糊描述逻辑 精确的自然语言 问答系统

下载PDF 职称材料

基于时间区间的模糊描述逻辑的Tableau算法 被引量：1

16

作者 昌霞 《现代信息科技》 2021年第8期119-121,124,共4页

基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑。TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充。研究在其语法、语义的基础上给出... 基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑。TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充。研究在其语法、语义的基础上给出相应的知识库,给出TFDL的Tableau判定算法,该算法继承了描述逻辑Tableau算法的基本特征,通过构造知识库中表达式的解释模型来证明其可满足性。 展开更多

关键词 时间区间 模糊描述逻辑 隶属度

下载PDF 职称材料

模糊描述逻辑的统计缺省扩展

17

作者 张敏 《科技创新导报》 2012年第36期54-54,56,共2页

该文对模糊描述逻辑进行统计缺省扩展,它以模糊描述逻辑为主要框架,将模糊或不精确知识的表示与推理有机地整合在一起,通过在模糊描述逻辑中引入统计缺省推理,构建了一种同时具有TBox,ABox和统计缺省规则的知识库系统。

关键词 模糊描述逻辑 统计缺省扩展 缺省可满足性

下载PDF 职称材料

基于修正的Kleene蕴涵的模糊描述逻辑

18

作者 邱晓春 裴道武 《高校应用数学学报（A辑）》 CSCD 北大核心 2013年第4期457-465,共9页

基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括... 基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括这个逻辑中的可满足性问题,Tableau算法及一致性问题. 展开更多

关键词 模糊描述逻辑 修正的Kleene蕴涵 可满足性 一致性 TABLEAU算法

下载PDF 职称材料

一类扩展的模糊描述逻辑回答集程序研究

19

作者 丁松 《湖北第二师范学院学报》 2013年第8期8-13,共6页

本文介绍了模糊描述逻辑与回答集程序的发展现状和所遇到的挑战,讨论了模糊DL程序的语法和语义,给出了在模糊背景下扩展的Gelfond-Lifschitz变换,并进一步提出了一种面向语义Web的扩展模糊DL答集程序(efdl程序),给出该类程序的具体语法... 本文介绍了模糊描述逻辑与回答集程序的发展现状和所遇到的挑战,讨论了模糊DL程序的语法和语义,给出了在模糊背景下扩展的Gelfond-Lifschitz变换,并进一步提出了一种面向语义Web的扩展模糊DL答集程序(efdl程序),给出该类程序的具体语法并用代数不等式约束来描述其语义。通过扩展的Gelfond-Lifschitz变换,定义了efdl程序的回答集,并且讨论了求解回答集的计算方法。 展开更多

关键词 回答集程序 模糊描述逻辑 DL程序 Gelfond-Lifschitz变换 语义WEB

下载PDF 职称材料

模糊描述逻辑系统L-ALCN中的形式概念格

20

作者 李佳 《电脑知识与技术》 2009年第9期7219-7221,共3页

该文首先简单介绍格值模糊描述逻辑系统L—ALCN的语法和语义，介绍形式概念分析（FCA）的基本理论。把形式概念分析引入到模糊描述逻辑中，在国际上也是刚刚起步，尚不成熟。该文定义了模糊形式背景、模糊形式概念格，并证明了此概念格... 该文首先简单介绍格值模糊描述逻辑系统L—ALCN的语法和语义，介绍形式概念分析（FCA）的基本理论。把形式概念分析引入到模糊描述逻辑中，在国际上也是刚刚起步，尚不成熟。该文定义了模糊形式背景、模糊形式概念格，并证明了此概念格为完备格。 展开更多

关键词 模糊描述逻辑L-ALCN 形式概念分析 形势概念格 模糊描述背景 模糊概念格

下载PDF 职称材料