n值SMTL系统中命题的∑-(%5bα%2cβ-真度%5d)理论论文.pdfVIP

硕P≯何沦文 摘 要 本世纪初，在均匀概率的基础上，王国俊教授在二值命题逻辑中引入了命题的 真度概念，进而建立了计量逻辑学理论并提出了一套近似推理模式．随后，在大量 学者的共同努力下，计量逻辑学已经发展成为一门比较成熟的学科．计量逻辑学的 目的是将数值计算引入数理逻辑，使数理逻辑具有某种灵活性并扩大其可能的应 用范围．它的根本出发点就在于基本概念的程度化，其中，将重言式概念程度化后 引入的命题的真度概念又是最基本的，相似度和伪距离等一些概念都是在真度的 基础之上而引进的． 另外，为了细致地刻画命题的好坏，王国俊教授等又提出了∑一(口一重言式)和 ∑一(∥一矛盾式)的概念．本文的主要目的就是通过将∑一(口一重言式)和 ∑一(∥一矛盾式)的概念同时进行程度化而提出命题的∑一(『口，∥1一真度)概念．命 题的∑一(f口，∥卜真度)既刻画了该命题作为∑一(口一重言式)又作为 l ∑一(∥一矛盾式)的程度．当口和∥都接近于去时，命题的∑一(【口，∥卜真度)就反映 Z 了该命题既不好也不坏的程度．基于命题的∑一(『口，∥1一真度)理论，在n值SMTL 命题逻辑系统的统一框架下建立了一套完整的近似推理机制． 全文共分三章： 第一章提出并引用相关的定义，给出了全文要用到的一些预备知识． 本文第二章在n值SMTL命题逻辑系统中首先提出了命题的∑一(口一真度)概 念，其中∑是全体赋值之集Q。的一个子集，并且可根据需要来任意设定，此时， 命题的∑一(口一真度)是对真度的双重程度化，并使得对真度的研究更加细致．其 次，引进了命题间的∑一相似度和∑一伪距离的概念，基于命题I’日J的∑一伪距离为 n值SMTL命题逻辑系统建立了一套完整的近似推理机制． 第三章在n值SMTL命题逻辑系统中提出了命题的∑一(『口，∥1一真度)概念． 给出了命题的∑一([口，夕卜真度)推理规则；其次，基于命题的∑一([口，∥】一真度)引 入了命题间的∑一(『口，∥卜相似度)的概念，为进～步建立基于 ∑一(f口，／q一伪距离)的近似推理奠定了基础． 关键词：∑一(口一真度)：∑一(【口，∥卜真度)；∑一(【口，∥卜相似度)，∑一伪距离 论文类型：应用基础研究 stract Ab introducesthe the ofthis WangGuojun concept At century，Professor beginning onthe based intwovalued logic oftruth ofthe propositional degrees proposition amodelfor ofthe isestablishedand logic unifbrm theory quantitative probability，the is forwardtherefore．Afterextensively reasoningput a