帰納論理プログラミング : 論理プログラムの帰納的一般化を中心に
スポンサーリンク
概要
- 論文の詳細を見る
近年,帰納論理プログラミングと呼ばれる分野が注目を集めている。これは,機械学習と論理プログラミングを結ぶ研究であり,論理プログラムの形式で記述された例と背景知識から,目標とする概念を定義する述語を導くという枠組を用いる。この分野では,従来の論理プログラミングや帰納推論の研究の様々な成果を受け継ぎながら,理論的基礎から応用まで幅広く研究が行われている. 本稿では論理プログラミングと帰納推論に関する初歩的知識を前提として,帰納論理プログラミングについて,特に論理プログラムの帰納的一般化に関する研究を中心に紹介する.
- 一般社団法人日本ソフトウェア科学会の論文
- 1993-09-16
著者
関連論文
- D-3-2 鉄道信号システムの連動仕様における実時間的性質の検証
- モデル検査法を用いた鉄道信号システムの連動仕様検証
- モデル検査法を用いた鉄道信号システムの連動仕様検証
- 鉄道信号システムの連動論理検証
- 帰納論理プログラミング : 論理プログラムの帰納的一般化を中心に