欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：