帰納論理プログラミング : 論理プログラムの帰納的一般化を中心に

抄録

近年,帰納論理プログラミングと呼ばれる分野が注目を集めている。これは,機械学習と論理プログラミングを結ぶ研究であり,論理プログラムの形式で記述された例と背景知識から,目標とする概念を定義する述語を導くという枠組を用いる。この分野では,従来の論理プログラミングや帰納推論の研究の様々な成果を受け継ぎながら,理論的基礎から応用まで幅広く研究が行われている. 本稿では論理プログラミングと帰納推論に関する初歩的知識を前提として,帰納論理プログラミングについて,特に論理プログラムの帰納的一般化に関する研究を中心に紹介する.