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

2017 年度 実績報告書

状態遷移列からの関係ダイナミクス学習

研究課題

研究課題/領域番号 17H00763
研究機関国立情報学研究所

研究代表者

井上 克巳  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)

研究分担者 坂間 千秋  和歌山大学, システム工学部, 教授 (20273873)
沖本 天太  神戸大学, 海事科学研究科, 准教授 (10632432)
Nicolas Schwind  国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員 (60646397)
研究期間 (年度) 2017-04-01 – 2021-03-31
キーワード推論 / 機械学習 / 知識表現 / 関係学習 / 表現学習 / 状態遷移 / 制約最適化
研究実績の概要

本研究では、時間的に変化する系の関係ダイナミクスを状態遷移列の観測から学習・推定し系の説明や予測に適用するために、(1)関係ダイナミクス学習理論の構築、(2)スケーラブルな関係ダイナミクス学習方式の開発、(3)ダイナミック環境におけるチャレンジ問題への適用、の主要3テーマを設定している。平成29年度は(1),(2)について課題を洗い出し、(3)で複数の問題への適用可能性を検討した。
(1)関係ダイナミクスを学習するための「解釈遷移からの学習(LFIT)」について、従来はブール値を取る変数ベクトルで表される状態の遷移について考えたが、多値や連続ドメインの変数ベクトルの状態遷移が扱えるように拡張した。また人間の言語行為に伴う信念の状態変化を因果理論で形式化し、論理プログラミングを使って表現する方法を導入した。
(2)従来のLFITは論理計算に基づいていたが、新たな方式としてニューラルネットワークを用いて学習能力の向上を図った。また論理プログラミングで高速推論を実現するために、プログラムを3次元テンソル空間で表現し線形代数的に計算する新しい計算モデルを導入した。
(3)関係ダイナミクスを学習する題材として、生体ネットワーク学習、行動規則学習、提携構造形成(CSG)や信念翻意ゲーム(BRG)における学習等について検討した。生体ネットワーク学習では、遺伝子制御ネットワーク構築のためのDREAMチャレンジ問題も解いた。CSGについては、エージェントの不確実な振る舞いを考慮した確率的提携構造形成問題の枠組みを提案した。またダイナミック環境において複数の評価基準を考慮した多目的最適化アルゴリズムを開発し、公平性と最適性を同時に考慮した麻酔科医スケジューリングに応用した。さらに動的環境におけるレジリエンスに関する取り組みとして、回復可能性の概念を入れたチーム形成問題を定義した。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

本研究はおおむね順調に遂行しており、(1)「関係ダイナミクス学習理論の構築」で従来開発していたLFITの機能を拡張している。また、(2)「スケーラブルな関係ダイナミクス学習方式の開発」において、(1) で拡張した機能をすぐさま実現するとともに、従来のLFIT機能についても性能を大幅に改善している。ニューラルネットワークによるLFITの実現についてもいくつかの手法を試しながら知見を得ている。さらに、(3)「ダイナミック環境におけるチャレンジ問題への適用」において、DREAMチャレンジを解くことで性能評価を行ったが、指標によっては性能が出ない場合もあり新たな研究課題として設定している。ダイナミック環境に関係するレジリエントなシステムの設計と応用についても取り組んでおり、新たに多くの問題設定を可能にすることで研究の幅を拡大している。

今後の研究の推進方策

引き続き、3つのサブテーマの各々について,より複雑な学習を可能にするための理論構築、シンボリックまたはニューラルな学習システムとして実現、関係ダイナミクスに関連する応用への適用と各応用における新たな問題設定の拡充を図っていく。特にダイナミック系におけるレジリエンスとして、擾乱に強く回復力があるような制約系や情報伝達系をどのように設計するかという点が重要であり、本研究課題のダイナミクス学習を取り入れることで、レジリエントなシステム設計の方法論の一部として整備を続けて行く予定である。

備考

井上研究室ホームページ
http://research.nii.ac.jp/il/

  • 研究成果

    (28件)

