Model Inference Incorporating Generalization

スポンサーリンク

概要

• 論文の詳細を見る

• This paper is concerned with a strategy for inductive inference of logic programs. In the strategy an inference machine infers the head of a program clause by the least generalization of positive facts. Hence, the inference machine has only to enumerate the body of a program clause. This makes the inference machine efficient. However, if the inference machine computes the least generalization of all positive facts, it may occur that the atom becomes too general for the head of a program clause. In the strategy the main problem is to decide whether the least generalization of positive facts is too general or not. In this paper we shall formulate this problem and discuss its decidability.

• 一般社団法人情報処理学会の論文
• 1988-11-25

著者

• Ishizaka Hiroki

  Iias-sis. Fujitsu Limited

関連論文

• Model Inference Incorporating Generalization

スポンサーリンク