記号推論に接続する機械学習

研究課題

体系的番号	JPMJCR22D3
DOI	https://doi.org/10.52926/JPMJCR22D3
研究代表者	杉山麿人情報・システム研究機構, 国立情報学研究所, 准教授
研究期間 (年度)	2022 – 2027
概要	信頼されるAIシステムの基盤となる基礎技術の創出を目的として、主に幾何学的なアプローチに着目することで、大量パラメータを利用する現代的な機械学習と、推論根拠の解釈性に優れた記号推論の融合を実現します。記号推論を前提とした機械学習システムを設計・構築することで、機械学習がもつ信頼性についての課題と、記号推論が持つロバスト性についての課題を同時に解決します。
研究領域	信頼されるAIシステムを支える基盤技術

主な研究成果
(27件)

すべて 2024

すべて雑誌論文 (27件) (国際共著 8件、査読あり 25件、オープンアクセス 27件)

[雑誌論文] Bringing Structure to Naturalness: On the Naturalness of ASTs2024
- 著者名
  Profir-Petru Partachi, Mahito Sugiyama
- 雑誌名
  
  Proceedings of 46th International Conference on Software Engineering (ICSE 2024), Posters Track
- 査読あり / オープンアクセス
[雑誌論文] Linearly Structured World Representations in Maze-Solving Transformers2024
- 著者名
  Michael Ivanitskiy, Alexander Spies, Tilman Rauker, Guillaume Corlouer, Christopher Mathwin, Lucia Quirke, Can Rager, Rusheb Shah, Dan Valentine, Cecilia Diniz Behn, Katsumi Inoue, Samy Wu Fung
- 雑誌名
  
  In: Proceedings of UniReps: the First Workshop on Unifying Representations in Neural Models (15 December 2023, Ernest N. Morial Convention Center, New Orleans, USA). Proceedings of Machine Learning Research
  
  巻: 243 ページ: 133-143
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] A differentiable first-order rule learner for inductive logic programming2024
- 著者名
  Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
- 雑誌名
  
  Artificial Intelligence
  
  巻: 331 号: 104108 ページ: 27
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Neural Tangent Kernels for Axis-Aligned Tree Ensembles2024
- 著者名
  Kanoh, R, Sugiyama, M
- 雑誌名
  
  Proceedings of the 41st International Conference on Machine Learning (ICML2024)
- 査読あり / オープンアクセス
[雑誌論文] Understanding the Impact of Introducing Constraints at Inference Time on Generalization Error2024
- 著者名
  Masaaki Nishino, Kengo Nakamura, Norihito Yasuda
- 雑誌名
  
  Proc. of the 41st International Conference on Machine Learning
- 査読あり / オープンアクセス
[雑誌論文] Reconsidering Stochastic Policy Gradient Methods for Traffic Signal Control2024
- 著者名
  Masahiro Kato, Ryosuke Kojima
- 雑誌名
  
  The 37th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems
- 査読あり / オープンアクセス
[雑誌論文] Variable Assignment Invariant Neural Networks for Learning Logic Programs2024
- 著者名
  Yin Jun Phua, Katsumi Inoue
- 雑誌名
  
  Neural-Symbolic Learning and Reasoning: Proceedings of the 18th International Conference, Part 1 (NeSy 2024; Barcelona, Spain, September 9-12, 2024), Lecture Notes in Artificial Intelligence
  
  巻: 14979 ページ: 47-61
- 査読あり / オープンアクセス
[雑誌論文] Learning From Interpretation Transitions with Unknowns2024
- 著者名
  Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Antoine Roquilly, Jeremie Poschmann, Katsumi Inoue
- 雑誌名
  
  The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024; Nanjing University International Conference Center, Nanjing, China, September 20-22, 2024), Lecture Notes in Artificial Intelligence
  
  ページ: 19
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] ASP-based Large Neighborhood Prioritized Search for Course Timetabling2024
- 著者名
  Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
