DocumentCode
677789
Title
Schematizing Proofs Based on Flow of Truth Values in Logic
Author
Al-Fedaghi, Sabah
Author_Institution
Comput. Eng. Dept., Kuwait Univ., Safat, Kuwait
fYear
2013
fDate
13-16 Oct. 2013
Firstpage
194
Lastpage
200
Abstract
The sentential (formal) representation of logic formulas has been described as "unreadable," and this contributes to its unpopularity as a design language. Currently, many researchers have proposed logic diagrams, especially as logical reasoning representations. This paper introduces a new method of diagrammatic representation of logical formulas that facilitates understanding of system behaviors with possible dynamic animation of propagation of truth values in proofs.
Keywords
formal logic; inference mechanisms; theorem proving; design language; diagrammatic representation; dynamic animation; formal representation; logic diagrams; logic formulas; logical formulas; logical reasoning representations; schematizing proofs; sentential representation; system behaviors; truth values; Animation; Cognition; Electricity; Frequency modulation; Knowledge representation; Materials; conceptual modeling; diagrams; logical formula; reasoning; representation;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics (SMC), 2013 IEEE International Conference on
Conference_Location
Manchester
Type
conf
DOI
10.1109/SMC.2013.40
Filename
6721793
Link To Document