• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

動的ネットワークによるプログラムの自動合成

研究課題

研究課題/領域番号 08680390
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 知能情報学
研究機関東京工業大学

研究代表者

沼尾 正行  東京工業大学, 大学院・情報理工学研究科, 助教授 (30198551)

研究期間 (年度) 1996
研究課題ステータス 完了 (1996年度)
配分額 *注記
1,400千円 (直接経費: 1,400千円)
1996年度: 1,400千円 (直接経費: 1,400千円)
キーワード機構学習 / ネットワーク / 連続値 / 述語理論 / 帰納論理プログラミング / ニューラルネットワーク / 分散システム / 設計支援
研究概要

本研究の目的は、帰納論理プログラミングにおいて、連続値の境界値を効率的に見つけるための手法を研究することにある。境界値を見つける手法は、ニューラルネットワークや決定木を用いた学習ではよく研究されており、よい成果が得られているが、表現能力が命題理論レベルに限られるため、不十分である。たとえば、金型設計において、接続関係を表現するには、要素を変数を用いてラベル付けする必要があり、述語理論レベルの記述が必要とされる。
これまでのニューラルネットワークにおいては、固定されたトポロジーのネットワーク上で数値で伝播させることにより、計算が行われるため、述語論理のように構造を持った対象を扱うのが困難であった。これを解決する方法として、申請者はグラフリダクションによる推論機構を開発しており、推論の各ステップにおいてネットワークのトポロジーを変化させることにより、述語論理レベルの推論をネットワーク上で行うことができる。従来の帰納論理プログラミングの手法とは異なり、離散値を枚挙して疑似的に連続値を扱うのではなく、ネット-ワーク上の重みを用いて連続値を直接学習するのが、提案する方法の特長である。
本研究では、この手法,およびそれを変形して,述語論理表現を埋め込んだ決定木を生成する手法をそれぞれ開発し,単一プロセッサおよび分散システム上で,コストに基づく推論および学習機構を開発した.その結果を金型設計,プリント基板設計,および情報フィルタリングに応用し,良好な結果を得た.

報告書

(1件)
  • 1996 実績報告書
  • 研究成果

    (6件)

すべて その他

すべて 文献書誌 (6件)

  • [文献書誌] 沼尾正行: "ILP on Decision Trees" 人工知能学会SIG-FAI-9601. 124-128 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 沼尾正行: "A Learning Mechanism for Logic Programs using Dynamically shared substructure" Machine Intelligence. 15. (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] Chowd hury,R.M.: "Learning simple Recursive Concepts by Discovering Missing Examples" Lecture Notes in Artificial Intelligence. 1114. 360-371 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 張暁龍: "Efficient Multiple Predicate Learmer Basedon Fast Failure" Lecture Notes in Artificial Intelligence. 1114. 35-46 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 張暁龍: "On the utility of clause veuse in inductive logic programming" 人工知能学会SIG-FAI-9601. 118-123 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 沼尾正行: "Learning Music Anangements and their evaluation" Keio International Workshop. (1996)

    • 関連する報告書
      1996 実績報告書

URL: 

公開日: 1996-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi