DocumentCode
2669767
Title
Randomized truth degree of formula in 5-valued diamond lattice logic
Author
Zuo, Weibing
Author_Institution
Coll. of Math. & Inf. Sci., North China Univ. of Water Resources & Electr. Power, Zhengzhou, China
fYear
2010
fDate
17-19 Sept. 2010
Firstpage
571
Lastpage
575
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information and Financial Engineering (ICIFE), 2010 2nd IEEE International Conference on
Conference_Location
Chongqing
Print_ISBN
978-1-4244-6927-7
Type
conf
DOI
10.1109/ICIFE.2010.5609423
Filename
5609423
Link To Document