Quasi-truth Degree of Formula in Godel 3-Valued Logic System

Author

Zuo, Weibing

Author_Institution

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

fYear

2010

fDate

30-31 Jan. 2010

Firstpage

268

Lastpage

271

Abstract

The truth degree of formula is an important research content of Quantitative Logic, approximate reasoning based on the truth degree is a new reasoning mode. In this paper, we define three-valued logic (p, q, r) measure in discrete probability space and quasi-truth degree of formula which is popularized from truth degree of formula. We also prove that the set of quasi-truth degree of all formulas in the range of [0,1] is dense when (p, q, r)=(1/6,1/3,1/2) and give the general expression of quasi-truth degree. Finally, we define similarity degree between formulas and a kind of pseudo-distance in the set of all formulas, so provide a possible structure of approximate reasoning theory.

Keywords

inference mechanisms; probabilistic logic; ternary logic; 3-valued logic system; approximate reasoning theory; discrete probability space; pseudo distance; quantitative logic; quasitruth degree; Algebra; Atomic measurements; Cost accounting; Extraterrestrial measurements; Logic; Power engineering computing; Q measurement; Roentgenium; Sea measurements; Underwater communication; approximate reasoning; q; quasi-truth degree; r) measure; similarity degree; three-valued logic (p;

fLanguage

English

Publisher

ieee

Conference_Titel

Innovative Computing & Communication, 2010 Intl Conf on and Information Technology & Ocean Engineering, 2010 Asia-Pacific Conf on (CICC-ITOE)

Conference_Location

Macao

Print_ISBN

978-1-4244-5634-5

Electronic_ISBN

978-1-4244-5635-2

Type

conf

DOI

10.1109/CICC-ITOE.2010.74

Filename

5439216