● 摘要
模糊命题逻辑系统和模糊推理是多值逻辑研究的热点课题.本文就命题逻辑系统中最基本的概念的程度化以及模糊推理的全蕴涵三I算法做了深入研究,得到一些有意义的结果.本文核心内容包括四个部分,前三部分归入一章(第二章),第四部分单成一章(第三章),第一章是预备知识,主要介绍二值命题逻辑系统L和模糊命题逻辑系统Luk的语义和语构理论以及这两个系统中的计量逻辑学.
如果说文献[24]中计量逻辑学是从语义理论入手定义公式的真度的话,
那么本文将从语构的角度给出公式真度的形式化定义.第一部分针对二值命题逻辑系统L,给出公式的语构真度的概念和两个等价刻画定理以及三个语构真度的实例,并指出由语构真度诱导的相似度和伪距离具有文献[24]给出的相似度和伪距离的基本性质.此外讨论了语构真度在推理中的应用.
第二部分针对模糊命题逻辑系统Luk,类似于第一部分给出公式的语构真度的概念和两个具体的例子,然后给出语构真度的三个等价刻画,并通过反例指出,尽管L和Luk中的语构真度的定义在形式上非常相似,但L中关于语构真度的刻画难以在Luk中实现,而且第一部分中语构真度的某些基本性质在Luk中也不成立. 此外,通过实例指出关于Luk的讨论不能简单地平移到模糊逻辑系统L*中.
本文第三部分在第二部分的基础上,将Luk中公式的真度值推广到了一般的MV代数上,相对于第二部分的数值真度,给出公式的格值真度,并通过格值真度的性质说明格值真度是数值真度的合理推广.最后指出由于格蕴涵代数和MV代数是等价的代数系统,从而可以进一步实现格值命题逻辑公式的程度化.
本文第四部分主要深入研究了模糊推理的全蕴涵三I算法,改进了文献[2]给出的Zadeh-三IMP解,并给出Ro-三IMP解、Lukasiewicz-三IMP解、Zadeh-三IMP解、Godel-三IMP解具有还原性的充要条件,最后指出可以类似考虑FMT问题及其还原性.