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 ...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.展开更多
The metrization of a probabilistic metric space (for short, PM-space )usually implies the metrization of its (ε,λ)-topological structure. Therefore, if a PM-space is metrizable, it only implies that its topological ...The metrization of a probabilistic metric space (for short, PM-space )usually implies the metrization of its (ε,λ)-topological structure. Therefore, if a PM-space is metrizable, it only implies that its topological properties do not have an essential distinction with metric space. However, PM-spaces also have abundant and unique probabilistic metric properties.展开更多
For a Riemann surface X of conformally finite type （g, n）, let dT, dL and dpi （i = 1, 2） be the Teichmuller metric, the length spectrum metric and Thurston＇s pseudometrics on the Teichmutler space T（X）, respect...For a Riemann surface X of conformally finite type （g, n）, let dT, dL and dpi （i = 1, 2） be the Teichmuller metric, the length spectrum metric and Thurston＇s pseudometrics on the Teichmutler space T（X）, respectively. The authors get a description of the Teichmiiller distance in terms of the Jenkins-Strebel differential lengths of simple closed curves. Using this result, by relatively short arguments, some comparisons between dT and dL, dpi （i = 1, 2） on Tε（X） and T（X） are obtained, respectively. These comparisons improve a corresponding result of Li a little. As applications, the authors first get an alternative proof of the topological equivalence of dT to any one of dL, dp1 and dp2 on T（X）. Second, a new proof of the completeness of the length spectrum metric from the viewpoint of Finsler geometry is given. Third, a simple proof of the following result of Liu-Papadopoulos is given： a sequence goes to infinity in T（X） with respect to dT if and only if it goes to infinity with respect to dL （as well as dpi （i = 1, 2））.展开更多
基金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.
文摘The metrization of a probabilistic metric space (for short, PM-space )usually implies the metrization of its (ε,λ)-topological structure. Therefore, if a PM-space is metrizable, it only implies that its topological properties do not have an essential distinction with metric space. However, PM-spaces also have abundant and unique probabilistic metric properties.
基金supported by the National Natural Science Foundation of China (No. 10871211)
文摘For a Riemann surface X of conformally finite type （g, n）, let dT, dL and dpi （i = 1, 2） be the Teichmuller metric, the length spectrum metric and Thurston＇s pseudometrics on the Teichmutler space T（X）, respectively. The authors get a description of the Teichmiiller distance in terms of the Jenkins-Strebel differential lengths of simple closed curves. Using this result, by relatively short arguments, some comparisons between dT and dL, dpi （i = 1, 2） on Tε（X） and T（X） are obtained, respectively. These comparisons improve a corresponding result of Li a little. As applications, the authors first get an alternative proof of the topological equivalence of dT to any one of dL, dp1 and dp2 on T（X）. Second, a new proof of the completeness of the length spectrum metric from the viewpoint of Finsler geometry is given. Third, a simple proof of the following result of Liu-Papadopoulos is given： a sequence goes to infinity in T（X） with respect to dT if and only if it goes to infinity with respect to dL （as well as dpi （i = 1, 2））.
