非決定的,無弁別なリテラルを含む論理プログラムの学習
スポンサーリンク
概要
- 論文の詳細を見る
Recently there has been an increasing interest in learning systems which induce first-order logic programs from examples. However, due to the intractability of the hypothesis space, such systems which use exhaustive search, e.g., MIS, are unable to learn reasonably complex programs. Previous solutions have been proposed to overcome this difficulty : while some systems restrict their hypothesis space, others use heuristics or additional knowledge such as analogical structures or abstraction. However, existing systems still have limitations. GOLEM gives up completeness by restricting the hypothesis space to only determinate clauses. A determinate clause is a clause composed of only determinate literals. A literal is determinate if each new variable in it has only one binding. Even the commonly used generate-and-test programs generate candidate solutions for their test routine, and thus are non-determinate. FOIL avoids exhaustive search by using Gain heuristic to select a literal that greedily discriminates positive examples from negative examples. Although it is able to learn some classes of problems efficiently, the heuristic fails to capture other aspects of usefulness of a literal, i.e., it overlooks a useful literal which produces no discrimination. For instance, a literalpartition (Head, Tail, List 1, List 2) in the quick-sort program does not discriminate between positive and negative examples. We propose a new heuristic-based approach to the learning of Horn-clause logic program with list structure. Our system, CHAM, learns a class of complex programs not learned by previous systems, i.e., non-determinate programs out of the learning space of GOLEM, and programs with non-discriminating literals which pose difficulties for FOIL. Experiments on learning Prolog programs with list structure have shown that while being able to learn a large class of programs, CHAM preserves efficiency in various test problems.
- 社団法人人工知能学会の論文
- 1993-01-01
著者
関連論文
- 社会的ジレンマを解決する内部評価生成法の分析
- 口コミ支援システムWAVEへのプッシュ型情報交換の導入
- 口コミ支援システムWAVEへのプッシュ型情報交換の導入(「アクティブマイニング」及び一般 : 文部科学省科学研究費特定領域研究「情報洪水時代におけるアクティブマイニングの実現」公開シンポジウム)
- 口コミ支援システムWAVEの新機能
- 口コミ支援システムの実験
- 自動編曲システムにおけるコード進行の学習
- 座談会 「人工知能研究の現状と問題点」
- 多属性データに対する前処理の木構造を用いたモデル化
- 多属性データに対する前処理の木構造を用いたモデル化(「アクティブマイニング」及び一般 : 文部科学省科学研究費特定領域研究「情報洪水時代におけるアクティブマイニングの実現」公開シンポジウム)
- XML変形を用いた前処理の事例研究
- 算術問題学習システム
- 第2回マシンインテリジェンスに関する国際ワークショップ(International Workshop on Machine Intelligence 1993)の報告
- 座談会 人間の知能と機械の知能 : 1986年9月6日 於:北海道大学
- 最小メッセージ長規準の地震波速度構造モデル推定問題への適用 -近畿・中国地方における結果-
- 多数の例外的データが存在する回帰問題のための最小記述長原理の拡張
- アクティブマイニングの構想と展開(アクティブマイニング)
- 小特集・論文特集「アクティブマイニング」にあたって(アクティブマイニング)
- 特集「アナロジー」の編集にあたって
- AAAI90
- 情報理論的手法を用いたデータベースからの例外的知識の発見
- 情報理論的規準を用いたデータベースからの例外的知識の発見
- 十年一昔
- 知的成長システムに関する統合的機能 : 問題解決、学習、発見
- 状況に応じた戦略選択による実時間プランニング
- 共存進化における決定木の学習に関する研究
- 階層化された知識の継承による情報フィルタリング
- 読者の評価に基づいて学習を行なう電子ニュースフィルタリングシステム
- 遺伝的アルゴリズムを用いた対話型作文支援システム
- 2U-8 情報フィルタリングの手法を用いた転送先学習型メタ検索エンジン
- 2次関数問題解答システム
- 実験によるデータ獲得に基づく帰納的発見手法
- 図を用いた算術問題解決システムDIPS
- Incremental Multistrategy Relational Conceptual Clustering and Ordering Effects
- 図を用いた算術問題解決システム
- 図形の構造に基づく計算機による発見手法
- 計算機による図形的制約に基づく発見手法
- 構造の観察に基づく発見手法
- 三角関数における定理の帰納的発見
- 発見システムにおける実験の計画
- 2次関数を対象とした数学問題解答システム
- 算術問題解決システムLAPSII
- 平面幾何定理の発見システム
- 会誌発刊を祝して
- 複数エージェントによる協調帰納学習
- Dempster-Shafer理論とATMSの統合システムの拡張
- 三角関数における発見システム : DST
- イメージを用いた推論のコンピュータモデル
- 多重二値論理の非単調論理への応用
- リテラル連関とMDL基準による相対最小汎化の計算法
- 実世界における多戦略学習・創発計算プロジェクト(総合報告)
- リテラル連関とMDL基準による相対最小汎化の計算法
- 算数の抽象概念獲得におけるアナロジー
- 複数の情報媒体を用いた学習の過程 : プログラミング言語Prologを題材として
- 2000-ICS-120-2 相互依存関係にある内部モジュールを持つ自律システムの構築について
- 情報検索を用いたアクティブマイニングの螺旋サイクル(「アクティブマイニング」及び一般 : 文部科学省科学研究費特定領域研究「情報洪水時代におけるアクティブマイニングの実現」公開シンポジウム)
- パネル討論「機械学習の理論と実際」 : 1991年6月28日第5回人工知能学会全国大会(於:学習院大学大講堂)にて (「機械学習の理論と実際」)
- 感情への「キノコ喰いロボットアプローチ」 : 人工知能の見地から
- 動的なネットワークを用いた述語論理表現の学習法
- 学習からのイメージ, 感性へのアプローチ
- 6. 人工知能と類推 (<特集> アナロジー)
- 説明構造の分解による類推
- 環境状況に応じて自己の報酬を操作する学習エージェントの構築
- プラスチック成形品における設計制約学習システム
- 平面幾何学の推論と学習への視覚的イメージの導入
- パ-ソナルコンピュ-タの発展と情報化社会 (パ-ソナルコンピュ-タ特集)
- 中国語音声理解システムにおける知識獲得および帰納推論
- 部分線形識別関数の学習的構成法
- パタ-ン認識における区分的線形識別関数
- 近似理論および雑音のある訓練例からの学習
- 学会と人工知能の発展
- 機械系におけるモデルに基づいた診断と知識獲得
- S.C.Shapiro編 : "Encyclopedia of Artificial Intelligence", John Wiley & Sons, Inc.(1987) A4判1,219ページ 3,500円
- 辻井潤一著 : 「知識の表現と利用」, 昭晃堂(1987.10) A5判282ページ 4,800円
- 算術問題解答システムにおける学習
- 学習能力を持った幾何学問題解答システム
- 算術問題解答システムLAPSにおける学習機能について
- 自由会話システム
- 帰納論理プログラミング過程を用いた射出成形品金型の自動設計
- 東京工業大学情報工学科志村研究室
- 説明の部分構造抽出による高速化学習
- 生物医学文献データベースを利用する医療データマイニング
- 遺伝子機能に基づくバイオ分野文献検索システム
- 知識流通における紙面レイアウトの役割とそれに基づく自動タグ付け
- メタ知識で制御した学習システム
- ユーザの感性に合わせた自動編曲及び作曲
- 多分木化による見やすい決定木の構築
- 弁別に基づく構成的帰納学習
- 非決定的,無弁別なリテラルを含む論理プログラムの学習
- マルチプル・インスタンス学習のための重み更新アルゴリズム : 実験による研究
- 情報検索を用いたアクティブマイニングの螺旋サイクル
- 正例と負例に弁別不能な例からの関係学習
- 帰納学習における帰納論理プログラミングと遺伝的プログラミングの統合
- 帰納学習への遺伝的アルゴリズムの適用
- 遺伝的アルゴリズムによる概念獲得
- 意外な勘違いへの対処が可能な学習者モデルの構築方法
- メタインタプリタによる帰納的プログラム合成規則の学習
- 例題による複数ステップタスクの学習法
- 説明の部分構造に基づくル-ル学習法
- 目的主導の類推によるプログラム合成
- プロダクションシステムNatにおける学習機能