基于算子模糊的不确定程度计算

本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的３种方法－－归结法、广义归结法和ＴＡＢＬＥＡＵ方法。     

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

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

函数／逻辑语言归约实现技术

ＲＦＵＮＬＯＧ是我们在ＬＮＦ演算基础上自行设计实现的一种函数／逻辑语言，它具有统一的操作语义。本文介绍ＲＦＵＮＬＯＧ语言的总体结构、归约操作语义及其解释实现技术。     

直觉模糊逻辑的语义算子研究

首先引用Atanassov直觉模糊集的基本概念和运算。在阐明直觉模糊集的集中、扩张、归一化算子之后，新定义了强化算子。通过考察Atanassov直觉模糊集与Zadeh模糊集之间的关系，给出了直觉模糊语言、结构化直觉模糊语言和直觉模糊语义的数学描述，重点对基于直觉模糊集和直觉模糊关系的模糊语言的语义算子，如语气算子、模糊化算子、判定化算子及连接与否定算子等进行了研究，并举例阐明其应用，使直觉模糊逻辑的语义算子得到进一步的拓广。     

对象式逻辑程序设计语言LKO的说明性语义

本文基于逻辑程序设计语言的良基模型语义，探讨了对象逻辑程序设计语言ＬＫＯ的说明性语义，该语义由组合迭代的极小不动点定义，具有构造性和组合性，迷在ＬＫＯ中进一步引入非单调继承和逻辑奠定了基础。     

基于算子模糊逻辑的不确定程度计算

本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的3种方法——归结法、广义归结法和TABLEAU方法．     

基于复杂对象的知识库语言

近年来，复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视．本文提出了一种复杂对象模型ＣＯＭ，描述了该模型上的说明性查询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构．在语义方面，定义了空间、基、解释、满足、模型等概念；利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理、最小模型存在定理以及最小模型的不动点性质，从而重构了其语义理论框架．     

布尔算子Fuzzy逻辑中的锁归结原理

本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Ｆｕｚｚｙ逻辑中，并且证明了布尔算子Ｆｕｚｚｙ逻辑的锁归结方法和一种特殊的广义锁归结方法是广义完备的。     

基于不确定,不精确知识的推理系统——UKRS

ＵＫＲＳ是建立在算子ＦＵＺＺＹ逻辑的λ－Ｈｏｒｎ集上，使用λ－ＳＬＤ归结推理机制作为其理论支持的一个基于不确定、不精确知识的推理系统。在ＵＫＲＳ中用λ－Ｈｏｒｎ子句表示知识，因算子ＦＵＺＺＹ逻辑对于算子是显式表示的，故可以方便的描述不确定、不精确知识，并且支持不确定、不精确推理。     

逻辑框架的语法,语用脑语义

逻辑模型架用以定义逻辑的类型系统，在爱丁保逻辑框架ＥＬＦ（Ｅｄｉｎｂｕｒｇｈ ｌｏｇｉｃａｌ ｆｒａｍｅ－ｗｏｒｋ）和马丁诺夫逻辑框架的基础上，本文提出了一个集两者优点一身的新型逻辑框架，此逻辑框架特别适用于语义分析，文中还给出一结如何在此逻辑框架中表示目标语言的应用实例。     

Mediative fuzzy logic: a new approach for contradictory knowledge management

In this paper we are proposing a novel fuzzy method that can handle imperfect knowledge in a broader way than Intuitionistic (in the sense of Atanassov) fuzzy logic does (IFL). This fuzzy method can manage non- contradictory, doubtful, and contradictory information provided by experts, providing a mediated solution, so we called it Mediative Fuzzy Logic (MFL). We are comparing results of MFL, with IFL and traditional Fuzzy logic (FL).     

Application of probability to enhance the performance of fuzzy based mobile robot navigation

This paper presents a new path planning algorithm based on Probability and Fuzzy Logic (PFL) as a duality technique to enhance the performance of Fuzzy Logic alone. Fuzzy Logic interacts with the grading of obstacles existed in the path and probability lies over the decision to move the mobile robot. The fuzzy grading correspondence with the probabilistic decision is the primary function of moving the mobile robot towards the goal and the secondary is path planning which lies over the probability distribution function. The distance–speed combination rule is developed for effective navigation. The single and multiple mobile robot systems have been tested successfully in a dense environment in presence of obstacles (static and dynamic) and moving goal. The obtained results are optimal when compared to other navigational approaches in sense of navigational path length and time in the static and dynamic environment.     

用双枝模糊逻辑和模糊Petri网构建的攻击模型

