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
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;
Conference_Titel :
Information Technology and Artificial Intelligence Conference (ITAIC), 2011 6th IEEE Joint International
Conference_Location :
Chongqing
Print_ISBN :
978-1-4244-8622-9
DOI :
10.1109/ITAIC.2011.6030212