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

被引：2

作者：

秦晓燕 ^{[1
,2
]}

刘军 ^{[3
]}

徐扬 ^{[1
]}

陈树伟 ^{[3
]}

刘熠 ^{[1
]}

机构：

[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年 / 29卷 / 01期

基金：

中国国家自然科学基金;

关键词：

approximate reasoning; pseudo-metric; quasi-truth degree; predicate logic;

D O I：

10.19884/j.1672-5220.2012.01.006

中图分类号：

O141 [数理逻辑（符号逻辑）];

学科分类号：

010104 ; 010105 ; 070104 ;

摘要：

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.

引用

页码：23 / 27

页数：5

共 28 条

[1] Theory of approximate reasoning in two-valued predicate logic based on the quasi-truth degrees
Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China
不详
不详
[J]. J. Donghua Univ., 1 (23-27):
[2] N-TRUTH DEGREES OF FORMULAE IN TWO-VALUED PREDICATE LOGIC
Qin Xiaoyan
Liu Yi
Xu Yang
[J]. UNCERTAINTY MODELING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2012, 7 : 726 - 731
[3] THEOREY OF VECTOR TRUTH DEGREES OF FORMULAS IN TWO-VALUED PREDICATE LOGIC
Qin, Xiao-Yan
Xu, Yang
[J]. PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, : 1724 - 1728
[4] Theory of truth degrees of propositions in two-valued logic
Wang, GJ
Fu, L
Song, JS
[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS, 2002, 45 (09): : 1106 - 1116
[5] Theory of truth degrees of propositions in two-valued logic
Guojun Wang
Li Fu
Jianshe Song
[J]. Science in China Series A: Mathematics, 2002, 45 (9): : 1106 - 1116
[6] Theory of truth degrees of propositions in two-valued logic
王国俊
傅丽
宋建社
[J]. ScienceinChina,Ser.A., 2002, Ser.A.2002 (09) - 1116
[7] Theory of truth degrees of propositions in two-valued logic
王国俊
傅丽
宋建社
[J]. Science China Mathematics, 2002, (09) : 1106 - 1116
[8] Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic
Ma, Yingcang
Zhang, Juanjuan
Liu, Huan
[J]. JOURNAL OF APPLIED MATHEMATICS, 2013,
[9] The validity degree vectors of formulae in two-valued predicate logic
Qin, Xiaoyan
Xu, Yang
Liu, Yi
[J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2015, 8 (05) : 829 - 840
[10] The validity degree vectors of formulae in two-valued predicate logic
Xiaoyan Qin
Yang Xu
Yi Liu
[J]. International Journal of Computational Intelligence Systems, 2015, 8 : 829 - 840

← 1 2 3 →