基于模糊逻辑的不确定知识处理（Ⅱ）─—模糊逻辑的TABLEAU推理

本文基于ＴＡＢＬＥＡＵ方法，给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论，也给出了作者提出的模糊择优蕴涵的判定过程．据此说明了Ｙａｇｅｒ所给出的推理规则对其所讨论的模糊推理关系是不完备的．分析了本文对前提和结论分别构造ＴＡＢＬＥＡＵ推理树的方法在研究推理关系的相关性等方面的直观语义和作为模糊Ｐｒｏｌｏｇ的推理机所具有的优越性．

BAOFL的TABLEAU推理

给出了基于信度语义的算子模糊逻辑BAOFL的TABLEAU推理方法，并证明了其可靠性和完备性．

基于信度语义的算子模糊逻辑

本文在算子集与值域不同的算子格上，基于信度语义定义了一种归结推理更自然、具有结合性的算子模糊逻辑ＢＡＯＦＬ及一种语义有层次性的、非单调的算子模糊逻辑ＮＭＯＦＬ．

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

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

模糊统计法与蕴涵算子

对模糊统计法作了推广,得到了模糊蕴涵算子应满足的性质,并据此研究了十六种常用的模糊蕴涵 算子,进而选出四种定义合理的算子.以这四种蕴涵算子为例,根据模糊统计的思想,阐述了如何确定每种蕴涵 算子适用的场合.

基于一族蕴涵算子的对偶三I算法

三I算法是一种新的模糊推理方法,是传统的模糊推理方法的修改和补充。三I表达式取最小值时的最优解算法(即对偶三I算法)是三I算法思想的延伸和完善。本文针对蕴涵算子族Ip,讨论了FMP和FMT问题的对偶三I算法,给出了相应的计算公式,从而也进一步促进了对三I算法的研究。

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

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

算子模糊逻辑的λ-TABLEAU推理

作者基于信度语义提出了算子模糊逻辑模型BAOFL,本文给出了计算BAOFL中公式(集)不可满足程度的λ-TABLEAU推理方法,并证明了其可靠性和完备性。

基于模糊逻辑的混合推进ROV多级推力分配策略

为发挥ROV(遥控水下机器人)混合推进中电动推进系统高效率、大容量和液压推进系统快响应的组合优势,提出了一种基于模糊逻辑的多级推力分配策略。首先,该策略通过3维模糊控制器实现期望纵向力增量的分配;然后,考虑2种推进系统的推力性能进行期望纵向力的分配计算,从而将期望纵向力分解为2部分,分别对应于2种推进系统;最后,针对电动推进系统和液压推进系统分别开展推力分配,得到每台推进器的推力指令。仿真对比结果表明所提策略能够根据推力需求及推进系统状态对纵向力的分配比例进行动态调节,使ROV具有较好的运动性能和较高的运行效率,验证了该策略比伪逆法更加灵活有效。