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.
