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 160
- Downloads 0
The Influence of Stubborn Agents in a Multi-Agent Network for Inter-Team Cooperation/Negotiation
When teams interact for cooperation or negotiation, there are unique dynamics that occur depending on the conditions. In this paper, a multi-agent system is used under the restrain of a network structure to model t...
Category Decomposition Method Based on Matched Filter for Un-Mixing of Mixed Pixels Acquired with Spaceborne Based Hyperspectral Radiometers
Category decomposition method based on matched filter for un-mixing of mixed pixels: mixels which are acquired with spaceborne based hyperspectral radiometers is proposed. Through simulation studies with simulated...
Method for Face Identification with Facial Action Coding System: FACS Based on Eigen Value Decomposion
Method for face identification based on eigen value decomposition together with tracing trajectories in the eigen space after the eigen value decomposition is proposed. The proposed method allows person to person differe...
Experimental Validation for CRFNFP Algorithm
In 2010,we proposed CRFNFP[1] algorithm to enhance long-range terrain perception for outdoor robots through the integration of both appearance features and spatial contexts. And our preliminary simulation results i...
Comparative study between the proposed shape independent clustering method and the conventional methods (K-means and the other)
Cluster analysis aims at identifying groups of similar objects and, therefore helps to discover distribution of patterns and interesting correlations in the data sets. In this paper, we propose to provide a consist...