Design and analysis of computer based argumentation from categorical propositions

Abstract

The representation and solution of syllogistic arguments have been studied and finally, a model which can represent arguments conveniently and solve them to bring conclusion with the help of computer, has been prepared. The model is expected to act as a subset module of AIP(Artificial Intelligence Program). Hence, considering the loads on the knowledge base of AI P, attempts have been made to minimize the number of symbols per proposition. Also, care has been taken to make easy conversion of propositions in English language to the proposed form. To attend bigger domain of problems, certain deviations form the standard syllogism have been allowed. This makes the model stronger without any inconvenience, or without extra cost. Finally, a decision table, a Nassi diagram, a flow chart and a computer program have been prepared to represent the model. The program has also been tested to perform argumentation from premisses in the suggested format. During coding of the premiss indicator and preparing the flow chart, care has)been taken to n1aximize entropy of the system.