D-LOGIC METRIC SPACE AND APPROXIMATE REASONING

Hui Xiaojing,wang Guojun
DOI: https://doi.org/10.3969/j.issn.0469-5097.2007.02.009
2007-01-01
Abstract:By means of randomization,the concept of D-randomized truth degree of formulas in two-valued propositional logic is introduced.It is proved that the set of values of D-randomized truth degree of formulas has no isolated point in[0,1];The concepts of D-logic pseudo-metric and D-logic metric space are also introduced.It is proved that there is no isolated point in the space;The new built D-randomized concepts axe extensions of the corresponding concepts in quantified logic;Moreover, three different types of approximate reasoning patterns are proposed in D-logic metric space and it is proved that they are equivalent to each other.
What problem does this paper attempt to address?