Conditional randomized truth degree of formulas in Lukasiewicz n-valued propositional logic
Weibing Zuo · Computer Engineering and Applications Journal · 2012
Based on conditional probability,using the randomization method of valuation set,the concept of conditional randomized truth degree of formulas is introduced in the Lukasiewicz n-valued propositional logic.The MP rule and HS rule of conditional randomized truth degrees are proved.The concepts of conditional randomized similarity and conditional pseudo-metric between formulas are introduced and conditional randomized logic metric space is built.Several properties of conditional pseudo-metric are deduced and it is proved that the logical operations are continuous on conditional randomized logic metric space.The theory of approximate reasoning under certain information is given out.