基于一类严格三角范数的命题逻辑

剩余模糊逻辑演算与连续三角范数是紧密相关的,三角范数是合取联结词的真值函数,三角范数的剩余是蕴涵联结词的真值函数. 在这些逻辑中,非运算都是由蕴涵和真值常量0定义的,即(→)P∶P→0-.在本文中,我们引入一种具有对合性质的强非运算联结词"～"和投影联结词"Δ",证明基于严格泛与运算模型T(x,y,h)(h∈(0.75,1))的命题演算逻辑PC(T)系统是基本严格模糊逻辑SBL;PC(T)～是基本严格模糊逻辑SBL的扩张SBL～.     

模糊推理中零级泛蕴涵的信息度约束研究

基于线性特征测度的定义,本文详细地讨论了模糊推理中零级泛蕴涵满足信息有界性原则的条件,并得出结论：当命题间是相克相关,即其广义相关系数h∈[0,0．5]时,零级泛蕴涵满足信息有界性原则。这一结论对于在实际控制应用中,如何给定命题间的广义相关系数h值具有重要的指导意义。     

泛蕴涵推理机及其应用

本文提出模糊系统中基于泛逻辑的泛蕴涵推理机，给出其在描绘函数图形时的应用，同时比较了它与Mamdani型和Lasen型两种模糊系统在描绘函数图形时的误差。分析和比较表明，在相同规则下含有泛蕴涵推理机的模糊系统产生的误差最低。     

模糊推理中一级泛蕴涵的信息约束研究

基于线性特征测度的定义,本文详细讨论了在模糊推理中一级泛蕴涵满足信息有界性原则的条件,并得出结论:如果命题真值具有正的测量误差,则当命题间是相斥相关,且其广义相关系数h∈[0.5,((n+1)-(n2-n+1)1/2)/2]以及命题间是相克相关(h∈[0,0.5])时,一级泛蕴涵算子满足信息有界性原则;如果命题真值具有负的测量误差,则当命题间是相克相关,且其广义相关系数h∈[0,((n+1)-(n2-n+1)1/2)/2]时,一级泛蕴涵算子满足信息有界性原则.这一结论对于在实际控制应用中,如何给定命题间的广义相关系数h值具有重要的指导意义.     

泛逻辑学的蕴涵性质

蕴涵算子是逻辑学研究中的重点和难点。本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛“交”的伴随性,这对于进一步研究泛逻辑的形式系统和代数结构以及完备性,都具有重要的理论价值。     

泛空间上学习理论的关键定理

给出泛空间上泛随机变量及其分布函数、泛期望和泛方差的定义和性质,证明泛空间上的Chebyshev不等式和Khinchine大数定律;给出泛空间上期望风险泛函、经验风险泛函以及经验风险最小化原则严格一致收敛的定义,证明了泛空间上学习理论的关键定理,把概率空间和可能性测度空间上的学习理论的关键定理统一推广到了泛空间上。     

基于POFI方法的模糊系统及其响应性能

用逐点模糊优化推理方法(POFI),详细讨论基于6个常见蕴涵算子的模糊系统及其响应函数.首先分别给出基于POFI方法的这些蕴涵算子的FMP算法中寻求推理后件(或前件)的计算表达式.然后指出基于POFI方法的这6个蕴涵算子模糊控制算法均非插值方法,其模糊控制器均只具有阶跃输出功能,而无函数逼近的泛性.     

常见模糊蕴涵算子的模糊系统及其响应函数

详细讨论了较常见的21种模糊蕴涵算子构成的模糊控制器及其响应函数.主要结果是,异常蕴涵算子模糊控制算法都可归结为某种插值方法,它们相应的模糊控制器均具有函数逼近的泛性且彼此等效;而正常蕴涵算子(包括正规蕴涵算子的导出算子)模糊控制算法均非插值方法,其模糊控制器都不具有函数逼近的泛性,除Zadeh蕴涵算子外,这些正常蕴涵算子的模糊控制器均只具备阶跃输出功能且在一定意义下相互等效.     

泛组合运算模型研究

