包邮模糊量词及其积分语义

前言主要符号说明第1章 模糊量词概述 1.1 什么是量词 1.1.1 容易混淆的两种含义 1.1.2 数理逻辑中的量词 1.2 广义量词理论简介 1.2.1 从量词到广义量词 1.2.2 Mostowski与Lindstrom对量词的定义 1.2.3 Montague语法及其对量词的处理 1.2.4 Baxwise和Cooper的广义量词理论 1.2.5 广义量词理论的进一步发展 1.3 模糊量词及其积分语义研究概述 1.3.1 关于模糊量词的含义 1.3.2 关于模糊量词的分类 1.3.3 模糊量词研究的历史与现状第2章 模糊数学基础 2.1 模糊数学概述 2.1.1 什么是模糊数学 2.1.2 模糊概念与隶属函数 2.2 模糊集的定义、运算及相关基本知识 2.2.1 模糊集合的定义 2.2.2 模糊集合的并、交、补运算 2.2.3 t-模、s-模：模糊集的广义并、交运算 2.2.4 截集、分解定理与表现定理 2.2.5 模糊关系与扩张原理 2.3 模糊集概念的各种推广 2.3.1 格与格值模糊集 2.3.2 二型模糊集 2.3.3 区间值模糊集 2.3.4 直觉模糊集 2.3.5 区间直觉模糊集 2.4 模糊测度与模糊积分 2.4.1 模糊测度的基本概念 2.4.2 Sugeno积分 2.4.3 Choquet积分 2.5 模糊蕴涵与模糊逻辑形式系统 2.5.1 什么是模糊逻辑与模糊推理 2.5.2 模糊蕴涵算子与模糊推理三I算法 2.5.3 剩余格与t-模基模糊逻辑 2.5.4 模糊逻辑形式系统MTL第3章 模糊集的基数与模糊量化基础 3.1 模糊集的基数(势) 3.1.1 数量基数(非模糊基数) 3.1.2 模糊基数 3.1.3 相对基数(基数的相对测度) 3.2 模糊量化初步 3.2.1 模糊量词与模糊谓词的量化 3.2.2 可能性分布与模糊量化命题的真值 3.3 三段论与模糊量化推理方法 3.3.1 关于亚里士多德的三段论推理 3.3.2 Zadeh的模糊量化推理方法第4章 基于Sugeno模糊积分的模糊量词理论 4.1 模糊量词的Sugeno积分语义 4.1.1 基于模糊测度的模糊量词 4.1.2 带有模糊量词的一阶逻辑系统Lq 4.1.3 一阶逻辑系统Lq的逻辑性质 4.1.4 关于基数量词 4.1.5 模糊量词Sugeno积分语义的几个应用实例 4.1.6 模糊量词相关处理方法之比较 4.2 强前束范式与模糊量词sugeno积分语义的扩展 4.2.1 强前束范式定理 4.2.2 模糊量词的t-模基Sugeno积分语义 4.3 直觉模糊量词及其Sugeno积分语义 4.3.1 直觉模糊值测度与直觉模糊Sugeno积分 4.3.2 直觉模糊量词及一阶逻辑系统Lq(Ius) 4.3.3 直觉模糊量词应用举例 4.4 使用区间直觉Sugeno积分处理模糊量词 4.4.1 区间直觉模糊测度与区间直觉模糊Sugeno积分 4.4.2 区间直觉模糊量词及一阶逻辑语言Lq(IvIuS) 4.4.3 区间直觉模糊量词的应用第5章 基于Choquet模糊积分的模糊量词理论 5.1 模糊量词的Choquet积分语义 5.1.1 使用Choquet积分处理模糊量词 5.1.2 一阶逻辑Lq(C)的前束范式定理 5.1.3 Lq(C)的其他逻辑性质 5.2 直觉模糊Choquet积分及其在语言量词上的应用 5.2.1 基于直觉模糊集的Choquet积分及其性质 5.2.2 含直觉模糊量词的一阶语言Lq(IuC)及其性质 5.2.3 直觉模糊Choquet积分的应用 5.3 模糊量词在模糊查询中的应用 5.3.1 模糊查询概述 5.3.2 模糊量词Choquet积分语义在传统数据库查询中的应用 5.3.3 模糊量词Choquet积分语义在模糊数据库查询中的应用 5.4 模糊量词在数据的语言归并中的应用 5.4.1 数据的语言归并(概要)与模糊量词 5.4.2 区间值模糊量词及其Choquet积分语义 5.4.3 区间值模糊量词Choquet积分语义在数据的语言归并中的应用第6章 格值模糊量词及其积分语义 6.1 格值模糊测度与格值模糊积分 6.1.1 完备格上的格值模糊测度与格值模糊积分 6.1.2 可换半群格上的格值模糊测度与格值模糊积分 6.2 剩余格上的模糊测度与□-型模糊积分 6.2.1 定义在模糊子集代数上的模糊测度 6.2.2 模糊可测空间之间的同构与基数模糊测度空间 6.2.3 □-型模糊积分 6.2.4 □-型模糊积分的性质 6.3 剩余格上的(1n，1)型模糊量词 6.3.1 (1n，1)型一元L-模糊量词 6.3.2 (1n，1)型一元L-模糊量词的基本语义性质 6.3.3 外延的一元L-模糊量词第7章 带有模糊量词的推理及其他 7.1 Dubois等的区间三段论 7.1.1 Dubois等提出的量化理论 7.1.2 区间三段论及其与传统三段论的比较 7.2 一种基于广义量词的模糊演绎推理模式 7.2.1 关于量词与模糊演绎推理(fuzzy syllogism) 7.2.2 一种广义演绎推理模式 7.2.3 在量词的不同定义下的各种演绎推理类型 7.3 带有模糊量词的广义对当关系 7.3.1 关于古典对当方阵与现代对当方阵 7.3.2 模糊量词格值积分语义下的广义对当关系 7.3.3 广义对当关系示例 7.4 带有模糊量词的模糊逻辑系统及三I推理 7.4.1 附加模糊量词的模糊逻辑形式系统MTLQ 7.4.2 逻辑系统MTLQ的弱完备性 7.4.3 多元一阶逻辑系统IMTL* Q 7.4.4 基于逻辑系统IMTL* Q的形式三I算法 7.5 基于模糊量词的广义粗糙集模型 7.5.1 Pawlak粗糙集与变精度粗糙集 7.5.2 基于模糊量词的模糊量化粗糙集 7.5.3 关于粗糙集与模糊量词研究的注记参考文献索引