人工知能学会誌（1986～2013, Print ISSN:0912-8085）
一階論理式の学習と帰納論理プログラミング (<特集>計算学習理論の進展と応用可能性)
1999 年 14 巻 5 号 p. 790-799
詳細
1999 年 14 巻 5 号 p. 790-799
一階論理式の学習は, 歴史的に帰納論理プログラミング(ILP, Inductive Logic Programming)として発展してきた. ILPは, 一階論理に基づいた機械学習の研究であり, 表現言語として一階論理を用いることで, 従来の機械学習システムでは難しい構造データや背景知識を統一的な扱いを可能にすることを目標としている. 従来, ILP研究は応用面の研究が中心だったが, この数年, 意味論や学習理論の立場から, 新しい理論的研究が進んでいる. 本稿では, 論理プログラムおよび一階ホーン文の多項式時間学習に焦点を当て, 基本的概念と最新の理論的成果を紹介したい.
