Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.
Digital Object Identifier (DOI) : 10.14569/IJARAI.2015.041001
Article Published in International Journal of Advanced Research in Artificial Intelligence(IJARAI), Volume 4 Issue 10, 2015.
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.
Sabah Al-Fedaghi, “Diagrammatic Representation as a Tool for Clarifying Logical Arguments” International Journal of Advanced Research in Artificial Intelligence(IJARAI), 4(10), 2015. http://dx.doi.org/10.14569/IJARAI.2015.041001