抄録
本稿では, 帰納論理プログラミングにおける逆伴意法による仮説発見手続きの一手法であるCF帰納法の一般化手続きについて考察する.CF帰納法は一般節理論の仮説発見に対して健全かつ完全な手続きであるが, その理論面での優位性から現在応用問題への適用が期待されている.一方, 構成手続き中の一般化手続きについては, 今のところ具体的な操作の紹介があるのみでアルゴリズムとして組織的に構成されるまでには至っていない.そこで本稿では, 第1報[10]で明らかにしたすべての一般化手続きに対して当てはめることのできる順序に関する性質を利用することで, 今まで紹介されてきた各一般化操作を再構築し, CF帰納法における健全かつ完全な新しい一般化手続きを提案する.
This paper considers a generalization in CF-induction which is one of procedures for inverse entailment constructing inductive hypothesis in inductive logic programming. CF-induction guarantees soundness and completeness for finding hypotheses from full clausal theories. although some operations have been introduced as generalization procedures in CF-induction, they are not sufficiently enough for the completeness, and a systematic method of constructing hypothese with those generalization operations has not yet been discussed. In this paper, we utilize basic properties that are applicable to any generalization procedure in terms of sequences of operations, and reconstruct a method of hypotheses generation by reorganzing the generalization operators that have been introduced by now. The resulting generalization method is sound and complete for finding hypotheses from full clausal theories in CF-induction.