- 雑誌名
  
  In: Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez (eds), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 17th International Conference (LPNMR 2024; Dallas, TX, USA, October 11-14, 2024), Lecture Notes in Artificial Intelligence
  
  巻: 15245 ページ: 57-70
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Floor-Field-Guided Neural Model for Crowd Counting2024
- 著者名
  Takehiro Habara, Ryosuke Kojima
- 雑誌名
  
  IEEE Access
  
  巻: 12 ページ: 154888-154900
- 査読あり / オープンアクセス
[雑誌論文] Subgraph-Based Molecular Graph Generation2024
- 著者名
  Masatsugu Yamada, Mahito Sugiyama
- 雑誌名
  
  Drug Development Supported by Informatics
  
  ページ: 103-119
- オープンアクセス
[雑誌論文] Primer on Graph Machine Learning2024
- 著者名
  Masatsugu Yamada, Mahito Sugiyama
- 雑誌名
  
  Drug Development Supported by Informatics
  
  ページ: 87-102
- オープンアクセス
[雑誌論文] Differentiable Logic Programming for Distant Supervision2024
- 著者名
  Akihiro Takemura, Katsumi Inoue
- 雑誌名
  
  Proceedings of the 27th European Conference on Artificial Intelligence (ECAI-2024; Santiago de Compostela, Spain, October 19-24, 2024), Frontiers in Artificial Intelligence and Applications
  
  巻: 392 ページ: 1301-1308
- 査読あり / オープンアクセス
[雑誌論文] Linear Algebraic Partial Evaluation of Logic Programs2024
- 著者名
  Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
- 雑誌名
  
  Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2024; Herndon, VA, USA, October 30 - November 1, 2024)
  
  ページ: 355-362
- 査読あり / オープンアクセス
[雑誌論文] Linear Algebraic Partial Evaluation of Logic Programs2024
- 著者名
  Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
- 雑誌名
  
  In: Nina Gierasimczuk, Jesse Heyninck (eds.), Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024), CEUR Workshop Proceedings
  
  巻: 3835 ページ: 14-23
- 査読あり / オープンアクセス
[雑誌論文] Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming2024
- 著者名
  Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
- 雑誌名
  
  Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024)
  
  ページ: 765-777
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Abductive reasoning in a paraconsistent framework2024
- 著者名
  Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
- 雑誌名
  
  Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024)
  
  ページ: 134-144
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming2024
- 著者名
  Akihiro Takemura, Katsumi Inoue
- 雑誌名
  
  Theory and Practice of Logic Programming
  
  巻: 24 号: 5 ページ: 973-1010
- 査読あり / オープンアクセス
[雑誌論文] Single Family Algebra Operation on BDDs and ZDDs Leads to Exponential Blow-Up.2024
- 著者名
  Kengo Nakamura, Masaaki Nishino, Shuhei Denzumi
- 雑誌名
  
  35th International Symposium on Algorithms and Computation(ISAAC)
  
  ページ: 52-17
- 査読あり / オープンアクセス
[雑誌論文] Large Language Models: Assessment for Singularity2024
- 著者名
  Ryunosuke Ishizaki, Mahito Sugiyama
- 雑誌名
  
  AI & Society: Knowledge, Culture and Communication
- 査読あり / オープンアクセス
[雑誌論文] Neuro-symbolic Contrastive Learning for Cross-domain Inference2024
- 著者名
  Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue, Chris G. Willcocks
- 雑誌名
  
  Proceedings of the 40th International Conference on Logic Programming (ICLP 2024; University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024), Electronic Proceedings in Theoretical Computer Science
  
  巻: 416 ページ: 78-94
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs.2024
- 著者名
  Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
- 雑誌名
  
  AAAI
  
  ページ: 15109-15117
- 査読あり / オープンアクセス
[雑誌論文] An And-Sum Circuit with Signed Edges That Is More Succinct than SDD.2024
- 著者名
  Ryoma Onaka, Kengo Nakamura 0001, Masaaki Nishino, Norihito Yasuda
- 雑誌名
  
  AAAI
  
  ページ: 15100-15108
- 査読あり / オープンアクセス
[雑誌論文] Ultimate Intelligence and Ethics2024
- 著者名
  Ryunosuke Ishizaki, Mahito Sugiyama
- 雑誌名
  
  Analysis and Metaphysics
  
  巻: 24 号: 1 ページ: 41-53
- 査読あり / オープンアクセス
[雑誌論文] StiefelGen: Time Series Data Augmentation Over the Stiefel Manifold2024
- 著者名
  Prasad Cheema, Mahito Sugiyama
- 雑誌名
  
  AAAI 2025 Workshop AI4TS: AI for Time Series Analysis
- 査読あり / オープンアクセス
[雑誌論文] Learning deep dissipative dynamics2024
- 著者名
  Yuji Okamoto, Ryosuke Kojima
- 雑誌名
  
  Proceedings of the AAAI Conference on Artificial Intelligence
  
  巻: 39 号: 18 ページ: 19749-19757
- 査読あり / オープンアクセス
[雑誌論文] Learning Possibilistic Dynamic Systems from State Transitions2024
- 著者名
  Hongbo Hu, Yisong Wang, Katsumi Inoue
- 雑誌名
  
  Fuzzy Sets and Systems
  
  巻: 504 号: 109259 ページ: 30
- 査読あり / オープンアクセス / 国際共著

記号推論に接続する機械学習

研究代表者

杉山 麿人 情報・システム研究機構, 国立情報学研究所, 准教授

主な研究成果

[雑誌論文] Bringing Structure to Naturalness: On the Naturalness of ASTs2024

著者名

雑誌名

[雑誌論文] Linearly Structured World Representations in Maze-Solving Transformers2024

著者名

雑誌名

[雑誌論文] A differentiable first-order rule learner for inductive logic programming2024

著者名

雑誌名

[雑誌論文] Neural Tangent Kernels for Axis-Aligned Tree Ensembles2024

著者名

雑誌名

[雑誌論文] Understanding the Impact of Introducing Constraints at Inference Time on Generalization Error2024

著者名

雑誌名

[雑誌論文] Reconsidering Stochastic Policy Gradient Methods for Traffic Signal Control2024

著者名

雑誌名

[雑誌論文] Variable Assignment Invariant Neural Networks for Learning Logic Programs2024

著者名

雑誌名

[雑誌論文] Learning From Interpretation Transitions with Unknowns2024

著者名

雑誌名

[雑誌論文] ASP-based Large Neighborhood Prioritized Search for Course Timetabling2024

著者名

雑誌名

[雑誌論文] Floor-Field-Guided Neural Model for Crowd Counting2024

著者名

雑誌名

[雑誌論文] Subgraph-Based Molecular Graph Generation2024

著者名

雑誌名

[雑誌論文] Primer on Graph Machine Learning2024

著者名

雑誌名

[雑誌論文] Differentiable Logic Programming for Distant Supervision2024

著者名

雑誌名

[雑誌論文] Linear Algebraic Partial Evaluation of Logic Programs2024

著者名

雑誌名

[雑誌論文] Linear Algebraic Partial Evaluation of Logic Programs2024

著者名

雑誌名

[雑誌論文] Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming2024

著者名

雑誌名

[雑誌論文] Abductive reasoning in a paraconsistent framework2024

著者名

雑誌名

[雑誌論文] Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming2024

著者名

雑誌名

[雑誌論文] Single Family Algebra Operation on BDDs and ZDDs Leads to Exponential Blow-Up.2024

著者名

雑誌名

[雑誌論文] Large Language Models: Assessment for Singularity2024

著者名

雑誌名

[雑誌論文] Neuro-symbolic Contrastive Learning for Cross-domain Inference2024

著者名

雑誌名

[雑誌論文] Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs.2024

著者名

雑誌名

[雑誌論文] An And-Sum Circuit with Signed Edges That Is More Succinct than SDD.2024

著者名

雑誌名

[雑誌論文] Ultimate Intelligence and Ethics2024

著者名

雑誌名

[雑誌論文] StiefelGen: Time Series Data Augmentation Over the Stiefel Manifold2024

著者名

雑誌名

[雑誌論文] Learning deep dissipative dynamics2024

杉山麿人情報・システム研究機構, 国立情報学研究所, 准教授