LogicStudio：緩い照合と厳密演繹を分離

論文の出発点は著者が挙げる具体的な失敗例である。ルールベース機械翻訳に「upper：靴アッパー（名詞）」という辞書項目を一つ追加しただけで、余分な語義が構文解析の探索空間を掛け算的に膨らませ、回帰テストが大きく壊れた。同じパターンは検索にも現れる。FFmpegを依存関係の問題なしに使う方法を尋ねると、コンテナやパッケージマネージャーやソースビルドの回答が返り、「静的ビルド一つを実行するだけ」という答えが埋もれがちだ。著者はこれを「サイバースペースの残骸」——適用条件を失った知識——と呼ぶ。

こうした背景に対し、この設計は三層のツールチェーンを置く。LLintは小さなUNIXパイプ型の論理リンターで、--parseが命題を提案し（LLMの役割）、--editで人間がそれを承認・却下し、保存結果はJSON Linesの命題辞書に入る。LogicStudioはその上に位置し、コードエディタが抽象構文木を扱うように、テキストの論理木を扱うIDEとなる。命題と規則を.wmファイルに保存すれば辞書がワールドモデルになる——Hayek.wmとKeynes.wmを実行し、差分を取れば二つの視点がどこで衝突するか見える、と著者は記す。

論文はこれらがまだ何も検証されていないと明言しており、列挙された未解決問題こそが本当の争点だ。緩い照合が多段の連鎖でも信頼できるか、適用条件を書くことが旧来の辞書保守の負担を再現するだけではないか、LLMの信頼度の数値が枝の確信度の式を意味あるものにするほど較正されているか——これらがこのアイデアの成否を決める。著者が提案する最初の一歩は狭い。ソフトウェアのインストール手順のような小さな領域を選び、正答に到達する頻度、飛躍の検出、人間の介入の必要性について、LLM単体とLLint構成を比較するのだ。