参考文献・理論背景（Bibliography and References）
概要
本章では、AITL理論構築において参照された主要な文献、概念、既存理論を分野ごとに整理します。
AITLは完全な新規理論ではなく、複数の既存研究を統合・発展させた構造を持つため、
本節は再利用・再検証・応用開発において重要な位置づけとなります。
1. 推論理論（Reasoning）
- John McCarthy, “Circumscription — A form of non-monotonic reasoning”, 1980
- Judea Pearl, “Causality: Models, Reasoning, and Inference”, 2000
- 三溝 真一, 「AITLにおける論理推論モデル」, 2025（草稿）
2. 制御理論（Control）
- K.J. Åström and R.M. Murray, “Feedback Systems: An Introduction for Scientists and Engineers”, 2008
- A. Bemporad et al., “Model Predictive Control: Theory and Applications”, 2002
- 三溝 真一, 「AITL制御論概論」, 2025（草稿）
3. 物理理論（Physics）
- M. Raissi et al., “Physics-Informed Neural Networks (PINNs)”, Journal of Computational Physics, 2019
- 金子邦彦, 「数理物理学入門」, 裳華房, 2005
- 三溝 真一, 「AITL物理理論序説」, 2025（草稿）
4. 共通理論（Common Knowledge and State）
- Judea Pearl, “Probabilistic Reasoning in Intelligent Systems”, 1988
- D. Koller & N. Friedman, “Probabilistic Graphical Models”, 2009
- 三溝 真一, 「AITL共通理論：知識と状態の接続」, 2025（草稿）
5. 関連理論・補足参考
- Marvin Minsky, “The Society of Mind”, 1986
- Norbert Wiener, “Cybernetics: Or Control and Communication in the Animal and the Machine”, 1948
- Allen Newell & Herbert A. Simon, “Human Problem Solving”, 1972
備考
- 上記は理論リファレンス用の整理であり、個別章（推論・制御・物理）では詳細に再引用されています。
- 三溝氏による未公開資料は Edusemi / AITL 実装リポジトリで今後併記予定。