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 131
- Downloads 0
Dynamic Decision Support System Based on Bayesian Networks
The improvement of medical care quality is a significant interest for the future years. The fight against nosocomial infections (NI) in the intensive care units (ICU) is a good example. We will focus on a set of ob...
Realistic Rescue Simulation Method with Consideration of Road Network Restrictions
A realistic rescue simulation method with consideration of road network restrictions is proposed. Decision making and emergency communication system play important roles in rescue process when emergency situations...
FlexRFID: A Security and Service Control Policy-Based Middleware for Context-Aware Pervasive Computing
Ubiquitous computing targets the provision of seamless services and applications by providing an environment that involves a variety of devices having different capabilities. The design of applications in these env...
Geography Markup Language: GML Based Representation of Time Serie of Assimilation Data and Its Application to Animation Content Creation and Representations
Method for Geography Markup Language: GML based representation of time series of assimilation data and its application to animation content creation and representations is proposed. It is validated the proposed met...
Cogntive Consistency Analysis in Adaptive Bio-Metric Authentication System Design
Cognitive consistency analysis aims to continuously monitor one's perception equilibrium towards successful accomplishment of cognitive task. Opposite to cognitive flexibility analysis – cognitive consistency analy...