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

Learning Cellular Automata Represented as Logic Programs

Research Project

Project/Area Number 26540122
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Intelligent informatics
Research InstitutionNational Institute of Informatics

Principal Investigator

INOUE KATSUMI  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)

Co-Investigator(Kenkyū-buntansha) SAKAMA CHIAKI  和歌山大学, システム工学部, 教授 (20273873)
Project Period (FY) 2014-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2015: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2014: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywords機械学習 / セルオートマトン / ブーリアンネットワーク / 状態遷移 / 行動規則学習 / 論理発見 / 遺伝子制御ネットワーク学習
Outline of Final Research Achievements

Learning from Interpretation Transition (LFIT) is a method of unsupervised learning, which learns the dynamics of a system from observed time-series data. LFIT has been developed in three ways: (1) Learning memory-less systems from 1-step state transitions, which contains three different implementations to learn the state transition rules, that is, (a) generalization based on the resolution principle, (b) extension of the binary decision diagram (BDD), and (c) least specialization that guarantees the minimality of learned rules; (2) Learning systems with memory (or delay), which can learn Markov(k) systems that depend on k previous states; and (3) Learning nondeterministic and probabilistic systems, which can work for noisy data.
These three learning algorithms have been implemented and evaluated with bioinformatics data to construct gene regulatory networks. LFIT has also been applied to identification of cellular automata, learning robot planning rules, and learning logics.

Report

