Flowcharting the Meaning of Logic Formulas
Journal Title: International Journal of Advanced Research in Artificial Intelligence(IJARAI) - Year 2016, Vol 5, Issue 10
Abstract
In logic, representation of a domain (e.g., physical reality) comprises the things its expressions (formulas) refer to and their relationships. Recent research has examined the realm of nonsymbolic representations, especially diagrams. It is claimed that, in general, diagrams have advantages over linguistic descriptions. Current diagrammatic representations of logic formulas do not completely depict their underlying semantics, and they lack a basic static structure that incorporates elementary dynamic features, creating a conceptual gap that can lead to misinterpretation. This paper demonstrates a methodology for mapping the sense of a logic formula and producing diagrams that integrate linguistic conception, truth-values, and meaning and can be used in teaching, communication, and understanding, especially with students specializing in logic representation and reasoning.
Authors and Affiliations
Sabah Al-Fedaghi
Keywords
Related Articles
- EP ID EP96380
- DOI 10.14569/IJARAI.2016.051005
- Views 147
- Downloads 0
Discrimination of EEG-Based Motor Imagery Tasks by Means of a Simple Phase Information Method
We propose an off-line analysis method in order to discriminate between motor imagery tasks manipulated in a brain computer interface system. A measure of large-scale synchronization based on phase locking value...
A Comparison between Regression, Artificial Neural Networks and Support Vector Machines for Predicting Stock Market Index
Obtaining accurate prediction of stock index sig-nificantly helps decision maker to take correct actions to develop a better economy. The inability to predict fluctuation of the stock market might cause serious pro...
Association Rule Based Flexible Machine Learning Module for Embedded System Platforms like Android
The past few years have seen a tremendous growth in the popularity of smartphones. As newer features continue to be added to smartphones to increase their utility, their significance will only increase in future. C...
Temporally Annotated Extended Logic Programs
Extended logic programs (ELPs) are a set of logic rules with strong negation allowed in the bodies or head of the rules and weak negation ~ allowed in the bodies of the rules. ELPs enable for various forms of reasoning t...