一种基于动态模糊逻辑（DFL）的时序推理模型

在我们生活的环境中，动态模糊事件是普遍存在的，而当今，随着计算机科学技术的发展，人们又试图用计算机来模拟这些具有“动态模糊性”的事件，因此，已往有关文献提出了动态模糊逻辑，动态模糊集，基于ＤＦＬ的一种学习模型及动态模糊主动数据库系统的设计方法和基本概念，这些理论的提出，虽然为人们解决具有动态模糊性的问题提供了一定的理论依据，但从整个动态模糊系统来看，这些工作仅仅是一些初步的工作，还有许多工作需进一     

动态模糊逻辑（DFL）的归结策略

主要讨论DFL谓词描述下的归结推理方法,它是一种机器化的可在计算机上加以实现的推理方法。首先介绍DFL命题下结方法。最后介绍DFL的归结原理及方法。     

动态模糊逻辑（DFL）在问题求解中的应用研究

问题求解是人工智能中的一大类问题。本文基于动态模糊逻辑（ＤＦＬ）,以动态模糊（ＤＦ）冰生式作为问题的表示方法,用动态模糊（ＤＦ）与／或语义图来分析问题的特征。     

基于动态模糊逻辑(DFL)的一种时序推理模型

在我们的研究领域中 ,普遍存在动态模糊事件 .而当今 ,随着计算机科学技术的发展 ,人们又试图用计算机来模拟这些具有“动态模糊性”的事件 .因此 ,以往有关文献提出了动态模糊逻辑、动态模糊集、基于 DFL的一种学习模型及动态模糊主动数据库系统的设计方法和基本概念 ,这些理论的提出 ,虽然为人们解决具有动态模糊性的问题提供了一定的理论依据 ,但从整个动态模糊系统来看 ,这些工作仅仅是一些初步的工作 ,还有许多工作需要进一步研究 .文中给出的基于 DFL的时序推理模型正是这种工作的一个补充 .     

基于DFL的多Agent时序推理模型研究

Agent的理论、技术,特别是多Agent的理论、技术,为分布式开放系统的分析、设计和实现提供了一个崭新的途径。目前,对Agent的研究大致分为智能Agent、多Agent的程序设计。该文对Agent系统的群体组织结构进行深入研究,基于DFL,给出多Agent时序推理模型理论,进一步丰富Agent系统理论的研究内容。     

动态模糊Petri网模型及其应用研究

以模糊Petri网的基本定义，动态模糊集和动态模糊逻辑为基础，讨论了动态模糊Petri网的基本模型，建立了动态模糊Petri网与模糊Petri网之间的映射关系和转移算法，解决了与动态模糊知识的动态模糊Petri网表示相关的几个问题，最后给出了动态模糊Petri网中动态模糊性的计算方法和相应的推理方法。     

基于动态模糊逻辑的一种学习模型

机器学习是人工智能的重要组成部分,可以说人工智能的进一步发展与机器学习的进展是不可分的。要使计算机具有智能,最关键的一点就是要使其具有学习的能力。本文以动态模糊集为基础得到了一个新的学习模型。     

动态模糊逻辑(DFL)程序设计语言的结构化操作语义

动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言.仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性.     

基于动态模糊逻辑的高校教师年度量化考核研究

针对高校教师年度考核中动态、模糊数据难以量化问题,文章尝试一种新的方法。首先介绍了动态模糊逻辑理论,提出了基于动态模糊逻辑的高校教师年度量化考核模型,包括动态模糊与/或语义图表示模型,DF命题表示模型等。并以年度考核中的一项指标为例,结果说明具有实用价值。     

动态模糊逻辑程序设计语言的指称语义

文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构.在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义.最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程.     

直觉模糊集时态逻辑算子及扩展运算性质

首先在考察Atanassov直觉模糊集的基本运算的基础上．引入两个典型的作用于直觉模糊集的时态逻辑算子“□(always)”和“◇(sometimes)”,重点研究了直觉模糊集在直觉模糊时态逻辑算子作用下的若干扩展运算及其性质。最后,将这些运算性质归结为一组定理,并给出详细的证明过程。     

动态模糊逻辑程序设计语言探讨

动态模糊问题是普遍存在的,但是现存的程序设计语言中适合解决动态模糊问题的极少,本文试图作这方面的研究,设计一种适合解决动态模糊性问题的程序设计语言.本文仿照监督命令的程序结构,给出动态模糊逻辑程序设计语言的一个抽象模型,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义.     

动态模糊（DF）数据集序列的极限及其性质

以动态模糊集合的分配定理及经典集合序列的极限为基础,建立DF数据序列的极限概念,讨论了极限的运算性质。     

动态模糊目标可达定理及应用研究

基于动态模糊理论,针对模糊控制器的不足,对具有动态模糊性的问题作进一步研究,给出动态模糊目标可达基本理论,其内容包括：DF目标表现可达定理,DF目标分解可达定理,DF目标扩展可达定理等。     

基于直觉模糊集的不确定时序逻辑模型

针对现有时序逻辑在描述复杂不确定时间信息方面的局限性,提出了一种基于直觉模糊集的不确定时序逻辑模型。该模型分别定义了离散论域和连续论域下的不确定点时序逻辑、点-时段时序逻辑以及时段时序逻辑的判定公式;引入直觉模糊集的犹豫度参数,使得推理结果更加精确。最后通过实例对两类不确定时间信息进行描述,并对其时序逻辑关系的可能性进行度量。通过分析表明该模型是比较优越的。     

动态模糊数据的分解模型研究

数据分解是降低数据复杂程度的有效途径,在研究的数据对象中,具有动态模糊性的数据是普遍存在的,基于动态模糊集及动态模糊图给出了动态模糊数据分解模型,该模型的建立,为人们用计算机处理这类数据提供了理论依据。