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

2018 年度 実績報告書

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

研究課題

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

研究代表者

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

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

本研究では、時間的に変化する系の関係ダイナミクスを状態遷移列の観測から学習するために、(1)関係ダイナミクス学習理論の構築、(2)スケーラブルな関係ダイナミクス学習方式の開発、(3)ダイナミック環境におけるチャレンジ問題への適用、のサブテーマを設定している。平成30年度は前年度の研究成果を基に、各サブテーマの成果を相互に適用・フィードバックさせながら研究を進めた。
(1)関係ダイナミクス学習のために提案している「解釈遷移からの学習(LFIT)」の枠組みを発展させ、同期式・非同期式・一般化方式の各更新方式による遷移規則学習を同じ枠組みで扱えるようにした。また議論やディベートのように動的に主張が展開される場面において、ある論拠がなぜ正しいと考えられるのかをアブダクティブに説明する枠組を導入し、論理プログラムを使って計算する方法を示した。
(2)論理計算に基づく学習とニューラルネットワークを用いた学習の2種類のLFIT学習方式のうち、前者で代数演算への変換に基づく計算方式を検討し、後者で遅延を扱うためにリカレントニューラルネットワークを適用した。また論理プログラムの線形代数計算において部分計算の手法を導入し評価実験を行った。
(3)関係ダイナミクス学習の応用として、生体ネットワーク学習、行動規則学習、チーム形成問題・提携構造形成問題(CSG)・信念翻意ゲーム(BRG)における学習に取り組むとともに、ダイナミック環境で問題が変化した際にレジリエンスを担保できる枠組みについて検討した。具体的には、ナース・スケジューリング問題に対してレジリエンスの解概念を導入し、時間割問題やスポーツ・スケジューリングの解法にも取り組んだ。さらに信念翻意が起こった前後状態を入力とし、どのような情報が新たにもたらされたために翻意が起きたかを推定する方法について検討した。

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

1: 当初の計画以上に進展している

理由

本研究は順調に進展しており、当初の計画以上に研究の幅を拡大している。(1)「関係ダイナミクス学習理論の構築」では、これまで開発してきたLFITに対する機能拡充を一通り施している。 (2)「スケーラブルな関係ダイナミクス学習方式の開発」においては、線形代数手法とニューラルネットワーク手法のいずれも経験を積んでいる段階である。(3)「ダイナミック環境におけるチャレンジ問題への適用」は、これまでに最も研究が進んでいると言ってもよい。ダイナミック環境に関係するレジリエントなシステムの設計と応用についても多くの課題を解決しつつある。こうした取り組みにより、今年度は18件の新たな論文成果を発表するとともに次年度以降に結実する研究結果もいくつか整備している。

今後の研究の推進方策

今後は3つのサブテーマの相互作用をより活発にし、理論の実装、現実問題への応用、新たな課題の設定、というフィードバックを繰り返しながら関係ダイナミクスの学習理論を構築整備していく。これらの研究をより一般化すると、知識表現・推論技術と機械学習技術の融合という大きなテーマとなる。最近のAIは機械学習よりのものが多いが、シンボリックな知識表現をどのように得るか、また推論技術と学習技術をどのように組み合わせるかという点は今後の課題である。本研究を発展させることで、例えばノイズがある現実世界の環境から表現学習によって記号化された知識を得ることができ、その上での推論結果を意思決定・問題解決・質問応答に適用することができる。こうしたAIシステムはダイナミック系に置かれることから、レジリエントなAIとしての要件を満たす必要がある。本研究を推進することで、こうした次のAI研究テーマに対してアプローチすることも可能となる。

備考

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

  • 研究成果

    (36件)

すべて 2019 2018 その他

