この議論は、現在のAIシステム（大規模言語モデルなど）で数学的基礎と実現可能な実装を持つ理論的AIトピックを探ります。トピックには推論チェーン、知識グラフ、確率的推論が含まれ、これらはいずれも形式化された数学に基づいており、現実世界のAI応用に可能性を示しています。