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 140
- Downloads 0
Optimum Band and Band Combination for Retrieving Total Nitrogen, Water, Fiber Content in Tealeaves Through Remote Sensing Based on Regressive Analysis
Optimum band and band combination for retrieving total nitrogen, water and fiber content in tealeaves with remote sensing data is investigated based on regressive analysis. Based on actual measured data of total ni...
Analysis of Security Protocols using Finite-State Machines
This paper demonstrates a comprehensive analysis method using formal methods such as finite-state machine. First, we describe the modified version of our new protocol and briefly explain the encrypt-then-authentica...
Evolving Software Effort Estimation Models Using Multigene Symbolic Regression Genetic Programming
Software has played an essential role in engineering, economic development, stock market growth and military applications. Mature software industry count on highly predictive software effort estimation models. Correct es...
Gesture Controlled Robot using Image Processing
Service robots directly interact with people, so finding a more natural and easy user interface is of fundamental importance. While earlier works have focused primarily on issues such as manipulation and navigation...
Web-based Expert Decision Support System for Tourism Destination Management in Nigeria
The use of Information Technologies have played and currently playing prominent roles in many organizations, such as business, education, commerce. The tourism industry has witnessed the use and application of vari...