すべて 2018 2017 その他

すべて 国際共同研究 (3件) 雑誌論文 (14件) (うち国際共著 9件、 査読あり 14件、 オープンアクセス 5件) 学会発表 (9件) (うち国際学会 2件、 招待講演 2件) 学会・シンポジウム開催 (2件)

  • [国際共同研究] LS2N / Ecole Centrale de Nantes/CRIL CNRS / Universite d'Artois(フランス)

    • 国名
      フランス
    • 外国機関名
      LS2N / Ecole Centrale de Nantes/CRIL CNRS / Universite d'Artois
  • [国際共同研究] University of Potsdam(ドイツ)

    • 国名
      ドイツ
    • 外国機関名
      University of Potsdam
  • [国際共同研究] Ecole Polytechnique de Montreal(カナダ)

    • 国名
      カナダ
    • 外国機関名
      Ecole Polytechnique de Montreal
  • [雑誌論文] Solving Problems on a Knowledge Model of Operators and Application2018

    • 著者名/発表者名
      Hien Nguyen, Nhon Do, Vuong Pham, Katsumi Inoue
    • 雑誌名

      International Journal of Digital Enterprise Technology

      巻: 1(1-2) ページ: 37-59

    • DOI

      10.1504/IJDET.2018.092632

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Learning Programs with Continuous Domains from State Transitions2018

    • 著者名/発表者名
      Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, Katsumi Inoue
    • 雑誌名

      In: Inductive Logic Programming: Revised Selected Papers from the 27th International Conference (ILP 2017), Lecture Notes in Computer Science

      巻: 10759 ページ: 124-139

    • DOI

      10.1007/978-3-319-78090-0_9

    • 査読あり / 国際共著
  • [雑誌論文] Learning Logic Program Representation for Delayed Systems with Limited Training Data2018

    • 著者名/発表者名
      Yin Jun Phua, Sophie Tourret, Katsumi Inoue
    • 雑誌名

      In: Late Breaking Papers of the 27th International Conference on Inductive Logic Programming (ILP 2017), CEUR Workshop Proceedings

      巻: 2085 ページ: 27-33

    • DOI

      http://ceur-ws.org/Vol-2085/phuaLBP-ILP2017.pdf

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Distributed Pareto Local Search for Multi-Objective DCOPs2017

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: 100-D(12) ページ: 2897-2905

    • DOI

      10.1587/transinf.2016AGP0006

    • 査読あり
  • [雑誌論文] Special Issue on Inductive Logic Programming2017

    • 著者名/発表者名
      Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
    • 雑誌名

      Machine Learning

      巻: 106(12) ページ: 1863-1865

    • DOI

      10.1007/s10994-017-5679-8

    • 査読あり
  • [雑誌論文] Relational Reinforcement Learning for Planning with Exogenous Effects2017

    • 著者名/発表者名
      David Martinez, Guillem Alenya, Carme Torras, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      Journal of Machine Learning Research

      巻: 18(78) ページ: 1-78

    • DOI

      http://jmlr.org/papers/v18/16-326.html

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Representing Argumentation Frameworks in Answer Set Programming2017

    • 著者名/発表者名
      Chiaki Sakama
    • 雑誌名

      Fundamenta Informaticae

      巻: 155(3) ページ: 261-292

    • DOI

      10.3233/FI-2017-1585

    • 査読あり / 国際共著
  • [雑誌論文] Balanced Clustering Based Decomposition Applied to Master Thesis Defense Timetabling Problem2017

    • 著者名/発表者名
      Huynh Thanh Trung, Pham Quang Dung, Emir Demirovic, Maxime Clement, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)

      巻: 0 ページ: 214-228

    • DOI

      http://www.schedulingconference.org/previous/publications/download/index.php?key=2017-214-228-P&filename=mista.bib

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] A Causal Theory of Speech Acts2017

    • 著者名/発表者名
      Chiaki Sakama
    • 雑誌名

      In: Proceedings of the 6th International Workshop on Logic, Rationality, and Interaction (LORI 2017), Lecture Notes in Computer Science

      巻: 10455 ページ: 658-663

    • DOI

      10.1007/978-3-662-55665-8_48

    • 査読あり
  • [雑誌論文] Linear Algebraic Characterization of Logic Programs2017

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue, Taisuke Sato
    • 雑誌名

      In: Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management: (KSEM 2017), Lecture Notes in Artificial Intelligence

      巻: 10412 ページ: 520-533

    • DOI

      10.1007/978-3-319-63558-3_44

    • 査読あり
  • [雑誌論文] Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences2017

    • 著者名/発表者名
      Kotaro Okazaki, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017)

      巻: 1 ページ: 53-61

    • DOI

      10.1109/CBI.2017.87

    • 査読あり
  • [雑誌論文] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Noyuki Tamura
    • 雑誌名

      In: Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science

      巻: 10377 ページ: 265-278

    • DOI

      10.1007/978-3-319-61660-5_24

    • 査読あり / 国際共著
  • [雑誌論文] Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks2017

    • 著者名/発表者名
      Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
    • 雑誌名

      In: Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017), Lecture Notes in Computer Science

      巻: 10261 ページ: 483-492

    • DOI

      10.1007/978-3-319-59072-1_57

    • 査読あり / 国際共著
  • [雑誌論文] Learning from Interpretation Transition using Feed-Forward Neural Networks2017

    • 著者名/発表者名
      Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
    • 雑誌名

      In: Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings

      巻: 1865 ページ: 27-33

    • DOI

      http://ceur-ws.org/Vol-1865/paper-05.pdf

    • 査読あり / オープンアクセス / 国際共著
  • [学会発表] 公平性を考慮した麻酔科医スケジューリング問題に関する一検討2018

    • 著者名/発表者名
      山中 悠介
    • 学会等名
      情報処理学会第80回全国大会 (IPSJ 2018)
  • [学会発表] システムズレジリエンスへの数理アプローチ2018

    • 著者名/発表者名
      井上 克巳
    • 学会等名
      「レジリエンス・エンジニアリング理論の医療の質・安全における実用化研究」研究会議
    • 招待講演
  • [学会発表] Learning Programs from Observations2017

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming
    • 国際学会 / 招待講演
  • [学会発表] 確率的な提携構造形成フレームワークの提案2017

    • 著者名/発表者名
      沖本 天太
    • 学会等名
      第16回科学技術フォーラム (FIT-2017)
  • [学会発表] Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks2017

    • 著者名/発表者名
      Yin Jun Phua
    • 学会等名
      The 1st International Workshop on Symbolic-Neural Learning (SNL-2017)
    • 国際学会
  • [学会発表] 不確実性を考慮した提携構造形成問題に関する一検討2017

    • 著者名/発表者名
      沖本 天太
    • 学会等名
      第31回人工知能学会全国大会 (JSAI 2017)
  • [学会発表] Building Teams Resilient to Change.2017

    • 著者名/発表者名
      Nicolas Schwind
    • 学会等名
      第31回人工知能学会全国大会 (JSAI 2017)
  • [学会発表] リカレントニューラルネットワークによる遅延を伴う解釈遷移からの論理プログラム表現学習2017

    • 著者名/発表者名
      ポア インジュン
    • 学会等名
      第31回人工知能学会全国大会 (JSAI 2017)
  • [学会発表] 多デバイス接触履歴からの視聴行動モデル化と知識更新2017

    • 著者名/発表者名
      岡崎 孝太郎
    • 学会等名
      第31回人工知能学会全国大会 (JSAI 2017)
  • [学会・シンポジウム開催] "Learning Relational Dynamics from State Transition" The 2nd Project Meeting (Kanazawa)2018

  • [学会・シンポジウム開催] "Learning Relational Dynamics from State Transition" The 1st Project Meeting (Kobe)2017

URL: 

公開日: 2019-12-27  

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

Powered by NII kakenhi