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

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

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

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

Strategy for Future Research Activity

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

Remarks

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

  • Research Products

    (36 results)

All 2019 2018 Other

All Int'l Joint Research (5 results) Journal Article (18 results) (of which Int'l Joint Research: 16 results,  Peer Reviewed: 17 results,  Open Access: 8 results) Presentation (11 results) (of which Int'l Joint Research: 4 results) Funded Workshop (2 results)

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

    • Country Name
      FRANCE
    • Counterpart Institution
      LS2N / Ecole Centrale de Nantes/CNRS / Universite d'Artois/Sorbonne Universite/ LIP6
  • [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
  • [Int'l Joint Research] TU Wien(オーストリア)

    • Country Name
      AUSTRIA
    • Counterpart Institution
      TU Wien
  • [Int'l Joint Research] Imperial College London(英国)

    • Country Name
      UNITED KINGDOM
    • Counterpart Institution
      Imperial College London
  • [Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2019

    • Author(s)
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
    • Journal Title

      Annals of Operations Research

      Volume: 275 (1) Pages: 3-37

    • DOI

      10.1007/s10479-018-2757-7

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Computational Intractability Law Molds the Topology of Biological Networks2019

    • Author(s)
      Ali A Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jerome Waldispuh
    • Journal Title

      bioRxiv

      Volume: 510495 Pages: 30p

    • DOI

      10.1101/510495

    • Open Access / Int'l Joint Research
  • [Journal Article] Assessing the Resilience of Stochastic Dynamic Systems Under Partial Observability2018

    • Author(s)
      Jacopo Panerati, Nicolas Schwind, Stefan Zeltner, Katsumi Inoue, Giovanni Beltrame
    • Journal Title

      PLoS ONE

      Volume: 13(8): e0202337 Pages: 1-21

    • DOI

      10.1371/journal.pone.0202337

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning2018

    • Author(s)
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • Journal Title

      Theory and Practice of Logic Programming

      Volume: 18(3-4) Pages: 571-588

    • DOI

      10.1017/S1471068418000261

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Computing Logic Programming Semantics in Linear Algebra2018

    • Author(s)
      Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
    • Journal Title

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

      Volume: 11248 Pages: 32-48

    • DOI

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

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Identifying Goals of Agents by Learning from Observations2018

    • Author(s)
      Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue
    • Journal Title

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

      Volume: 11248 Pages: 125-138

    • DOI

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

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Robust Coalition Structure Generation2018

    • Author(s)
      Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
    • Journal Title

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

      Volume: 11224 Pages: 140-157

    • DOI

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

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Probabilistic Coalition Structure Generation2018

    • Author(s)
      Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
    • Journal Title

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

      Volume: 0 Pages: 663-664.

    • DOI

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

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Partial Evaluation of Logic Programs in Vector Spaces2018

    • Author(s)
      Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
    • Journal Title

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

      Volume: 1811.11435 Pages: 1-14

    • DOI

      http://arxiv.org/abs/1811.11435

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Learning Dynamics with Synchronous, Asynchronous and General Semantics2018

    • Author(s)
      Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
    • Journal Title

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

      Volume: 11105 Pages: 118-140

    • DOI

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

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming2018

    • Author(s)
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • Journal Title

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

      Volume: 0 Pages: 6p

    • DOI

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

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Using Reachability Properties of Logic Program for Revising Biological Models2018

    • Author(s)
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
    • Journal Title

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

      Volume: 0 Pages: 7p

    • DOI

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

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Static Analysis and Stochastic Search for Reachability Problem2018

    • Author(s)
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
    • Journal Title

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

      Volume: 0 Pages: 12p

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge2018

    • Author(s)
      Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
    • Journal Title

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

      Volume: 0 Pages: 12p

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Abducing Relations in Continuous Spaces2018

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

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

      Volume: 0 Pages: 1956-1962

    • DOI

      10.24963/ijcai.2018/270

    • Peer Reviewed / Open Access
  • [Journal Article] Learning Commonsense Knowledge Through Interactive Dialogue2018

    • Author(s)
      Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
    • Journal Title

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

      Volume: 64(12) Pages: 1-12

    • DOI

      10.4230/OASIcs.ICLP.2018.12

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Recoverable Team Formation: Building Teams Resilient to Change2018

    • Author(s)
      Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
    • Journal Title

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

      Volume: 0 Pages: 1362-1370

    • DOI

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

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Multi-Objective Distributed Pseudo-Tree Optimization2018

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

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

      Volume: 0 Pages: 1903-1905

    • DOI

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

    • Peer Reviewed
  • [Presentation] エージェントのタイプに基づく制限付き提携構造形成問題2019

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

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

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

    • Author(s)
      吉田 基輝
    • Organizer
      情報処理学会第81回全国大会 (IPSJ 2019)
  • [Presentation] レジリエントなナース・スケジューリング問題2018

    • Author(s)
      沖本 天太
    • Organizer
      第 17 回科学技術フォーラム (FIT-2018)
  • [Presentation] Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning2018

    • Author(s)
      Tobias Kaminski
    • Organizer
      The 31st International Conference on Logic Programming (ICLP 2018)
    • Int'l Joint Research
  • [Presentation] Learning from Noisy Transition Data2018

    • Author(s)
      Yin Jun Phua
    • Organizer
      The 2nd International Workshop on Symbolic-Neural Learning (SNL-2017)
    • Int'l Joint Research
  • [Presentation] Recoverable Team Formation: Building Teams Resilient to Change2018

    • Author(s)
      Emir Demirovic
    • Organizer
      The 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018)
    • Int'l Joint Research
  • [Presentation] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • Author(s)
      Mutsunori Banbara
    • Organizer
      The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018),
    • Int'l Joint Research
  • [Presentation] 重み予測を用いたMLPの初期化による少数例からのダイナミクス深層学習2018

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

    • Author(s)
      勝俣 翔太
    • Organizer
      第32回人工知能学会全国大会 (JSAI 2018)
  • [Funded Workshop] "Learning Relational Dynamics from State Transition" The 4th Project Meeting (Fukuoka)2019

  • [Funded Workshop] "Learning Relational Dynamics from State Transition" The 3rd Project Meeting (Kobe)2018

URL: 

Published: 2019-12-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi