DocumentCode
555162
Title
Constructing the graphical reasoning process for proposition logic
Author
Yi Wang ; Han Ding ; DongSheng Xiang
Author_Institution
Sch. of Math. & Comput. Sci., Xiang Fan Univ., Xiang Yang, China
Volume
1
fYear
2011
fDate
20-22 Aug. 2011
Firstpage
308
Lastpage
311
Abstract
Based on the theory of graphic method, through graphical the proposition formulas and the reasoning rules, this paper constructs the graphical reasoning process for proposition logic. And in the construction of the reasoning process, rules are made a brief description for using and analysis. Then through an example, explains the graphical construction method and process for proposition formulas and reasoning rules.
Keywords
fuzzy logic; fuzzy reasoning; graphical construction method; graphical reasoning process; proposition logic; Cognition; Grammar; Production; Programming; Scientific publishing; Visualization; graphical; proposition logic; reasoning theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology and Artificial Intelligence Conference (ITAIC), 2011 6th IEEE Joint International
Conference_Location
Chongqing
Print_ISBN
978-1-4244-8622-9
Type
conf
DOI
10.1109/ITAIC.2011.6030212
Filename
6030212
Link To Document