二值命题逻辑中Γ限制蕴涵度量与近似推理  

Г-restricted implication degree and approximate reasoning in two-valued propositional logic

作　　者：王廷明[1] 

机构地区：[1]青岛大学师范学院,山东青岛266071

出　　处：《计算机工程与应用》2010年第35期36-38,共3页Computer Engineering and Applications

摘　　要：基于某信息限制下若A则B的推理思想,以真度为基础,在二值命题逻辑系统中引入有限信息限制下的公式蕴涵度概念,由此定义了信息限制蕴涵度量,并通过信息限制蕴涵度量的真度表示式,给出一系列与有限理论结论集相关的限制蕴涵度量不等式,对二值命题逻辑中基于信息限制蕴涵度量的近似推理问题进行讨论。Based on the deducing thought from the formula A to B under a certain info restriction and the truth degree is also consideredt,he implication degree of the formula under the control of the finite-info restriction is defined in two-valued propositional logic system.And hence,the definition of the implication measurement of the info restriction is obtained.Through the expressions of the implication measurement,a series of inequalities can be gotten which are relative to the con-clusion set in finite theory.Meanwhile the approximate reasoning problems is discussed which resulted from the info-restrict-ed implication measurement in two-valued propositional logic.

关 键 词：二值命题逻辑 真度 信息限制 Γ限制蕴涵度 Γ限制蕴涵度量 近似推理 

分 类 号：O141.3[理学—数学]