研究課題
挑戦的萌芽研究
時間的に変化する離散系を標準論理プログラムで記述し、その上での帰納推論方式を新たに考案し、状態遷移規則を学習するための方法論を提案する。基本方式として状態間の変位からブーリアンネットワークの状態遷移規則を自動的に学習するLFITを提案し、これをベースに様々な効率化や拡張方式を開発した。効率化にはBDDによる簡約化やトップダウン・アルゴリズムが、拡張には遅延効果・多値ドメイン・確率遷移を有するネットワークと非同期式更新が含まれる。LFITの応用では、遺伝子制御ネットワークやセルオートマトン学習、ロボットの行動規則学習、論理を自動的に学習する論理発見に適用した。
すべて 2016 2015 2014 その他
すべて 国際共同研究 (2件) 雑誌論文 (14件) (うち国際共著 3件、 査読あり 13件、 オープンアクセス 6件、 謝辞記載あり 1件) 学会発表 (8件) (うち国際学会 5件、 招待講演 1件) 図書 (4件)
Logic Journal of the IGPL
巻: 未定 号: 6 ページ: 1075-1093
10.1093/jigpal/jzu027
In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16; Phoenix, Arizona, USA, February 14, 2016)
巻: - ページ: 4330-4332
The 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016)
巻: -
Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference ,Lecture Notes in Artificial Intelligence
巻: 9575
Revised Selected Papers from the 24th International Conference, Lecture Notes in Artificial Intelligence
巻: 9046 ページ: 108-125
10.1109/icmla.2015.19
Artificial General Intelligence: Proceedings of the 8th International Conference , Lecture Notes in Artificial Intelligence
巻: 9205 ページ: 341-351
10.1007/978-3-319-21365-1_35
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings
巻: 1433
Theoretical Computer Science
巻: Vol.568 ページ: 49-71
10.1016/j.tcs.2014.12.002
Frontiers in Bioengineering and Biotechnology
巻: 2
10.3389/fbioe.2014.00081
電子情報通信学会誌
巻: Vol.98 No.1 ページ: 35-39
110009900418
The UNILOG 2015 Workshop on Emergent Computational Logics (Istanbul, Turkey, June 28th, 2015)
The 12th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015; Stanford University, Stanford, CA, USA, March 23-25, 2015)
巻: - ページ: 130-133
Inductive Logic Programming: Revised Selected Papers from the 23rd International Conference (ILP 2013)
巻: Vol.8812 ページ: 47-63
10.1007/978-3-662-44923-3_4
