Showing papers on "Domain knowledge published in 1978"
••
TL;DR: Basic types of arguments arising from the natural deductive processes are identified and established as valid through the procedures for formal logic.
Abstract: Important to the performance of intelligent systems is the ability of its members to deduce conclusions as responses from premisses received as knowledge during different time periods. Two types of knowledge associations are established for combing knowledge structures received during different time periods into fewer coherent structures. The knowledge system used has the graphs for a general automaton as a formal way of storing knowledge in a computer. Basic types of arguments arising from the natural deductive processes are identified and established as valid through the procedures for formal logic.
6 citations