(3 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • Research Products

    (28 results)

All 2016 2015 2014 Other

All Int'l Joint Research (2 results) Journal Article (14 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 13 results,  Open Access: 6 results,  Acknowledgement Compliant: 1 results) Presentation (8 results) (of which Int'l Joint Research: 5 results,  Invited: 1 results) Book (4 results)

  • [Int'l Joint Research] Ecole Centrale de Nantes, IRCCyN(France)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] *Institut de Robotica i Informatica...(Spain)

    • Related Report
      2015 Annual Research Report
  • [Journal Article] Abduction, Conversational Implicature and Misleading in Human Dialogues2016

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

      Logic Journal of the IGPL

      Volume: 未定 Issue: 6 Pages: 1075-1093

    • DOI

      10.1093/jigpal/jzu027

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Inductive Logic Programming: Challenges2016

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

      In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16; Phoenix, Arizona, USA, February 14, 2016)

      Volume: - Pages: 4330-4332

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Learning Relational Dynamics of Stochastic Domains for Planning2016

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

      The 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016)

      Volume: -

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Learning Deduction Rules by Induction2016

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

      Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference ,Lecture Notes in Artificial Intelligence

      Volume: 9575

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Learning Prime Implicant Conditions from Interpretation Transition2015

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

      Revised Selected Papers from the 24th International Conference, Lecture Notes in Artificial Intelligence

      Volume: 9046 Pages: 108-125

    • DOI

      10.1109/icmla.2015.19

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Can Machine Learn Logics?2015

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

      Artificial General Intelligence: Proceedings of the 8th International Conference , Lecture Notes in Artificial Intelligence

      Volume: 9205 Pages: 341-351

    • DOI

      10.1007/978-3-319-21365-1_35

    • ISBN
      9783319213644, 9783319213651
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Learning Probabilistic Action Models from Interpretation Transitions2015

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

      Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings

      Volume: 1433

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Logic Programming for Cellular Automata2015

    • Author(s)
      Marcus Volker, Katsumi Inoue
    • Journal Title

      Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings

      Volume: 1433

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Identification of Biological Regulatory Networks from Process Hitting Models2015

    • Author(s)
      Maxime Folschette, Loic Pauleve, Katsumi Inoue, Morgan Magnin, Olivier Roux
    • Journal Title

      Theoretical Computer Science

      Volume: Vol.568 Pages: 49-71

    • DOI

      10.1016/j.tcs.2014.12.002

    • Related Report
      2014 Research-status Report
    • Peer Reviewed
  • [Journal Article] Learning Delayed Influences of Biological Systems2015

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

      Frontiers in Bioengineering and Biotechnology

      Volume: 2

    • DOI

      10.3389/fbioe.2014.00081

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] 人工知能による科学的発見2015

    • Author(s)
      井上 克巳
    • Journal Title

      電子情報通信学会誌

      Volume: Vol.98  No.1 Pages: 35-39

    • NAID

      110009900418

    • Related Report
      2014 Research-status Report
  • [Journal Article] Can Machines Learn Logics?2015

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

      The UNILOG 2015 Workshop on Emergent Computational Logics (Istanbul, Turkey, June 28th, 2015)

      Volume: -

    • Related Report
      2014 Research-status Report
    • Peer Reviewed
  • [Journal Article] Abduction and Conversational Implicature (Extended Abstract)2015

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

      The 12th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015; Stanford University, Stanford, CA, USA, March 23-25, 2015)

      Volume: - Pages: 130-133

    • Related Report
      2014 Research-status Report
    • Peer Reviewed
  • [Journal Article] A BDD-Based Algorithm for Learning from Interpretation Transition2014

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

      Inductive Logic Programming: Revised Selected Papers from the 23rd International Conference (ILP 2013)

      Volume: Vol.8812 Pages: 47-63

    • DOI

      10.1007/978-3-662-44923-3_4

    • ISBN
      9783662449226, 9783662449233
    • Related Report
      2014 Research-status Report
    • Peer Reviewed
  • [Presentation] LFIT: 解釈遷移からの学習2016

    • Author(s)
      井上克巳
    • Organizer
      人工知能学会 第100回人工知能基本問題研究会 (SIG-FPAI)
    • Place of Presentation
      熊本市民会館
    • Year and Date
      2016-03-27
    • Related Report
      2015 Annual Research Report
    • Invited
  • [Presentation] Panel: ILP 25 Years2015

    • Author(s)
      Stephen Muggleton, Fabrizio Riguzzi, Filip Zelezny, Gerson Zaverucha, Jesse Davis, Katsumi Inoue, and Taisuke Sato
    • Organizer
      he 25th International Conference on Inductive Logic Programming
    • Place of Presentation
      京都大学
    • Year and Date
      2015-08-22
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Learning Multi-Valued Biological Models with Delayed Influence from Time-Series Observations2015

    • Author(s)
      Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
    • Organizer
      The 25th International Conference on Inductive Logic Programming
    • Place of Presentation
      京都大学
    • Year and Date
      2015-08-20
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments2015

    • Author(s)
      Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux
    • Organizer
      he 25th International Conference on Inductive Logic Programming
    • Place of Presentation
      京都大学
    • Year and Date
      2015-08-20
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Can Machine Learn Logics?2015

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Organizer
      The UNILOG 2015 Workshop on Emergent Computational Logics
    • Place of Presentation
      Istanbul, Turkey
    • Year and Date
      2015-06-28
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Abduction, Conversational Implicature, and Misleading2015

    • Author(s)
      Chiaki Sakama, Katsumi Inou
    • Organizer
      The International Conference on Model-Based Reasoning in Science and Technology
    • Place of Presentation
      Sestri Levante, Italy
    • Year and Date
      2015-06-25
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Learning Prime Implicant Conditions from Interpretation Transition2014

    • Author(s)
      Tony Ribeiro, Katsumi Inoue
    • Organizer
      The 24th International Conference on Inductive Logic Programming (ILP 2014)
    • Place of Presentation
      Nancy,France
    • Year and Date
      2014-09-14
    • Related Report
      2014 Research-status Report
  • [Presentation] Learning Delayed Influence of Dynamical Systems from Interpretation Transition2014

    • Author(s)
      Tony Ribeiro, Morgan Magnin, Katsumi Inoue
    • Organizer
      The 24th International Conference on Inductive Logic Programming (ILP 2014)
    • Place of Presentation
      Nancy, France
    • Year and Date
      2014-09-14
    • Related Report
      2014 Research-status Report
  • [Book] Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference,Lecture Notes in Artificial Intelligence2016

    • Author(s)
      Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto (eds.)
    • Publisher
      Springer
    • Related Report
      2015 Annual Research Report
  • [Book] Logical Modeling of Biological Systems2014

    • Author(s)
      Luis Farinas del Cerro, Katsumi Inoue (editors)
    • Total Pages
      422
    • Publisher
      Wiley
    • Related Report
      2014 Research-status Report
  • [Book] ASP for Construction and Validation of Regulatory Biological Networks, in: Luis Fariñas del Cerro, Katsumi Inoue (editors), Logical Modeling of Biological Systems, Chapter 52014

    • Author(s)
      Alexandre Rocca, Nicolas Mobilia, Eric Fanchon, Tony Ribeiro, Laurent Trilling, Katsumi Inoue
    • Publisher
      Wiley
    • Related Report
      2014 Research-status Report
  • [Book] Simulation Based Reasoning about Biological Pathways Using Petri Nets and ASP, in: Luis Fariñas del Cerro, Katsumi Inoue (editors), Logical Modeling of Biological Systems, Chapter 62014

    • Author(s)
      Saadat Anwar, Chitta Baral, Katsumi Inoue
    • Publisher
      Wiley
    • Related Report
      2014 Research-status Report

URL: 

Published: 2014-04-04   Modified: 2017-05-10  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi