作者：王伟

关键词：智能控制 ; 格蕴涵代数 ; 对偶分子 ; 滤子 ; 格值命题逻辑 ; 不可分极简式 ; α-归结域 ; 不可满足性 ; α-可满足的

论文级别：博士

学位年度：2002

作者：曾水玲

关键词：模糊神经网络 ; 模糊推理 ; 模糊蕴涵算子 ; 训练模式 ; 鲁棒性 ; 不确定性 ; 学习算法

论文级别：博士

学位年度：2011

作者：卢新元

关键词：IT项目 ; 项目风险管理 ; 风险决策 ; 粗糙集 ; 规则挖掘 ; 信息熵 ; 贝叶斯原理

论文级别：博士

学位年度：2005

作者：马骏

关键词：格蕴涵代数 ; 格值逻辑 ; 定理自动证明 ; 归结原理

论文级别：博士

学位年度：2002

作者：马丽娜

关键词：模糊推理 ; 三I方法 ; 广义MP问题 ; 多重广义MP问题 ; 多重多维模糊推理 ; 连续性 ; 还原性 ; Kripke知识结构 ; 知识推理

论文级别：博士

学位年度：2011

作者：惠小静

关键词：概率逻辑学 ; 计量逻辑学 ; 概率逻辑学基本定理 ; 随机真度 ; 近似推理

论文级别：博士

学位年度：2008

作者：赖家俊

关键词：语言真值格蕴涵代数 ; 非经典逻辑 ; 语言真值格值一阶逻辑 ; 不确定性推理

论文级别：博士

学位年度：2011

作者：李欣

关键词：GIS ; 决策支持系统 ; 应急案例知识库 ; 案例表达 ; 案例选取 ; 案例修正

论文级别：博士

学位年度：2010

作者：郭远华

关键词：定理证明 ; 自动推理 ; 子句搜索方法 ; 一阶逻辑 ; 格值逻辑 ; tableau方法 ; 试探方法 ; 自然推理方法 ; 可读证明

论文级别：博士

学位年度：2010

作者：薛占熬

关键词：泛逻辑学 ; 模糊逻辑 ; 非经典逻辑 ; 区间逻辑 ; 柔性逻辑 ; 柔性区间逻辑 ; 广义相关性 ; 广义自相关性 ; 不确定性 ; 柔性区间蕴涵 ; 柔性区间推理

论文级别：博士

学位年度：2006