Logic Based Argument Solver and Tutor

Abstract

This report describes a software program that serves a double role as an educational tool and a research environment. First, . i~ introduces students to fundamental concepts of Logic and gives them practice with argument solving and proving. Secondly, it broadens the concepts of the user about logic and reasoning. We have tested the software program thoroughly. We have also discussed the contributions and future directions of our research in interactive human/machine leaming. Students seem to learn Logic better using this software program than with paper and pencil exercises. Nowadays, students who learn Logic in thei:< r.ourses, face difficulties while they do the exercises. They don't have the exact and accurate solution of the problem. They also face difficulty solving other problems as constructing Truth tables. Especially, when they don't have much time. Our software system will help them a lot in this regard, as it solves the English sentence or Expression argument quicldy and efficiently applying predefined rules. I have made a general argument solver ;·;mt can take as input any English paragraph or a few sentences that have some goal to achieve. It is particularly for students . . of Logic course. To be more precise, it interacts with the Inference and Replacement rules. Both the interface and backend are programmed using LISP (LISt Processing) as language.