scispace - formally typeset
Search or ask a question

Showing papers on "Domain knowledge published in 1978"


Journal ArticleDOI
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