帰納推論による論理プログラムと規則性の学習
スポンサーリンク
概要
- 論文の詳細を見る
本報告では現在我々が開発中の帰納推論システムについて述べる.このシステムでは,まず背景知識を用いて証明可能な正の単一節の集合の部分集合の最小汎化を計算し,次にそれらを組み合わせて探索すべき節の空間を生成する.その結果,我々のシステムは節の空間を効率よく探索でき様々な節を求めることが可能である.特に,プログラムとして用いられる節だけでなく,述語の規則性を表す節も求めることができることを示す.
- 社団法人情報処理学会の論文
- 1993-09-28
著者
関連論文
- ユーザ定義述語を含む系の限量子消去法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ルールの本体での置換と選言標準形への変形による論理プログラムの計算手続き
- 論理式の置換と選言標準形への変形による論理プログラムの計算手続き
- 論理式の置換と選言標準形への変形による論理プログラムの計算手続き (テーマ:「予兆・チャンスの発見とその応用」および一般)
- 論理プログラムの新しい完備化と論理式の置換に基づく計算手続きについて
- 等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
- 論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)
- 最小汎化の組合せ探索による帰納推論
- 帰納推論による論理プログラムと規則性の学習
- 代数知識のデータベース化の試み(数式処理と数学研究への応用)
- 遺伝的探索に基づく"虫"の進化(2) : 遺伝アルゴリズムによる改良
- 遺伝的探索に基づく"虫"の進化(1) : ビジュアライズによる行動解析
- 説明に基づく一般化≠部分計算
- N-クイーン問題の解の1つを線形時間で求めるアルゴリズムについて
- 類推における類似性と写像の相互関係に関する考察
- フレームの表示形式を用いた : IXLの意味ネットワークの表示
- 日本語の構文解析(日本語情報処理)
- 拡張述語言語ALLインタプリタの実現
- 進化論的手法によるブール関数の学習について
- 第一階コンパイラ (プログラム合成/変換)
- 大特集「数式処理」の編集にあたって
- 論理プログラムの等価変換とプログラム合成問題への応用
- ソフトウェア基礎論
- Prolog の知的プログラミング環境 (プログラミング言語 Prolog)
- 82-2 高能率RUE導出法
- 導出原理による定理証明
- 76-06 道化師の小世界に関連した英文の意味的解析
- 1階述語言語の逐次漸近標準形について(数式処理と数学研究への応用)
- 一階述語インタプリタのアルゴリズム(数式処理と数学研究への応用)
- 述語に関する知識を用いた帰納推論の効率化
- Nicholas S. Flann and Thomas G. Dietterich : A Study of Explanation-Based Methods for Inductive Learning, Machine Learning, 4, pp.187-226 (1989).