Constructing the Graphical Reasoning Process for Proposition Logic

摘要：

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.

关键词： proposition logic reasoning theory graphical

作者: Yi Wang Han Ding DongSheng Xiang

作者单位: School of Mathematical and Computer Sciences Xiang Fan University Xiang Yang, China

会议类型: 国际会议

会议名称: 2011 6th Joint International Information Technology and Artificial Intelligence Conference(2011年第六届IEEE联合国际信息技术与人工智能会议 IEEE ITAIC 2011)

会议地点: 重庆

会议语种:英文

页码: 308-311

在线出版日期: 2011-08-20（万方平台首次上网日期，不代表论文的发表时间）