Establishing Valid Arguments by Computer and Storing their Meanings: a Premiss of form A of Aristotelian Logic

Important to the performance of interactive systems is the ability of its members to establish valid arguments. The type of arguments discussed here contains a premiss of form A of the Aristotelian logic, a second premiss and the conclusion, and the deductive process involves the predicate logic. Knowledge structures for storing the meanings of the arguments are based on principles for general automata and are in the form of graphs. After recognizing the knowledge structures for the premisses by a computer, determining conclusions and storing the meanings of the conclusions become a standard procedure.