Title :
Randomization of Lukasiewicz 3-ValuedPpropositional Logic System
Author_Institution :
Coll. of Math. & Comput. Sci., Yan´´an Univ., Yan´´an, China
Abstract :
In quantitative logic, every atomic formula has the same truth degree. To overcome the shortcomings of truth degree, this paper gives randomized truth degree by introducing randomized mapping in Lukasiewicz three-valued propositional logic. Randomized truth degree is a generalization of truth degree, and the role of the different atomic formula is reflected in it. Based on randomized truth degree, randomized logic pseudo-metric is obtained and it is proved that randomized logic pseudo-metric is also an extension of metric space in quantified logic. Randomized truth degree is a combination of quantitative logic and probability logic and is also a generalization of probabilities of formulas in classical propositional logic.
Keywords :
formal logic; Lukasiewicz 3-valued propositional logic system; atomic formula; quantitative logic; randomization; randomized logic pseudo-metric; randomized mapping; randomized truth degree; Cognition; Computers; Cost accounting; Extraterrestrial measurements; Mathematics; Probabilistic logic; logic metric space; quantitative logic; similarity degree; truth degree;
Conference_Titel :
Information Technology, Computer Engineering and Management Sciences (ICM), 2011 International Conference on
Conference_Location :
Nanjing, Jiangsu
Print_ISBN :
978-1-4577-1419-1
DOI :
10.1109/ICM.2011.392