• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2017 Fiscal Year Annual Research Report

Learning Relational Dynamics from State Transition

Research Project

Project/Area Number 17H00763
Research InstitutionNational Institute of Informatics

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 坂間 千秋  和歌山大学, システム工学部, 教授 (20273873)
沖本 天太  神戸大学, 海事科学研究科, 准教授 (10632432)
Nicolas Schwind  国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員 (60646397)
Project Period (FY) 2017-04-01 – 2021-03-31
Keywords推論 / 機械学習 / 知識表現 / 関係学習 / 表現学習 / 状態遷移 / 制約最適化
Outline of Annual Research Achievements

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

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

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

Strategy for Future Research Activity

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

Remarks

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

  • Research Products

    (28 results)

All 2018 2017 Other

All Int'l Joint Research (3 results) Journal Article (14 results) (of which Int'l Joint Research: 9 results,  Peer Reviewed: 14 results,  Open Access: 5 results) Presentation (9 results) (of which Int'l Joint Research: 2 results,  Invited: 2 results) Funded Workshop (2 results)

  • [Int'l Joint Research] LS2N / Ecole Centrale de Nantes/CRIL CNRS / Universite d'Artois(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      LS2N / Ecole Centrale de Nantes/CRIL CNRS / Universite d'Artois
  • [Int'l Joint Research] University of Potsdam(ドイツ)

    • Country Name
      GERMANY
    • Counterpart Institution
      University of Potsdam
  • [Int'l Joint Research] Ecole Polytechnique de Montreal(カナダ)

    • Country Name
      CANADA
    • Counterpart Institution
      Ecole Polytechnique de Montreal
  • [Journal Article] Solving Problems on a Knowledge Model of Operators and Application2018

    • Author(s)
      Hien Nguyen, Nhon Do, Vuong Pham, Katsumi Inoue
    • Journal Title

      International Journal of Digital Enterprise Technology

      Volume: 1(1-2) Pages: 37-59

    • DOI

      10.1504/IJDET.2018.092632

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Learning Programs with Continuous Domains from State Transitions2018

    • Author(s)
      Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, Katsumi Inoue
    • Journal Title

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

      Volume: 10759 Pages: 124-139

    • DOI

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

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning Logic Program Representation for Delayed Systems with Limited Training Data2018

    • Author(s)
      Yin Jun Phua, Sophie Tourret, Katsumi Inoue
    • Journal Title

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

      Volume: 2085 Pages: 27-33

    • DOI

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

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Distributed Pareto Local Search for Multi-Objective DCOPs2017

    • Author(s)
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: 100-D(12) Pages: 2897-2905

    • DOI

      10.1587/transinf.2016AGP0006

    • Peer Reviewed
  • [Journal Article] Special Issue on Inductive Logic Programming2017

    • Author(s)
      Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
    • Journal Title

      Machine Learning

      Volume: 106(12) Pages: 1863-1865

    • DOI

      10.1007/s10994-017-5679-8

    • Peer Reviewed
  • [Journal Article] Relational Reinforcement Learning for Planning with Exogenous Effects2017

    • Author(s)
      David Martinez, Guillem Alenya, Carme Torras, Tony Ribeiro, Katsumi Inoue
    • Journal Title

      Journal of Machine Learning Research

      Volume: 18(78) Pages: 1-78

    • DOI

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

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Representing Argumentation Frameworks in Answer Set Programming2017

    • Author(s)
      Chiaki Sakama
    • Journal Title

      Fundamenta Informaticae

      Volume: 155(3) Pages: 261-292

    • DOI

      10.3233/FI-2017-1585

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Balanced Clustering Based Decomposition Applied to Master Thesis Defense Timetabling Problem2017

    • Author(s)
      Huynh Thanh Trung, Pham Quang Dung, Emir Demirovic, Maxime Clement, Katsumi Inoue
    • Journal Title

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

      Volume: 0 Pages: 214-228

    • DOI

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

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] A Causal Theory of Speech Acts2017

    • Author(s)
      Chiaki Sakama
    • Journal Title

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

      Volume: 10455 Pages: 658-663

    • DOI

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

    • Peer Reviewed
  • [Journal Article] Linear Algebraic Characterization of Logic Programs2017

    • Author(s)
      Chiaki Sakama, Katsumi Inoue, Taisuke Sato
    • Journal Title

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

      Volume: 10412 Pages: 520-533

    • DOI

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

    • Peer Reviewed
  • [Journal Article] Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences2017

    • Author(s)
      Kotaro Okazaki, Katsumi Inoue
    • Journal Title

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

      Volume: 1 Pages: 53-61

    • DOI

      10.1109/CBI.2017.87

    • Peer Reviewed
  • [Journal Article] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017

    • Author(s)
      Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Noyuki Tamura
    • Journal Title

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

      Volume: 10377 Pages: 265-278

    • DOI

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

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks2017

    • Author(s)
      Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
    • Journal Title

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

      Volume: 10261 Pages: 483-492

    • DOI

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

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning from Interpretation Transition using Feed-Forward Neural Networks2017

    • Author(s)
      Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
    • Journal Title

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

      Volume: 1865 Pages: 27-33

    • DOI

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

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Presentation] 公平性を考慮した麻酔科医スケジューリング問題に関する一検討2018

    • Author(s)
      山中 悠介
    • Organizer
      情報処理学会第80回全国大会 (IPSJ 2018)
  • [Presentation] システムズレジリエンスへの数理アプローチ2018

    • Author(s)
      井上 克巳
    • Organizer
      「レジリエンス・エンジニアリング理論の医療の質・安全における実用化研究」研究会議
    • Invited
  • [Presentation] Learning Programs from Observations2017

    • Author(s)
      Katsumi Inoue
    • Organizer
      Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming
    • Int'l Joint Research / Invited
  • [Presentation] 確率的な提携構造形成フレームワークの提案2017

    • Author(s)
      沖本 天太
    • Organizer
      第16回科学技術フォーラム (FIT-2017)
  • [Presentation] Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks2017

    • Author(s)
      Yin Jun Phua
    • Organizer
      The 1st International Workshop on Symbolic-Neural Learning (SNL-2017)
    • Int'l Joint Research
  • [Presentation] 不確実性を考慮した提携構造形成問題に関する一検討2017

    • Author(s)
      沖本 天太
    • Organizer
      第31回人工知能学会全国大会 (JSAI 2017)
  • [Presentation] Building Teams Resilient to Change.2017

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

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

    • Author(s)
      岡崎 孝太郎
    • Organizer
      第31回人工知能学会全国大会 (JSAI 2017)
  • [Funded Workshop] "Learning Relational Dynamics from State Transition" The 2nd Project Meeting (Kanazawa)2018

  • [Funded Workshop] "Learning Relational Dynamics from State Transition" The 1st Project Meeting (Kobe)2017

URL: 

Published: 2019-12-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi