本文へスキップ
Grand Thera
TheraOS Command Center:ロッテルダム航路のシグナルを選択したシグナルの世界地図

オントロジーを超えて。

オントロジーは、機械が利用できるものを構造化します。計算論的認識論は、機械がそこからどのように推論してよいかを構造化します。ガバナンスされた信頼できる情報源は推論の始まりであって、その正当化ではありません。

研究中· ワーキングペーパー v1.1

推論のギャップ

ガバナンスされていることは、正当化されていることではない。

エンタープライズAIは、オブジェクト、関係、来歴、権限を照合するセマンティック・レイヤーに多大な投資をしてきました。その取り組みは必要です。それは、何が存在し、どのようにつながっているかに答えます。

しかし、あるパターンが別のサンプル、別のウィンドウ、レジームの変化に耐えるかどうかは保証できません。ガバナンスされたデータが増えても、見せかけのパターンが増えることはありえますし、当てはめられたモデルは自らの認識論的な地位を保証できません。欠けているのは、反証を試みるための規律あるプロトコルです。

状態から、正当化された推論へ

  • T · 構造化されたドメインの状態
  • ⇏
  • E · 持続的で、評価され、較正された、意思決定に関わるエビデンス

L0–L9アーキテクチャ

一つの前提条件。9つの推論レイヤー。

L0はガバナンスされたエビデンスを可能にします。L1–L9は、機械が何を結論づけてよいか、不確実性がどのように保持されるか、誰が責任を持ち続けるかを決めます。レイヤーを選択してください。

図を読み込んでいます: 一つの前提条件。9つの推論レイヤー。

ファミリー横断の収束

一致は真実ではない。

3つのエンジンが、共有された一つの欠陥を繰り返すことがあります。証拠としての重みは、単純な多数決ではなく、異種で十分に独立した裏づけによって決まります。

図を読み込んでいます: 一致は真実ではない。

確率 → 影響 → アーティファクト

確率は、まだ意思決定ではない。

図を読み込んでいます: 確率は、まだ意思決定ではない。

限界

信じるための結果ではなく、検証するためのフレームワーク。

この論文は概念的なフレームワークです。アーキテクチャと、それを検証するために必要な実証プログラムを示しています。ウィンドウをまたいだ持続性が分布外の性能を改善するか、どの摂動の組み合わせが構造とアーティファクトを最もよく分けるか、共有データによって収束をどれだけ割り引くべきか、そして完全なマシンがより単純な代替手段とホールドアウトデータでどう比較されるか。

機械は構造的な改訂を提案できます。しかし、その改訂を自ら昇格させることはできません。モデラーの承認が引き続き必要です。

Working Paper v1.1 · プレプリント · 概念的フレームワーク

公開済み· 2026年9月

Beyond Ontology

階層型推論マシンとしての計算論的認識論

A Conceptual Framework for Separating Signal from Noise in Decision-Making

Fernando Negrini (筆頭著者) · Hugo Dias · Darlan Parucker Lueders · Caroline Assis

オントロジー上の一貫性は、不確実性の下で機械がどのように推論すべきかを決めるものではありません。本論文は応用的な計算論的認識論を提示します。計算論的オントロジーの上に構築された、オープンな階層型推論アーキテクチャです。候補シグナルは、異種のエンジンファミリーによって検証され、サンプル、ウィンドウ、頻度、仕様、レジームにわたって繰り返し評価され、評価、依存関係を考慮した収束による調停、事象確率への較正を経て、監査可能なアーティファクトとしてビジネスへの影響に対応づけられます。ガバナンスは人間のモデラーが保持し、追加の複雑さは、十分な最も単純なベースラインに対して統計的・経済的に重要な改善をもたらす場合にのみ認められます。

掲載先(SSRN)
10.2139/ssrn.7392618
公開日
2026-09-01
ライセンス
CC BY 4.0
リソースの種類
プレプリント · レビュー受付中

論文の主張

  • モデルを選ぶ前に意思決定を定式化すると、推論はより説明可能になる。
  • 候補シグナルは、昇格する前に許容される摂動に耐えなければならない。
  • ファミリー横断の統合は、共有された依存性を割り引き、対立を保持すべきである。
  • 確率は、影響と監査可能な記録に結びついたときにはじめて意思決定に役立つ。

オープンな実証プログラム

  1. 01ウィンドウをまたいだ持続性が分布外の性能を改善するかを検証する。
  2. 02どの摂動の組み合わせが、構造とサンプル上のアーティファクトを最もよく分けるかを推定する。
  3. 03共有データと帰納バイアスによって収束をどれだけ割り引くべきかを測定する。
  4. 04単一モデル、同質なアンサンブル、オントロジー中心のシステム、完全なマシンを、ホールドアウトデータで比較する。

Mediumにて

計算論的認識論についての論考。

最も精巧なマシンではない。自らの推論を説明できる最小のマシン。