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

2019 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)ダイナミック環境におけるチャレンジ問題への適用、のサブテーマを設定している。令和元年度は前年度の研究成果を基に、各サブテーマの成果を相互に適用・フィードバックさせながら研究を進めた。
(1)関係ダイナミクス学習のために提案している「解釈遷移からの学習(LFIT)」の枠組みを実ドメインでも展開できるようにするために、連続ドメインの変数ベクトルの状態遷移について、離散化手法を複数適用したうえで、より予測性能が高くなる学習方式を考案した。また動的環境における推論規則の学習として、前提と帰結のペアからなる事例や時系列で変化するデータから、状態変化をもたらす推論規則を機械的に学習するアルゴリズムを開発し実装した。
(2)LFITの学習方式の一つであるニューラルネットワークによるダイナミック系の学習について、ノイズを含む遷移列からの学習方式を開発した。また、大量の関係データから帰納的一般化を計算するアルゴリズムを開発し実装した。
(3)時系列データからの生体ネットワーク学習ではDREAM 8チャレンジ問題を解き、従来のベストな解法を凌ぐ方式を開発した。また信念修正の前後状態から翻意方式を推定する方法等について検討した。確率的提携構造形成問題については、計算量の解析を行い混合線形計画プログラミングによる計算方法を開発実装し効率性を検証した。新たな取り組みとして、複数の情報源を反復的にマージし各ソースの信頼性を動的に更新する枠組みの研究に着手した。さらに、制約充足問題における大域的な解に影響を及ぼす変数の特定に関する基礎研究を実施した。

Current Status of Research Progress
Current Status of Research Progress

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

Reason

本研究は順調に進展しており、当初の計画以上に研究の幅を拡大している。(1)「関係ダイナミクス学習理論の構築」では、これまで開発してきたLFITに対する機能拡充を一通り施し(3)における実ドメインでの応用に供している。 (2)「スケーラブルな関係ダイナミクス学習方式の開発」においては、線形代数手法とニューラルネットワーク手法のいずれも経験を積んでおり、GPU等の高性能計算に基づくスケーラブルな新学習手法として、ダイナミック制約で表現される系を学習するための計算基盤を確立しつつある。(3)「ダイナミック環境におけるチャレンジ問題への適用」は、多くの重要な問題を解決してきており、ダイナミック環境に関係するレジリエントなシステムの設計と応用についても多くの知見を得てきている。

Strategy for Future Research Activity

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

Remarks

受賞
1. Y.J. Phua, K. Inoue: Best Student Paper Award, 29th Int. Conf. Inductive Logic Programming
2. T. Okimoto, K. Hirayama: Best Paper Award, 20th Int. Symp. Advanced Intelligent Systems

  • Research Products

    (33 results)

All 2020 2019 Other

