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

@article{Al-Fedaghi2015,
title = {Diagrammatic Representation as a Tool for Clarifying Logical Arguments},
journal = {International Journal of Advanced Research in Artificial Intelligence},
doi = {10.14569/IJARAI.2015.041001},
url = {http://dx.doi.org/10.14569/IJARAI.2015.041001},
year = {2015},
publisher = {The Science and Information Organization},
volume = {4},
number = {10},
author = {Sabah Al-Fedaghi}
}