Title :
Randomized truth degree of formula in 5-valued diamond lattice logic
Author_Institution :
Coll. of Math. & Inf. Sci., North China Univ. of Water Resources & Electr. Power, Zhengzhou, China
Abstract :
By means of randomization, the concept of randomized truth degree and randomized logic pseudo-metric of formulas in 5-valued diamond lattice logic system are introduced. The concept of randomized logic metric space based on 5-valued diamond lattice logic system is also introduced and it is proved that the new built randomized concepts are extensions of the corresponding concepts of quantitative logic and randomized truth degree in 5-valued diamond lattice logic system.
Keywords :
formal logic; inference mechanisms; matrix algebra; randomised algorithms; truth maintenance; 5-valued diamond lattice logic system; pseudometric; randomized logic metric space; truth degree; Approximation methods; Cognition; Diamond-like carbon; Extraterrestrial measurements; IEEE Press; Lattices; lattice logic system; logic metric space; randomized logic pseudo-metric; randomzied truth degree;
Conference_Titel :
Information and Financial Engineering (ICIFE), 2010 2nd IEEE International Conference on
Conference_Location :
Chongqing
Print_ISBN :
978-1-4244-6927-7
DOI :
10.1109/ICIFE.2010.5609423
