A modified uncertain entailment model

Article type: Research Article

Authors: Zhang, Xingfang | Li, Lingqiang | Meng, Guangwu

Affiliations: School of Mathematical Sciences, Liaocheng University, Liaocheng, China

Note: [] Corresponding author. Guangwu Meng, School of Mathematical Sciences, Liaocheng University, Liaocheng 252059, China. E-mails: [email protected] (Guangwu Meng); [email protected] (Xingfang Zhang); [email protected] (Lingqiang Li).

Abstract: Uncertain entailment model, presented by Liu in 2009, is a methodology for calculating the truth values of all uncertain formulae from an arbitrary subfamily of uncertain formulae with known truth values. In this paper, we find that the uncertain entailment model works only under some additional conditions. To sketch these conditions, a new notion of uncertain measure-evaluation (U-evaluation for short) is introduced, and a consistent theory based on it is presented. Then a modified (or more concrete) uncertain entailment model is given. Also, a practical example is provided to illustrate the effectiveness of the model.

Keywords: Nonclassical logic, uncertain logic, uncertain entailment

DOI: 10.3233/IFS-131023

Journal: Journal of Intelligent & Fuzzy Systems, vol. 27, no. 1, pp. 549-553, 2014