Inductive Inference in the Case of Processing Knowledge-Information

神奈川県茅ヶ崎市 A difference among informations, observational sentences, facts, rules and knowledges and the meanings of them are explained in terms of making an inductive inference about an accommodation of knowledges being in store for a deductive knowledge base (DKB). A model-inference algorithm, a contradiction-backtracing algorithm and a refinement algorithm are devised and presented here appearing in the concrete form in order to secure the DKB which adopts a Horn logic. It should be noted that the inductive inference of theories from facts proposed by E. Y. Shapiro is represented within the scope of the Horn logic which excludes the most general atom from the refinement algorithm