Theory of Approximate Reasoning in Two-Valued Predicate Logic Based on the Quasi-truth Degrees  

作　　者：秦晓燕 刘军 徐扬 陈树伟 刘熠 

机构地区：[1]Intelligent Control Development Center,Southwest Jiaotong University [2]College of Mathematics and Computer Science,Shanxi Normal University [3]School of Computing and Mathematics,University of Ulster

出　　处：《Journal of Donghua University(English Edition)》2012年第1期23-27,共5页东华大学学报（英文版）

基　　金：National Natural Science Foundation of China (No. 60875034);Spanish Ministry of Education and Science Fund,Spain (No.TIN-2009-0828);Spanish Regional Government (Junta de Andalucia) Fund,Spain (No. P08-TIC-3548)

摘　　要：Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the quasi-truth degrees of first-order formulae is discussed, and it is proved that there is no isolated point in the logic metric space (F, ρ ). Thus the pseudo-metric between first-order formulae is well defined to develop the study about approximate reasoning in the logic metric space (F, ρ ). Then, three different types of approximate reasoning patterns are proposed, and their equivalence under some condition is proved. This work aims at filling in the blanks of approximate reasoning in quantitative predicate logic.Based on the theory of the quasi-truth degrees in two- valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the quasi-truth degrees of first-order formulae is discussed, and it is proved that there is no isolated point in the logic metric space （f, p）. Thus the pseudo-metric between first-order formulae is well defined to develop the study about approximate reasoning in the logic metric space （ f, p ）. Then, three different types of approximate reasoning patterns are proposed, and their equivalence under some condition is proved. This work alms at filing in the blanks of approximate reasoning in quantitative predicate logic.

关 键 词：approximate reasoning PSEUDO-METRIC quasi-truth degree predicate logic 

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