Randomized Truth Degree of Propositions in Classical Logic System

Author

Zuo, Weibing ; Lou, Yan

Author_Institution

Coll. of Math. & Inf. Sci., North China Univ. of Water Conservancy & Hydroelectric Power, Zhengzhou, China

fYear

2009

fDate

19-20 Dec. 2009

Firstpage

1

Lastpage

4

Abstract

Defines two-valued logic p-measure in probability space whose power is 2 and randomized truth degree of propositions in classical logic system which is popularized from truth degree of propositions (see Wang Guojun in Science in China (series A) 45(9): 1106-1116, 2002). This paper also testifies that the set of randomized truth degree of all formulas in the range of is dense when p = 1/3, and gives the general expression of formula randomized truth degree. It defines similarity degree between formulas using randomized truth degree, and reduces a kind of pseudo-distance in the set of all formulas, so provides a possible structure of proximity reasoning theory.

Keywords

formal logic; inference mechanisms; random processes; classical logic system; probability space; proximity reasoning theory; randomized truth degree proposition; two-valued logic p-measure; Artificial intelligence; Educational institutions; Extraterrestrial measurements; Fuzzy logic; Fuzzy set theory; Fuzzy sets; Information science; Mathematics; Probabilistic logic; Time measurement;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Engineering and Computer Science, 2009. ICIECS 2009. International Conference on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-4994-1

Type

conf

DOI

10.1109/ICIECS.2009.5365170

Filename

5365170