すべて 国際共同研究 (5件) 雑誌論文 (18件) (うち国際共著 16件、 査読あり 17件、 オープンアクセス 8件) 学会発表 (11件) (うち国際学会 4件) 学会・シンポジウム開催 (2件)

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

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

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

    • 国名
      カナダ
    • 外国機関名
      Ecole Polytechnique de Montreal
  • [国際共同研究] TU Wien(オーストリア)

    • 国名
      オーストリア
    • 外国機関名
      TU Wien
  • [国際共同研究] Imperial College London(英国)

    • 国名
      英国
    • 外国機関名
      Imperial College London
  • [雑誌論文] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2019

    • 著者名/発表者名
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
    • 雑誌名

      Annals of Operations Research

      巻: 275 (1) ページ: 3-37

    • DOI

      10.1007/s10479-018-2757-7

    • 査読あり / 国際共著
  • [雑誌論文] Computational Intractability Law Molds the Topology of Biological Networks2019

    • 著者名/発表者名
      Ali A Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jerome Waldispuh
    • 雑誌名

      bioRxiv

      巻: 510495 ページ: 30p

    • DOI

      10.1101/510495

    • オープンアクセス / 国際共著
  • [雑誌論文] Assessing the Resilience of Stochastic Dynamic Systems Under Partial Observability2018

    • 著者名/発表者名
      Jacopo Panerati, Nicolas Schwind, Stefan Zeltner, Katsumi Inoue, Giovanni Beltrame
    • 雑誌名

      PLoS ONE

      巻: 13(8): e0202337 ページ: 1-21

    • DOI

      10.1371/journal.pone.0202337

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning2018

    • 著者名/発表者名
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 18(3-4) ページ: 571-588

    • DOI

      10.1017/S1471068418000261

    • 査読あり / 国際共著
  • [雑誌論文] Computing Logic Programming Semantics in Linear Algebra2018

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

      In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science

      巻: 11248 ページ: 32-48

    • DOI

      10.1007/978-3-030-03014-8_3

    • 査読あり / 国際共著
  • [雑誌論文] Identifying Goals of Agents by Learning from Observations2018

    • 著者名/発表者名
      Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science

      巻: 11248 ページ: 125-138

    • DOI

      10.1007/978-3-030-03014-8_11

    • 査読あり / 国際共著
  • [雑誌論文] Robust Coalition Structure Generation2018

    • 著者名/発表者名
      Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
    • 雑誌名

      In: Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), Lecture Notes in Computer Sciencei

      巻: 11224 ページ: 140-157

    • DOI

      10.1007/978-3-030-03098-8_9

    • 査読あり / 国際共著
  • [雑誌論文] Probabilistic Coalition Structure Generation2018

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
    • 雑誌名

      In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

      巻: 0 ページ: 663-664.

    • DOI

      https://aaai.org/ocs/index.php/KR/KR18/paper/view/18019

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Partial Evaluation of Logic Programs in Vector Spaces2018

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

      In: Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs

      巻: 1811.11435 ページ: 1-14

    • DOI

      http://arxiv.org/abs/1811.11435

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Learning Dynamics with Synchronous, Asynchronous and General Semantics2018

    • 著者名/発表者名
      Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 28th International Conference on Inductive Logic Programming (ILP 2018), Lecture Notes in Computer Science

      巻: 11105 ページ: 118-140

    • DOI

      10.1007/978-3-319-99960-9_8

    • 査読あり / 国際共著
  • [雑誌論文] Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming2018

    • 著者名/発表者名
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • 雑誌名

      The 28th International Conference on Inductive Logic Programming (ILP 2018)

      巻: 0 ページ: 6p

    • DOI

      http://ilp2018.unife.it/wp-content/uploads/2018/08/Efficiently-Encoding-Meta-Interpretive-Learning-by-Answer-Set-Programming.pdf

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Using Reachability Properties of Logic Program for Revising Biological Models2018

    • 著者名/発表者名
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
    • 雑誌名

      The 28th International Conference on Inductive Logic Programming (ILP 2018)

      巻: 0 ページ: 7p

    • DOI

      http://ilp2018.unife.it/wp-content/uploads/2018/08/Using-Reachability-Properties-of-Logic-Program-for-Revising-Biological-Models.pdf

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Static Analysis and Stochastic Search for Reachability Problem2018

    • 著者名/発表者名
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
    • 雑誌名

      Static Analysis in Systems Biology (SASB 2018), affiliated with Static Analysis Symposium

      巻: 0 ページ: 12p

    • 査読あり / 国際共著
  • [雑誌論文] Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge2018

    • 著者名/発表者名
      Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      The 13th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2018)

      巻: 0 ページ: 12p

    • 査読あり / 国際共著
  • [雑誌論文] Abducing Relations in Continuous Spaces2018

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

      In: Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)

      巻: 0 ページ: 1956-1962

    • DOI

      10.24963/ijcai.2018/270

    • 査読あり / オープンアクセス
  • [雑誌論文] Learning Commonsense Knowledge Through Interactive Dialogue2018

    • 著者名/発表者名
      Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
    • 雑誌名

      Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OASICS

      巻: 64(12) ページ: 1-12

    • DOI

      10.4230/OASIcs.ICLP.2018.12

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Recoverable Team Formation: Building Teams Resilient to Change2018

    • 著者名/発表者名
      Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
    • 雑誌名

      In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

      巻: 0 ページ: 1362-1370

    • DOI

      http://dl.acm.org/citation.cfm?id=3237903

    • 査読あり / 国際共著
  • [雑誌論文] Multi-Objective Distributed Pseudo-Tree Optimization2018

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

      In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

      巻: 0 ページ: 1903-1905

    • DOI

      http://dl.acm.org/citation.cfm?id=3238018

    • 査読あり
  • [学会発表] エージェントのタイプに基づく制限付き提携構造形成問題2019

    • 著者名/発表者名
      加藤 浩晃
    • 学会等名
      情報処理学会第81回全国大会 (IPSJ 2019)
  • [学会発表] 不確実性を考慮したタイプ付き提携構造形成アルゴリズム2019

    • 著者名/発表者名
      藤本 真育
    • 学会等名
      情報処理学会第81回全国大会 (IPSJ 2019)
  • [学会発表] スポーツ・スケジューリング:ミニバスケットボールにおける戦作成問題2019

    • 著者名/発表者名
      西村 一輝
    • 学会等名
      情報処理学会第81回全国大会 (IPSJ 2019)
  • [学会発表] 0-1 整数計画法によるレジリエントなナース・スケジューリング2019

    • 著者名/発表者名
      吉田 基輝
    • 学会等名
      情報処理学会第81回全国大会 (IPSJ 2019)
  • [学会発表] レジリエントなナース・スケジューリング問題2018

    • 著者名/発表者名
      沖本 天太
    • 学会等名
      第 17 回科学技術フォーラム (FIT-2018)
  • [学会発表] Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning2018

    • 著者名/発表者名
      Tobias Kaminski
    • 学会等名
      The 31st International Conference on Logic Programming (ICLP 2018)
    • 国際学会
  • [学会発表] Learning from Noisy Transition Data2018

    • 著者名/発表者名
      Yin Jun Phua
    • 学会等名
      The 2nd International Workshop on Symbolic-Neural Learning (SNL-2017)
    • 国際学会
  • [学会発表] Recoverable Team Formation: Building Teams Resilient to Change2018

    • 著者名/発表者名
      Emir Demirovic
    • 学会等名
      The 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018)
    • 国際学会
  • [学会発表] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • 著者名/発表者名
      Mutsunori Banbara
    • 学会等名
      The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018),
    • 国際学会
  • [学会発表] 重み予測を用いたMLPの初期化による少数例からのダイナミクス深層学習2018

    • 著者名/発表者名
      ポア インジュン
    • 学会等名
      第32回人工知能学会全国大会 (JSAI 2018)
  • [学会発表] Neural Programmer-Interpretersの拡張と四則演算を用いる文章問題の解答2018

    • 著者名/発表者名
      勝俣 翔太
    • 学会等名
      第32回人工知能学会全国大会 (JSAI 2018)
  • [学会・シンポジウム開催] "Learning Relational Dynamics from State Transition" The 4th Project Meeting (Fukuoka)2019

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

URL: 

公開日: 2019-12-27  

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

Powered by NII kakenhi