A mathematical analysis is made of a general logical discourse for the purpose of achieving a transfer of knowledge for any logical discourse from computer to man. There results an algorithm for structuring any logical discourse and a basis for the design of plans of interaction. In Part I, an analysis is made of a general logical discourse for establishing the sets and relations for the knowledge statements, for establishing the primitives that define a prerequisite graph, and for establishing the normal sequences for the principal statements. The use of the primitives is demonstrated in the construction of a prerequisite graph for an example logical discourse. In Part II (appearing in a subsequent issue) the analysis is continued for establishing other sequences, the primitives for a sequence graph, various plans for interaction, and the application to a common discourse.
CitationDownload as .RIS
MCB UP Ltd
Copyright © 1972, MCB UP Limited