DocumentCode
559957
Title
Randomization of Lukasiewicz 3-ValuedPpropositional Logic System
Author
Hui, Xiaojing
Author_Institution
Coll. of Math. & Comput. Sci., Yan´´an Univ., Yan´´an, China
Volume
3
fYear
2011
fDate
24-25 Sept. 2011
Firstpage
19
Lastpage
21
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICM.2011.392
Filename
6113574
Link To Document