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 :
بازگشت