以双枝模糊逻辑和模糊Petri网（Fuzzy Petri net,FPN）理论为基础,定义了一种全新的网络攻击模型BBFLPAN,将网络攻击中对攻击起促进与抑制作用的两方面进行综合考虑与分析,用变迁表示攻击、防御行为的产生发展过程,库所表示系统所处的状态,将网络攻击与防御行为和攻击与防御结果进行了区分,直观地表示网络攻击的演变情况。同时结合双枝模糊逻辑,分析了BBFLPAN模型的基本推理规则,并提出了BBFLPAN的推理算法,并通过实验验证了算法的正确性。将对网络攻击实施起正反两方面的因素一起考虑和分析,使其对网络攻击的描述更加切近实际情况。     

LABVIEW中模糊逻辑工具箱在形体辨识中的应用

介绍基于LabVIEW的模糊逻辑工具箱——Fuzzy Logic for G Toolkit的使用方法，文中以辨识传送带上被传送物体的几何形体为例，介绍了建模的方法、模糊逻辑控制器的设计以及基于PC的仿真。     

PD型模糊学习控制及其在可重复轨迹跟踪问题中的应用

针对可重复轨迹跟踪问题,提出了一种PD型模糊学习算法.该算法集成两种控 制:作为基础的PD型模糊逻辑算法和改善系统性能的学习算法.模糊学习控制在模糊控制 基础上引入迭代学习算法,使得模糊PD控制器可以精确地跟踪可重复轨迹以及消除周期性 扰动.本文在能量函数和泛函分析的基础上,通过严格的推导表明PD型模糊学习算法可达 到:1)系统跟踪误差一致收敛到零;2)学习控制序列几乎处处收敛到理想的控制信号.     

一种可演化的查表式模糊逻辑控制器设计与实现

常规的模糊控制器主要通过计算机软件或单片机实现,但模糊控制器是一个高度并行的系统,实时性、自适应性要求较高,这种实现方式不能满足现代模糊控制器的设计要求.要解决这个问题必须从算法和器件结构入手.根据多值逻辑和PLA理论,提出了一种可演化的查表式模糊逻辑控制器.根据模糊逻辑控制器查询表的对称性和单调性特点,提出了一种查询表的简单生成算法.利用J门和PLA设计查询表硬件电路.以典型二阶系统模糊控制为例进行仿真实验,其结果表明了这个可演化的模糊逻辑控制器结构的可行性.     

From Coalition Logic to STIT

STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form “agent a sees to it that φ”. We believe that STIT theory may contribute to the logical analysis of multiagent systems. To support this claim, in this paper we show that there is a close relationship with more recent logics for multiagent systems. We focus on Pauly's Coalition Logic and the logic of the cstit operator, as described by Horty. After a brief presentation of Coalition Logic and a discrete-time version (including a next operator) of the STIT framework, we introduce a translation from Coalition Logic to the discrete STIT logic, and prove that it is correct.     

DC/DC 变换器的变结构模糊控制研究

对不同类型的模糊PID控制器(模糊P控制器、模糊PD控制器、模糊PI控制器、模糊PID控制器)在DC/DC变换器中的应用作了全面的研究。目前,模糊PI控制器应用得最为广泛,然而在其控制作用下,DC/DC变换器的输出电压通常会超调,并且当响应时间较短时有很大的冲击电流尖峰。探讨一种变结构模糊控制器,这种控制器将有效地克服模糊PI控制器的上述不足。基于Matlab/Simulink对应用变结构模糊控制器控制的DC/DC变换器系统进行了计算机仿真。仿真结果表明,变结构模糊控制器控制拥有较好的动态特性和稳态性能。     

动态模糊逻辑的格结构及其应用研究

当前非经典逻辑的一个重要的研究方向是其代数结构的研究,动态模糊逻辑理论作为一种处理动态性、模糊性问题的重要工具,其代数结构尚不够完善和成熟.通过选择适合动态模糊逻辑的逻辑代数表示系统,建立了动态模糊逻辑的格结构,最后研究动态模糊逻辑格结构的特性及其在组织结构中的应用.     

模糊自适应卡尔曼滤波技术研究

本文提出了一种基于模糊自适应卡尔曼滤波技术的组合导航的新方法．这一方法主 要应用于自主式机动飞行器．用模糊逻辑自适应控制器对卡尔曼滤波器的噪声方差进行“在 线”修正,将卡尔曼滤波器调整到最优状态,从而提高组合导航系统的精度．通过对GPS/IN S组合导航系统的仿真,验证了模糊自适应卡尔曼滤波器比常规卡尔曼滤波器具有更高的精 度．该方法的研究对飞行器的导航与制导具有重要意义．