All Int'l Joint Research (2 results) Journal Article (16 results) (of which Int'l Joint Research: 9 results,  Peer Reviewed: 15 results,  Open Access: 5 results) Presentation (11 results) (of which Int'l Joint Research: 4 results) Book (1 results) Remarks (1 results) Funded Workshop (2 results)

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

    • Country Name
      FRANCE
    • Counterpart Institution
      LS2N / Ecole Centrale de Nantes/CRIL CNRS / University of Artois/LIP6, Sorbonne University
  • [Int'l Joint Research] Technische Universitaet Wien(オーストリア)

    • Country Name
      AUSTRIA
    • Counterpart Institution
      Technische Universitaet Wien
  • [Journal Article] From 3-Valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces2020

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

      Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)

      Volume: 2 Pages: 758-765

    • DOI

      https://doi.org/10.5220/0009093407580765

    • Peer Reviewed / Open Access
  • [Journal Article] Learning Logic Programs from Noisy State Transition Data2020

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

      Proceedings of the 29th International Conference on Inductive Logic Programming (ILP 2019), Lecture Notes in Artificial Intelligence

      Volume: - Pages: -

    • Peer Reviewed
  • [Journal Article] A New Algorithm for Computing Least Generalization of a Set of Atoms2020

    • Author(s)
      Hien D. Nguyen, Chiaki Sakama
    • Journal Title

      Proceedings of the 29th International Conference on Inductive Logic Programming (ILP 2019), Lecture Notes in Artificial Intelligence

      Volume: - Pages: -

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning Inference Rules from Data2019

    • Author(s)
      Chiaki Sakama, Katsumi Inoue, Tony Ribeiro
    • Journal Title

      Kuenstliche Intelligenz

      Volume: 33(3) Pages: 267-278

    • DOI

      https://doi.org/10.1007/s13218-019-00597-y

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] 推論とAIプログラミング2019

    • Author(s)
      井上 克巳, 坂間 千秋, 佐藤 泰介
    • Journal Title

      人工知能学会誌

      Volume: 34(5) Pages: 703-713

    • DOI

      https://jsai.ixsq.nii.ac.jp/ej/?action=repository_uri&item_id=10409

  • [Journal Article] Disjunctive Abduction2019

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

      New Generation Computing

      Volume: 37(2) Pages: 219-243

    • DOI

      https://doi.org/10.1007/s00354-019-00059-x

    • Peer Reviewed
  • [Journal Article] From Fifth Generation Computing to Skill Science: A Biographical Essay of Koichi Furukawa2019

    • Author(s)
      Tomonobu Ozaki, Randy Goebel, Katsumi Inoue
    • Journal Title

      New Generation Computing

      Volume: 37(2) Pages: 141-158

    • DOI

      https://doi.org/10.1007/s00354-019-00058-y

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

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

      Journal of Applied Logics

      Volume: 6(4) Pages: 695-708

    • DOI

      https://collegepublications.co.uk/ifcolog/?00033

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [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] Identifying Belief Sequences in a Network of Communicating Agents2019

    • Author(s)
      Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue
    • Journal Title

      Proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA'19), Lecture Notes in Artificial Intelligence

      Volume: 11873 Pages: 370-386

    • DOI

      https://doi.org/10.1007/978-3-030-33792-6_23

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Ordering Argumentation Frameworks2019

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

      Proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), Lecture Notes in Artificial Intelligence

      Volume: 11726 Pages: 87-98

    • DOI

      https://doi.org/10.1007/978-3-030-29765-7_8

    • Peer Reviewed
  • [Journal Article] Epistemic Argumentation Framework2019

    • Author(s)
      Chiaki Sakama, Tran Cao Son
    • Journal Title

      Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2019), Lecture Notes in Artificial Intelligence

      Volume: 11670 Pages: 718-732

    • DOI

      https://doi.org/10.1007/978-3-030-29908-8_56

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Meta-Interpretive Learning Using HEX-Programs2019

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

      Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)

      Volume: - Pages: 6186-6190

    • DOI

      https://doi.org/10.24963/ijcai.2019/860

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario2019

    • Author(s)
      Nicolas Schwind, Katsumi Inoue, Sebastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
    • Journal Title

      The 28th International Joint Conference on Artificial Intelligence (IJCAI'19)

      Volume: - Pages: 1865-1871

    • DOI

      https://doi.org/10.24963/ijcai.2019/258

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Identifying Influential Variables in CSP2019

    • Author(s)
      Tenda Okimoto, Katsutoshi Hirayama
    • Journal Title

      Proceedings of the 20th International Symposium on Advanced Intelligent Systems

      Volume: - Pages: 320-325

    • Peer Reviewed
  • [Journal Article] Resilient Nurse Scheduling Problem2019

    • Author(s)
      Motoki Yoshida, Tenda Okimoto, Katsutoshi Hirayama
    • Journal Title

      Proceedings of International Symposium on Scheduling 2019

      Volume: - Pages: 162-167

    • Peer Reviewed
  • [Presentation] 解釈遷移からの学習を用いた遺伝子制御ネットワーク推論手法の開発2020

    • Author(s)
      池田 光
    • Organizer
      人工知能学会 第112回人工知能基本問題研究会 (SIG-FPAI)
  • [Presentation] Inducing belief revision operator from examples2020

    • Author(s)
      戸塚 悠太郎
    • Organizer
      人工知能学会 第112回人工知能基本問題研究会 (SIG-FPAI)
  • [Presentation] CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察2020

    • Author(s)
      宋 剛秀
    • Organizer
      人工知能学会 第112回人工知能基本問題研究会 (SIG-FPAI)
  • [Presentation] 解集合ソルバーを用いた様相命題論理の充足可能性判定2020

    • Author(s)
      飯野 有軌
    • Organizer
      日本ソフトウェア科学会 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
  • [Presentation] Scalable Learning of Logic Programs with Neural Networks2019

    • Author(s)
      Yin Jun Phua
    • Organizer
      The 3rd International Workshop on Symbolic-Neural Learning (SNL 2019)
    • Int'l Joint Research
  • [Presentation] Identifying Influential Variables in CSP2019

    • Author(s)
      Tenda Okimoto
    • Organizer
      The 20th International Symposium on Advanced Intelligent Systems
    • Int'l Joint Research
  • [Presentation] Resilient Nurse Scheduling Problem2019

    • Author(s)
      Motoki Yoshida
    • Organizer
      International Symposium on Scheduling 2019
    • Int'l Joint Research
  • [Presentation] エージェントのタイプを用いた特性関数の簡略表記法に基づく制限付き提携構造形成問題2019

    • Author(s)
      加藤 浩晃
    • Organizer
      第18回科学技術フォーラム
  • [Presentation] U12バスケットボールにおけるリーグ戦スケジューリング2019

    • Author(s)
      沖本 天太
    • Organizer
      第33回人工知能学会全国大会 (JSAI 2019)
  • [Presentation] ノイズを含む遷移データからの論理プログラム学習2019

    • Author(s)
      ポア インジュン
    • Organizer
      第33回人工知能学会全国大会 (JSAI 2019)
  • [Presentation] Inferring Agent's Goals from Observing Successful Traces2019

    • Author(s)
      Guillaume Lorthioir
    • Organizer
      The 33th Annual Conference of the Japanese Society for Artificial Intelligence, 2019 (JSAI 2019)
    • Int'l Joint Research
  • [Book] Les enjeux de l'inference de mode`les dynamiques des syste`mes biologiques a` partir de series temporelles. In: Elisabeth Remy, Cedric Lhoussaine (eds.), Approches Symboliques de la Modelisation et de l'Analyse des Syste`mes Biologiques2020

    • Author(s)
      Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux
    • Total Pages
      40 (to appear)
    • Publisher
      ISTE Sciences
  • [Remarks] 井上研究室ホームページ

    • URL

      http://research.nii.ac.jp/il/

  • [Funded Workshop] “Franco-Japanese Meeting on Knowledge Representation and Reasoning in CRIL” (Lens, France)2019

  • [Funded Workshop] “Franco-Japanese Meeting on Learning and Reasoning about Dynamics in LIP6" (Paris, France)2019

URL: 

Published: 2021-01-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi