【非经典数理逻辑与近似推理】王国俊科学.pdf
《现代数学基础丛书》编委会 副坚江泽培李大潜 陈希孺张恭庆严志达胡和生 姜伯驹聂灵沼莫绍曹锡华 编委(以姓氏笔画为序)
字数:256000 内客简介 本书大部分内容是作者近期的研究成果.全书较系统地讲述了各种三 值逻辑、n值逻辑以及连续值逻辑理论:为模糊命题演算建立了一套形式 演绎系统.把模推理纳人了严格的逻辑轨道.从整体赋值出发,建立了 积分语义学理论,为近似推理提供了一种可能的框架:系统论述了Pavel 本书可作为计算机专业、自动控制专业的研究生教材,也可供数学及 非经典数理逻辑与近似推理/王国俊著:一北京:科 I.非.Ⅱ.王Ⅲ.数理逻辑:模糊逻辑-命题 核字第60219号 钟学盛服社出版 北京东黄城根北街16号 发行各
经典数理逻辑的话,那么本书的“非经典数理逻辑”自然就不属 于以上各范畴了.这里我们并未将逻辑演算排除在外,因为逻辑 演算是本书的重要组成部分.不过本书的逻辑演算又与经典的逻 经典的逻辑演算主要包括命题演算与谓词演算(也称一阶逻 辑)两个部分、从一定意义上讲,这两部分的内容在于从形式上 分析命题之间的关系以及命题自身的结构从而达到判定命题真伪 的目的.然而并非每个命题都可用“真”与“假”这两种情况来 对这个未来的事件我们既不能断定其为真,也不能断定其为 假,七ukasiewicz引入了不同于“真”和“假”的第三个值来表 示其真实程度,并提出了三值逻辑的理论,让我们更加展开一 这里命题2和命题1属