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 166
- Downloads 0
An Interval-Based Context Reasoning Approach
Context-aware computing is an emerging computing paradigm that provides intelligent context-aware application. Context reasoning is an important aspect in context awareness, by which high level context can be derived fro...
Pattern of Success Vs. Pattern of Failure: Adaptive Authentication Through Kolmogorov–Smirnov (K-S) Statistics
Smartphones have become a basic necessity in lives of all human beings. Apart from the core functionality of communication, these become a medium for storage of sensitive personal information, financial data and of...
Comparative Study Among Lease Square Method, Steepest Descent Method, and Conjugate Gradient Method for Atmopsheric Sounder Data Analysis
Comparative study among Least Square Method: LSM, Steepest Descent Method: SDM, and Conjugate Gradient Method: CGM for atmospheric sounder data analysis (estimation of vertical profiles for water vapor) is conducted. Thr...
Visual Working Efficiency Analysis Method of Cockpit Based On ANN
The Artificial Neural Networks method is applied on visual working efficiency of cockpit. A Self-Organizing Map (SOM) network is demonstrated selecting material with near properties. Then a Back-Propagation (BP) network...
A Simulated Multiagent-Based Architecture for Intrusion Detection System
In this work, a Multiagent-based architecture for Intrusion Detection System (MIDS) is proposed to overcome the shortcoming of current Mobile Agent-based Intrusion Detection System. MIDS is divided into three major...