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 149
- Downloads 0
Method for Learning Effciency Improvements Based on Gaze Location Notifications on e-learning Content Screen Display
Method for learning efficiency improvement based on gaze notifications on e-learning content screen display is proposed. Experimental results with e-learning two types of contents (Relatively small motion of e-learning c...
A Cumulative Multi-Niching Genetic Algorithm for Multimodal Function Optimization
This paper presents a cumulative multi-niching genetic algorithm (CMN GA), designed to expedite optimization problems that have computationally-expensive multimodal objective functions. By never discarding individuals fr...
Solving the Resource Constrained Project Scheduling Problem to Minimize the Financial Failure Risk
In practice, a project usually involves cash in- and out-flows associated with each activity. This paper aims to minimize the payment failure risk during the project execution for the resource-constrained project s...
Analysis and Prediction of Crimes by Clustering and Classification
Crimes will somehow influence organizations and institutions when occurred frequently in a society. Thus, it seems necessary to study reasons, factors and relations between occurrence of different crimes and findin...
Thresholding Based Method for Rainy Cloud Detection with NOAA/AVHRR Data by Means of Jacobi Itteration Method
Thresholding based method for rainy cloud detection with NOAA/AVHRR data by means of Jacobi iteration method is proposed. Attempts of the proposed method are made through comparisons to truth data which are provide...