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

推論による学習の基礎研究

研究課題

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

重点領域研究

配分区分補助金
研究機関九州大学

研究代表者

有川 節夫  九州大学, 理学部, 教授 (40037221)

研究分担者 宮原 哲浩  九州大学, 理学部, 助手 (90209932)
酒井 浩  九州工業大学, 情報科学センター, 助手 (60201513)
篠原 武  九州工業大学, 情報工学部, 助教授 (60154225)
宮野 悟  九州大学, 理学部, 助教授 (50128104)
原口 誠  東京工業大学, 総合理学研究科, 助教授 (40128450)
研究期間 (年度) 1988
研究課題ステータス 完了 (1988年度)
配分額 *注記
2,800千円 (直接経費: 2,800千円)
1988年度: 2,800千円 (直接経費: 2,800千円)
キーワード推論 / 学習 / 類推 / 帰納推論 / 不完全情報 / 並列計算量 / P完全性 / インターフェース
研究概要

本研究の目的は,学習の様々な局面で活用される各種推論について、理論的に定式化し、それを計算可能なレベルまで導き、さらに効率化することである。この目的を達成するために、本年度は次の各点に重点を置き、基礎となる成果を得た。
(1)類推理論の拡張・原口・有川により確定節を対象にして展開されていた類推の理論を、推論結果に妥当性という概念が自然に導入できるように、また最近注目されているdeterminationの概念も含めることができるように拡張した。さらに、原口・有川による類推和を帰納推論の観点から捉え、類推のもとになるペアリングを帰納推論する方式を得た。
(2)帰納推論の研究。大人の学習をモデル化して、学習の出発点になる知識を類推により獲得し、それに双方向の精密化を適用する帰納推論の方式を提案し、その方式の完全性を証明した。また、形式言語の帰納推論を統一的に扱え、モデル推論の手法も適用できる枠組みを基本形式的体系を利用して支えた。
(3)デフォールト推論の研究。デフォールト推論における拡張集合を逐次的に求められるようにして、信念修正の問題を帰納推論の観点から究明した。
(4)不完全情報を含む知識ベースの研究。節形式のOr型の不完全情報を含む知識ベースからの推論方式を提案し、その意味論を展開した。
(5)推論の並列化と並列計算量。推論における逐次的部分を高度に並列化する方式を提案し、推論システムにおける並列性の抽出のための方法論を展開した。また、多くの問題が、効率的に並列化できないことを示す(すなわち、P完全であることを示す)強力な定理を得た。
(6)学習による言語翻訳。類推システムとの間のホーン節と日本語文のインターフェースで学習機能をもつものを開発した。

報告書

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

    (7件)

すべて その他

すべて 文献書誌 (7件)

  • [文献書誌] 原口誠: 人工知能会研究学会資料SIG-FAI. 8804. 31-39 (1989)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] 有川節夫: 計測自動制御学会「知識獲得と学習に関する特別講演会」資料. 1-7 (1988)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] T.Miyahara: Bull.Informatics and Cybernetics. 23. (1989)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] H.Yuasa;S.Arikawa: Spring LNCS. (1989)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] S.Miyano: Springer LNCS. 317. 454-462 (1988)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] S.Miyano: Proc.International Conference on Fifth Generation Computer Systems. 2. 532-541 (1988)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] 有川節夫,原口誠: "述語論理と論理プログラミング" オーム社, 1-217 (1988)

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

URL: 

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

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

Powered by NII kakenhi