Learning of first-Order Formulas and Inductive Logic Programming (<Special Issue>"Recent Dvelopments in the Theory and Applications of Machine Learning")

Bibliographic Information

Other Title
  • 一階論理式の学習と帰納論理プログラミング (<特集>計算学習理論の進展と応用可能性)
  • 一階論理式の学習と帰納論理プログラミング
  • 1カイ ロンリシキ ノ ガクシュウ ト キノウ ロンリ プログラミング

Search this article

Abstract

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

Journal

Citations (2)*help

See more

References(58)*help

See more

Details 詳細情報について

Report a problem

Back to top