泛逻辑学是在模糊逻辑的基础上,分析命题之间关系的连续可变性。提出了“广义相关性”和“广义自相关性”两个重要的概念,将命题连接词运算模型定义为由相关性所控制的算子簇,实现了命题连接词运算模型的柔性化。其中泛组合运算模型是为了满足连续值逻辑中综合决策的需求而提出的。目前仅有二元模型,在实际应用中迫切需要多元模型。但由于泛组合问题的复杂度随着“元”的个数增加而急剧增大,其设计有一定的难度。提出了多元泛组合运算模型和生成元加权零级泛组合运算模型,从而不仅满足了应用中多元综合决策的要求,还进一步完善了泛逻辑学中的命题连接词理论。     

一级泛非运算研究

何华灿等1996年提出关于不确定性推理的泛逻辑,对泛非运算给出了它的零级形式N(x)=1-x.本文讨论它的一级形式,内容包括不确定性的级,一级泛非现象,一级泛非公理,一级泛非运算N(x,h)的定义、主要性质和生成方法.这对深入认识不确定性及其逻辑规律,完善泛逻辑理论具有重要意义.     

线性T-S模糊系统作为通用逼近器的充分条件

作为模糊系统理论研究和实际应用的基础,对模糊系统通用逼近性的研究已经取得了 很大的进展,但是只有为数不多的文献研究了模糊系统作为通用逼近器的充分条件.提出了线 性T-S模糊系统以任意精度一致逼近紧致集上任意连续实函数的一个充分条件,并给出了数值 示例.该示例表明提出的充分条件明显优于现有的其它结果.     

特定Mamdani模糊系统的通用逼近性

特定Ｍａｍｄａｎｉ模糊系统是指采用模糊单点作为规则后件的多输入单输出Ｍａｍｄａｎｉ模糊系统。在每个输入变量的模糊子集满足一致笥以及录属函数连续且分段可微的条件下,证明了特定Ｍａｍ－ｄａｎｉ模糊系统是通用逼近器,在此基础上,进上步给出了特定Ｍａｍｄａｎｉ模糊系统一致逼近紧致集上任意连续实函数的充分条件。     

泛逻辑的一级泛运算模型的代数性质

论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h∈(0,0.75),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个MV-代数;当h∈(0.75,1),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个乘积代数。进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。     

政务信息资源交换体系的统一平台设计*

从政务信息资源交换内容、安全、模式以及机制的实际要求出发,提出政务信息资源交换的统一平台基本概念,并给出该统一平台物理架构与逻辑架构的建设构想.     

泛逻辑学中UB代数系统的(∈,∈∨q)-fuzzy滤子

何华灿教授给出了理想状态下的泛逻辑学的形式演绎系统β,并证明了该系统的可靠性。并且提出了理想状态下的泛逻辑学对应的代数系统-UB代数,并讨论了它们的性质。在以上这些结果的基础上,引入UB代数的(∈,∈∨q)-fuzzy滤子和(∈,∈∨q)-fuzzy关联滤子的概念,获得了它们的若干等价刻画,证明了(∈,∈∨q)-fuzzy关联滤子的扩张定理。     

两类模糊系统具有插值性的充要条件

当模糊系统具有插值性时,它必具有泛逼近性.因此,由插值性可以分析模糊系统的逼近能力.本文讨论了由“交”和“并”的方式聚合推理规则所生成的两类模糊系统的插值性问题.首先,通过分析由“单点”模糊化方法、CRI(com positional ru le of inference)算法以及“重心法”构造的模糊系统,指出模糊系统是否具有插值性关键取决于模糊蕴含算子的第二个变量为0和1时的表达式或取值.在此基础上,得到两类模糊系统具有插值性的充要条件.最后给出了满足这两个充要条件的一些常用的蕴涵算子.     

泛逻辑学中UB代数系统的fuzzy滤子

文献[2]给出了理想状态下泛逻辑学的形式演绎系统!,证明了此系统是可靠的。文献[3]提出了在理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数。文献[5]研究了泛逻辑学中UB代数系统的若干性质。在文献[3,5]的基础上,进一步讨论了UB代数fuzzy滤子与商代数。     

一种泛逻辑代数系统

文[3]给出了理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的形式演绎系统B,证明了此系统是可靠的。该文提出理想状态下(h=k=0.5)泛逻辑学对应的代数系统-UB代数,给出它的一系列性质。证明了UB代数是一个交换剩余半群;进一步证明了U B代数与M V代数、正规FI代数是等价的。