New Entailment Model based on Uncertain Logic

摘要：

In uncertain logic based on uncertainty theory dealing with uncertain knowledge, each formula is regard as an uncertain variable, and its truth value is defined as the uncertain measure that formula is true. In the paper, firstly, generalized laws of truth values of uncertain formulas are provided. Then, in order to strictly establish the entailment theory based on uncertain logic, some concepts are introduced, such as system (i.e., the set of uncertain formulas), U-evaluation on system and the theory with consistent truth values. Furthermore, a new entailment model based on uncertain logic is given, and some decision-making methods based on Uevaluation on system are presented.

关键词： nonclassical logic uncertain logic uncertain entailment

作者: Xingfang Zhang

作者单位: School of Mathematical Sciences, Liaocheng University, Liaocheng 252059, China

会议类型: 国际会议

会议名称: The Second International Conference on Uncertainty Theory(ICUT)(第二届不确定理论国际会议)

会议地点: 拉萨

会议语种:英文

页码: 112-115

在线出版日期: 2011-08-06（万方平台首次上网日期，不代表论文的发表时间）