Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (35): 36-38.DOI: 10.3778/j.issn.1002-8331.2010.35.010

• 研究、探讨 • Previous Articles     Next Articles

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

WANG Ting-ming   

  1. Department Mathematics,College of Teachers,Qingdao University,Qingdao,Shandong 266071,China
  • Received:2009-05-04 Revised:2009-06-25 Online:2010-12-11 Published:2010-12-11
  • Contact: WANG Ting-ming



  1. 青岛大学 师范学院,山东 青岛 266071
  • 通讯作者: 王廷明

Abstract: Based on the deducing thought from the formula A to B under a certain info restriction and the truth degree is also considered,the 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 conclusion set in finite theory.Meanwhile the approximate reasoning problems is discussed which resulted from the info-restricted implication measurement in two-valued propositional logic.

Key words: two-valued propositional logic, truth degree, info restriction, Г-restricted implication degree, Г-restricted implication measurement, approximate reasoning

摘要: 基于某信息限制下若A则B的推理思想,以真度为基础,在二值命题逻辑系统中引入有限信息限制下的公式蕴涵度概念,由此定义了信息限制蕴涵度量,并通过信息限制蕴涵度量的真度表示式,给出一系列与有限理论结论集相关的限制蕴涵度量不等式,对二值命题逻辑中基于信息限制蕴涵度量的近似推理问题进行讨论。

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

CLC Number: