二值命题逻辑中的三种#近似推理模式及其等价性.PDFVIP

22 2 Vol. 22, No. 2 2008 4 Fuzzy ystems and Mat hematics Apr . , 2008 : 1001-7402(2008) 02-0010-08 1 1, 2 刘保翠, 王国俊 ( 1. , 710062; 2. , 710049) :在二值命题逻辑中引入了公式的 蕴涵真度,证明了全体有限理 的蕴涵真度值在[0, 1] 中稠 密。在 蕴涵真度的基础上, 定义了公式间的 蕴涵相似度及伪距离。最后讨 了基于 蕴涵真度的三 种近似推理模式,得出了这三种近似推理模式之间是等价的结 。 : 二值命题逻辑; 蕴涵真度; 稠密; 近似推理模式; 等价 : O 14 1: A , , [ 1] [ 10] [ 1] , [ 3] , , [ 6] , , [ 3] [ 3] , [ 6] , , , 1 2 D ( ) [ 3] , , , , , 1　预备知识 A (p 1, ,p n ) L n , [ 3] 2. 2. 6 - n A n Boole A : {0, 1} {0, 1} p 1, ,p n , A 1 - - - 1 A A ( 1) p 1, ,p n n 0-1( v (p 1) , , n v (p n) ) (v (p i ) {0, 1}, i = 1, , n) , 2 [ 3] : 1. 1A (p 1, ,p n ) L n , A : 2006-12-15 : ( : ( 1982-) , , , , : ; ( 1935-) , , , , , : 2 , : 11 (A ) : - - 1 A ( 1) (A ) = n 2 1. 1A (p 1, ,p n ) F (S ) , ( i) A (A ) = 1 ( ) A (A ) = 0 ii 1. 1A B , (A ) = (B) 1. 2A , B F (S) , ( A B ) = (A ) + (B ) - (A B ) 1. 2A F (S ) , ( A ) = 1 - (A ) 1. 3A , B , C F (S)