基于泛逻辑学的逻辑关系柔性化研究的论文

时间:2021-04-15 13:55:31 论文 我要投稿

基于泛逻辑学的逻辑关系柔性化研究的论文

  为了建立这种柔性化的逻辑体系,何华灿从模糊逻辑入手,在大量研究的基础上,创立了泛逻辑学,实现了模糊逻辑关系的柔性化[2].按照泛逻辑学的观点,模糊逻辑和概率逻辑都是它的具体特例,它们在逻辑关系柔性化方面的思想是一致的.因此,基于泛逻辑学实现模糊逻辑关系柔性化的思想和方法,研究概率逻辑关系的柔性化问题,是在泛逻辑学框架内实现概率逻辑关系柔性化的一条有效途径.

基于泛逻辑学的逻辑关系柔性化研究的论文

  1.泛逻辑学实现模糊逻辑关系柔性化的思想和方法

  泛逻辑学针对模糊逻辑关系存在的缺陷,基于三角范数理论,利用相关性解决了模糊命题联结词为什么应该是一组连续可变的算子簇和如何使用该算子簇中的算子这样两个重大问题,真正实现了模糊逻辑关系的柔性化.

  1.1模糊逻辑关系存在的主要缺陷

  在模糊逻辑中,其命题真值可以通过在[0,1]区间连续取值的隶属函数#来刻画,是柔性的.但其逻辑关系却只能通过固定的模糊运算联结词1,A,V,^,0来实现,是刚性的.由于刚性的模糊运算联结词仅能用来描述那种完全确定的逻辑关系,而无法描述现实世界中大量存在的不确定的逻辑关系,因此逻辑关系的刚性化问题是模糊逻辑存在的一个主要缺陷.这一缺陷说明,模糊逻辑关系不应该是一组固定不变的算子,而应该用一组不确定的算子簇来定义.

  为了寻找这组不确定的算子簇,有关科学家进行了大量探索,早在泛逻辑学出现之前人们就已经提出了一些修补性方法.例如,模糊与/或算子对?/?,模糊蕴含/等价算子对,广义模糊算子对⑩*/?*,基于三角范数的模糊算子等.但是,这些方法都未能真正实现模糊逻辑关系的连续可变性,也都未能从逻辑学上找到存在这种连续可变运算模型的合理性和客观依据.

  1.2泛逻辑学实现模糊逻辑关系柔性化的思想

  泛逻辑学认为模糊命题的相关性是引起模糊逻辑关系柔性的主要原因,它把相关性分为广义自相关性和广义相关性两种类型,并用这两种相关性来刻画各种逻辑关系的柔性.

  1.2.1用广义自相关性描述模糊非运算的柔性

  广义自相关性是指一个命题与其非命题之间的关联性,它由模糊命题真值的测量误差所引起,并将影响到模糊非命题的真值.广义自相关性表现的是一种连续变化的特性,其大小是用一个在[0,1]区间连续变化的广义自相关系数从0SK1)来表示的i代表的是模糊非运算W(x,幻的风险程度,它的一些特殊值的含义如下:

  当k=1时,表示逻辑上的最大否定,对应于最冒险估计;

  当*=0.5时,表示逻辑上的适度否定,对应于精确估计;

  当k=0时,表示逻辑上的最小可能否定,对应于保险估计.并且当k由1^0时,W(x,fc)能够在这些状态之间平滑过渡,从而可以实现逻辑非运算的柔性化.

  1.2.2用广义相关性描述模糊与/或运算的柔性

  广义相关性是指不同模糊命题之间的关联性,它将影响到二元复合命题的真值计算.泛逻辑学中的广义相关性又包含了模糊命题之间的相生和相克关系.其中,相生关系是各种包容关系和共生关系的抽象,可用一个在[-1,1]区间连续变化的相生系数g来描述,当g=1时,表示为最大相吸状态;g=0时,表示为独立状态;g=-1时,表示为最大相斥状态.相克关系是各种抑制关系(如敌对关系和生存竞争关系)的抽象,可用一个在[-1,1]区间连续变化的相克系数f来描述,当户1时,表示为最大相克状态f=0时,表现为僵持状态f=-1时,表示为最小相克状态.

  实际上,最小相克与最大相斥是同一种状态,即相生性与相克性的分界线.它说明,相生性与相克性既相互独立,又可连续过渡.泛逻辑学对广义相关性的这种连续变化特性是用一个统一描述相关性大小的广义相关系数叫0幼幻)来表示的.对h的一些特殊值,受其控制的与运算取,#)和或运算处,#)的情况如下:

  可见,当h在[0,1]区间由1^0时,r(x,y,h)和S(x,y,h)能够在这些状态之间平滑过渡,这就为实现与域关系的柔性化提供了可能.

  1.3泛逻辑学实现模糊逻辑关系柔性化的方法

  泛逻辑学实现模糊逻辑关系柔性化的基本方法是,首先根据不确定性问题的模糊测度是否存在误差,将其划分为零级不确定性问题或一级不确定性问题,然后对零级或一级不确定性问题,分别用零级范数完整簇或一级范数完整超簇来处理.

  1.3.1零级/一级不确定性问题

  零级不确定性问题是指模糊测度无误差,能够精确得到模糊命题真值的问题.此时,*=0.5,模糊非运算是单一的,即W(x,0.5)=W(x)=1-x.但由于广义相关性的存在,模糊与/或/蕴含/等价等运算并不单一,而是一组受h控制的变化的公式簇,即零级TISIIIQ范数完整簇.

  一级不确定性问题是指模糊测度有误差,不能精确得到模糊命题真值的问题.此时,&0.5,模糊非运算不再单一,而是一组受k控制的变化的公式簇,即N性生成元完整簇.同样,由于广义相关性的存在,其模糊与/或/蕴含/等价等算子也不单一,而是一组受k和h控制的变化的公式簇,即一级TISIIIQ范数完整超簇.

  1.3.2N范数与N范数完整簇

  N范数是三角范数理论中研究的一个涉及模糊非运算的算子,也是泛逻辑学研究模糊非运算的数学基础.利用N范数,可以从理论上解释和定义广义自相关性对模糊非运算模型的影响.

  在零级不确定性问题中,k=0.5,模糊非运算为N范数的一个特例.但在一级不确定性问题中,&0.5,模糊非运算N(x>1-x.这时,需要用一个受k控制的广义自相关性修正函数来对误差进行修正,这个修正函数被称为一级泛逻辑运算的N性生成元完整簇,由它又可生成N范数完整簇.常用的N性生成元完整簇模型有多项式模型和指数模型两种,与其对应的N范数完整簇也有多项式模型N和指数模型鸠两种.它们分别是:

  由于广义自相关系数k是连续变化的,因此会有无限多个连续的N算子.其中k=0.5仅是N算子的一个特例,其值灿>^)=¥^,0.5)=¥^),此时N算子退化为Zadeh算子.

  1.3.3T/S范数完整簇与T/S范数完整超簇

  T范数和S范数是三角范数理论研究中涉及到模糊与/或运算的两个算子,也是泛逻辑学研究模糊与/或运算的数学基础.利用T/S范数,可以从理论上解释和定义广义相关性对模糊与/或运算模型的影响.

  (1)零级TIS范数完整簇

  对零级不确定性问题,模糊与/或运算仅受广义相关性的影响,因此可分别用两个仅受h控制的函数F>(x,h)和Go(x,h)来表示这种影响.这两个函数分别被称为零级S性生成元完整簇和零级T性生成元完整簇,由它们所分别生成的零级T范数完整簇7Ix,y,h)和S范数完整簇S(x,y,h)如下:

  由于广义相关系数h是连续变化的,因此会有无限多个连续的7Ix,y,h)算子和S(x,y,h)算子.其中,h=1是T算子的一个特例,其值7^,>^)=7^,>>,1)=7^,>0,退化为Zadeh算子.同样,h=1也是S算子的一个特例,其值S(x,y,h)=S(x,y,1)=S(x,y),也退化为Zadeh算子.

  (2)—级T/S范数完整超簇

  对一级不确定性问题,h和k都会对模糊与/或运算产生影响,因此需要分别用两个均受到h和k控制的函数F(x,hk)和G(x,hk)来表示这种影响.这两个函数分别被称为一级泛逻辑运算的T性生成元完整超簇和^性生成元完整超簇.由它们又可分别生成一级T范数完整超簇7Ix,>^k)和一级S范数完整超簇办,少,从).以纯指数型为例,一级T/S范数完整超簇分别为

  同样,由于广义自相关系数k和广义相关数h是连续变化的,因此也会有无限多个连续的7Ix,y,hk)算子和S(x,y,hk)算子.其中k=0.5是一个特例,此时T(x,y,hk)和S(x,y,hk)均退化为零级模型.

  1.3.4T/S相容算子簇

  上述TIS算子簇都是与/或运算的近似公式,当k=0.5,^e[0.5,1]时,经典模糊测度满足可加性,其T/S算子满足相容律,可使用精确的Frank算子簇.Frank算子簇是目前唯一被发现的一对相容算子簇,其定义为

  Frank算子簇是零级算子簇,它只有相容部分,没有相克部分,仅适应于he(0.5,1)的情况,即概率逻辑的讨论范围.

  1.3.5I/Q范数完整簇与1IQ范数完整超簇

  对于泛蕴含算子I和泛等价算子Q,也可根据零级/一级不确定性问题的划分,将其分为零级IIQ范数完整簇和一级I/Q范数完整超簇,并且它们都可以由前面讨论过的不同级别的NITIS算子直接推出.至于其推导过程和由该过程所导出的零级IIQ范数完整簇1^,>^)》&,>^)和一级IIQ范数完整超簇I(x,y,h,k)/Q(x,y,h,k)可参考文献.

  通过以上讨论可以看出,无论是NITISIIIQ范数完整簇,还是TISIIIQ范数完整超簇,都是受k或h控制的连续函数.因此,由它们所描述的模糊逻辑关系也都应该是连续变化的,即真正实现了模糊逻辑关系的柔性化.

  2.基于泛逻辑学的概率逻辑关系柔性化问题

  概率是解决因随机引起的不确定性问题的一种有效方法,在现有的不确定推理方法中有不少是基于概率论的,例如确定性理论、主观Bayes方法、证据理论等.但是,这些不确定性推理方法也仅仅是基于概率,而不能真正实现逻辑框架内的概率逻辑不确定推理.产生这种现象的主要原因是概率逻辑自身存在着缺陷,尤其是存在着逻辑关系的刚性化问题.

  2.1概率逻辑研究概述

  概率逻辑是由Keynes于1921年首先提出的,虽然目前已有多种不同的逻辑模型,但它们都还很不完善,各种模型都存在着自身的缺陷.

  2.1.1概率逻辑的概念

  在基于o代数的标准概率论中,概率是定义在标准概率空间005,P)上的.它满足非负性、规范性、可列可加性、有限可加性、次可加性、可减性、单调性、尸(必)=0及P卜a)=1-P⑷等,常用的概率运算主要包括:补、加、乘、条件概率等.

  按照Camap的观点,概率应分为两大类,一类是逻辑概率,是指概率的逻辑解释;另一类是统计概率,是指概率的频率解释.概率逻辑就是指概率的逻辑解释,它是在概率空间上定义的一个逻辑体系.

  2.1.2传统概率逻辑的主要模型

  传统概率逻辑模型主要包括基于标准概率空间的标准概率逻辑模型,基于概率最大熵原则的可能世界模型,以及扩充概率空间的条件事件代数模型.

  (1)标准概率逻辑模型

  该模型是指在标准概率空间上建立的一种标准概率逻辑体系.卡尔纳普(Carnap)概率逻辑和波普尔(Poroer)概率逻辑是这种模型的两个典型代表.

  Popper概率逻辑包括Popper先验概率和Popper条件概率.其中,Popper先验概率是由Popper基于概率逻辑的自主性描述于1938年提出的先验概率函数来定义的,该函数的基本性质包括:非负性、正规性、可加性、交换律、结合律、幂等律.Po^er先验概率函数的这些基本性质通常被看做是先验概率函数的标准公理系统.Po:pper条件概率是由Popper本人基于概率逻辑的自主性描述,分别于1955年和1959年提出的条件概率函数来定义的,该条件概率函数的基本性质包括:非负性、正规性、可加性、乘法律、左交换律、右交换律.

  Carnap概率逻辑也包括Carnap先验概率和Carnap条件概率,其先验概率和条件概率分别是由Carnap(1950)函数和Carnap(1952)函数所描述的.其中,Carnap(1950)函数实际上是在前述Popper先验概率函数标准公理系统的基础上增加了以下限制条件:

  (2)可能世界概率逻辑模型

  该模型是Nilsson于1986年基于概率分布的最大熵原则提出的一种表示不确定推理的概率逻辑模型[5],该模型的概率逻辑空间可用一个四元组(厂兑双尸)来表示.其中:/是经典逻辑中的命题集,O是/I的相容真值指派域,万是/上的概率逻辑真值分布,P是^上的一个概率分布.它们之间的关系可用矩阵表示为乃=FP.该矩阵表示形式实际上是一个非线性方程组.

  (3)条件事件代数模型

  条件事件代数是在确保规则概率与条件概率相容的前提下,把布尔代数上的逻辑运算推广到条件事件(规则)集合中得到的一个代数系统.在二值逻辑中,逻辑蕴含算子是一个重要的推理公式,但在概率逻辑中,却不能用Pp^a)对P(啪)进行度量.Lewis定理表明,在概率空间中无法给出一种与尸(#)相一致的P04a)的定义.其主要原因是,在基于o代数的标准概率论中,概率空间是由一些非条件事件及其相应的概率分配所决定的,而条件事件在概率空间(级B,P)中没有被定义.因此,基于标准概率空间的概率逻辑也就无法进行条件推理了.

  要解决条件概率推理问题,就必须对仅包含基本事件的标准概率空间Ofl,B,P)进行扩充,使其能够包含条件事件.关于条件事件代数的定义,现有多种描述方式,GNW条件事件代数是其中较有代表性的一种.该代数系统是从标准概率空间出发,去寻找一个新的可测空间(岛方),使该可测空间不仅包含概率论中的基本事件,而且还包含诸如“ifEthenH”等规则形式的“条件事件”,这样就可以进行条件推理了.

  2.1.3传统概率逻辑模型的简单分析

  从上述传统概率模型的介绍可以看出,标准概率逻辑模型并没有突破标准概率空间的限制,是一种在逻辑框架内解决概率逻辑不确定性推理的方法.但由于标准概率空间中仅包含了基本事件,没有包含条件事件,因此它无法实现逻辑框架内的条件推理.另外,该模型中定义的逻辑关系都是刚性化的`,这种刚性化的逻辑关系无法满足现实问题对逻辑关系柔性化的需求.

  可能世界概率逻辑模型是通过扩充概率空间来实现的.尽管它可以用类似于经典逻辑中的假言推理来解决概率推理中的概率蕴含问题,但仍存在以下两个严重问题:第1,这种模型仅适应于命题集较小的情况,当命题集较大时,非线性方程组的次数会随命题集中命题个数的增加而升高;第2,利用解方程组的方法超出了逻辑学的范畴,未能在逻辑框架内解决问题.

  GNW条件事件代数模型虽然通过扩充概率逻辑空间能够解决条件推理问题,但也存在两个严重缺陷:第1,该模型不是完全布尔型的,概率论中的一些典型定理在该模型中已不再适用;第2,对概率测度P扩张以后得到的P。,也已不是一个概率测度.例如,

  这些都是人们所不希望的.因此,条件事件代数也不是在逻辑框架内解决概率逻辑推理问题的最佳方法.通过对这些传统概率模型的分析可以看出,要解决概率逻辑关系的柔性化问题,实现逻辑框架内的概率逻辑不确定推理,必须寻求新的逻辑学模型.泛逻辑学的出现为解决这一问题提供了可能.

  2.2概率逻辑关系柔性化的思想

  从泛逻辑学的角度来看,广义相关系数^=0.75是一种独立相关状态,对应着概率算子:

  它说明,现有概率逻辑仅是泛逻辑学在k=0,^e[0.5,1]时的一种特例.基于泛逻辑学的这一思想,从逻辑关系柔性化的角度分析概率逻辑算子^,v,A及|,可得到以下两个重要启示:

  (1)概率逻辑作为泛逻辑学在A=0.5,he[0.5,1]时的一个特例,其算子将受到广义相关系数h的影响.即当h在区间[0.5,1]中发生变化时,概率逻辑算子应该随着h的改变而作柔性变化.但是,现有概率逻辑算子^,v,A都没有考虑广义相关性的影响,也都没有建立这些逻辑算子和h之间的联系.实际上,应该能够在泛逻辑学框架内建立起这种受h控制的柔性的^,v,A算子函数.

  (2)条件概率Mab)虽然考虑到了独立性,也定义了独立相关时的条件概率公式,但对非独立相关时的条件概率却没有建立起它与h之间的联系.事实上,独立性与条件概率存在以下关系:

  它说明,广义相关性与条件概率之间是存在一定联系的,我们应该能够在泛逻辑学框架内用一个受h控制的条件概率函数来描述它们之间的这种联系.

  2.3概率逻辑关系柔性化的方法

  由于泛逻辑学在k=0.5,he[0.5,1]时所研究的问题对应于概率逻辑问题,这就为我们在泛逻辑学框架内解决概率逻辑关系柔性化问题提供了理论依据.

  在泛逻辑学中k=0.5属零级不确定性问题,因此可用其零级N/T/S泛数完整簇来构造柔性的概率逻辑算子函数,包括^,v,A,|等.以条件概率算子“|”为例,可将描述与运算的T范数完整簇:

  因此,可使用精确的Frank相容算子簇来构造概率逻辑的^,v,A,|等算子函数.

  按照这种方法,就可以在泛逻辑学框架内建立起一个柔性化的新的概率逻辑体系.这种新的概率逻辑体系能够改进经典概率逻辑的推理性能.仍以条件概率为例,由于经典概率论中的条件概率是基于独立性定义的,并没有考虑广义相关性的影响,因此盲目使用条件概率就有可能会出现偏差.而对受h控制的新的条件概率函数,则可避免这种偏差,保证条件概率使用的正确性.

  3结论

  泛逻辑学对模糊逻辑关系柔性化的研究,为在逻辑框架内解决逻辑关系的柔性化问题指明了方向,是逻辑学发展史上的又一次飞跃.基于泛逻辑学的思想和方法,在逻辑学框架内建立起柔性化的新的概率逻辑体系,不仅对概率逻辑,而且对基于概率的各种不确定性推理方法都将具有重要的学术意义和实用价值.

【基于泛逻辑学的逻辑关系柔性化研究的论文】相关文章:

《逻辑学》的教学研究论文11-08

有关柔性化配送中心特点研究论文10-28

逻辑学研究的认知转向分析论文11-02

基于课堂的教师行动研究的论文10-21

基于柔性内部控制研究论文10-27

基于EVA的价值创造研究论文10-26

关于《逻辑研究》的科学概念与纯粹逻辑学的论文11-15

PBL在逻辑学教学中的应用研究论文07-26

语言研究是亚氏传统逻辑学说的起源论文11-06