Abstract
本稿では、ドメインを明示的な第一級の計算パラメータとする、計算基盤非依存（computation-substrate-agnostic）な推論アーキテクチャを確立します。これにより、ドメインごとのプルーニングが生成され、クエリ当たりの探索空間が O(N) から O(N/K) に削減されます。また、記号的・ニューラル・ベクトル・ハイブリッドといった基盤に対して、基盤に依存しない実行を実現します。さらに、推論チェーンにおいて各ステップが評価（evaluative）の文脈をすべて保持することで、透明な推論チェーンが得られます。本質的な貢献は論理ではなくアーキテクチャです。本稿では、5つの次元にわたって計算理論を形式化します。すなわち、(1)5層からなるアーキテクチャ、(2)チェーンインデクシングを含む3つのドメイン計算モード、(3) Kleisli 結合としてのパストラバーサル、(4) 基盤遷移としてのベクトル誘導計算、(5) Query・Extend・Bridge の3つの操作を備えた基盤非依存のインターフェース、(6) 3種類の失敗モードクラスを伴う信頼性条件 C1 から C4、そして (7) PHQ-9 の臨床推論ケーススタディによる検証です。操作的意味論、計算量の上界、モナド構造、基盤遷移、境界条件を含む計算理論は、本論文の貢献です。
