Diagrammatic Representation as a Tool for Clarifying Logical Arguments
Journal Title: International Journal of Advanced Research in Artificial Intelligence(IJARAI) - Year 2015, Vol 4, Issue 10
Abstract
Knowledge representation of reasoning processes is a central notion in the field of artificial intelligence, especially for knowledge-based agents, because such representation facilitates knowledge of action outcomes necessary for optimum performance by problem-solving agents in complex situations. Logic is the primary vehicle by which knowledge is represented in knowledge-based agents. It involves logical inference that produces answers from what is known based on this inference mechanism. Modus Ponens is the best-known rule of inference that is sound. Recently, a dispute has arisen regarding attempts to show that modus ponens is not a valid form of inference. Part of the cause of the controversy is miscommunication of the involved problem. This paper proposes a diagrammatic representation of modus ponens with the hope that such a representation will serve to clarify the issue. The advantage of this diagrammatic representation is a better understanding of the reasoning process behind this inference rule.
Authors and Affiliations
Sabah Al-Fedaghi
Keywords
Related Articles
- EP ID EP95541
- DOI 10.14569/IJARAI.2015.041001
- Views 146
- Downloads 0
New Hybrid (SVMs -CSOA) Architecture for classifying Electrocardiograms Signals
a medical test that provides diagnostic relevant information of the heart activity is obtained by means of an ElectroCardioGram (ECG). Many heart diseases can be found by analyzing ECG because this method with mora...
Integrated Information System of Monitoring and Management for Heart Centers
The integrated information system presented in this paper is focused on increasing the quality of the medical services offered to the patients by rendering the activities more efficient and by corroborating the family do...
Category Decomposition Method for Un-Mixing of Mixels Acquired with Spaceborne Based Visible and Near Infrared Radiometers by Means of Maximum Entropy Method with Parameter Estimation Based on Simulated Annealing
Category decomposition method for un-mixing of mixels (Mixed Pixels) which is acquired with spaceborne based visible to near infrared radiometers by means of Maximum Entropy Method (MEM) with parameter estimation b...
A New Optimization Algorithm For Combinatorial Problems
Combinatorial optimization problems are those problems that have a finite set of possible solutions. The best way to solve a combinatorial optimization problem is to check all the feasible solutions in the search s...
NOISE SUPPRESSING EDGE ENHANCEMENT BASED ON GENETIC ALGORITHM TAKING INTO ACCOUNT COMPLEXITY OF TARGET IMAGES MEASURED WITH FRACTAL DIMENSION
Method for noise suppressing edge enhancement based on genetic algorithm taking into account complexity of target images measured with fractal dimension is proposed. Through experiments with satellite remote sensin...