[論文レビュー] Very Simple Chaitin Machines for Concrete AIT

Michael Stay|ArXiv.org|Aug 11, 2005

Computability, Logic, AI Algorithms参考文献 15被引用数 7

ひとこと要約

この論文は、具体的なアルゴリズム的情報理論における明確な数値的境界を可能にする、いくつかの新しい最小限の普遍的チャイチンマシンを導入する—具体的には、Keraia と呼ばれるバイナリラムダ計算に基づくマシンと、ブランクエンドマーカー機械をプレフィックスフリーに変換する方法である。主な貢献は、誤差項が明確に分かっているアルゴリズム的複雑性とオメガ数のビットを正確に計算できる、非常に小さな実装可能な普遍的チャイチンマシンを提供することにある。

ABSTRACT

In 1975, Chaitin introduced his celebrated Omega number, the halting probability of a universal Chaitin machine, a universal Turing machine with a prefix-free domain. The Omega number's bits are {\em algorithmically random}--there is no reason the bits should be the way they are, if we define ``reason'' to be a computable explanation smaller than the data itself. Since that time, only {\em two} explicit universal Chaitin machines have been proposed, both by Chaitin himself. Concrete algorithmic information theory involves the study of particular universal Turing machines, about which one can state theorems with specific numerical bounds, rather than include terms like O(1). We present several new tiny Chaitin machines (those with a prefix-free domain) suitable for the study of concrete algorithmic information theory. One of the machines, which we call Keraia, is a binary encoding of lambda calculus based on a curried lambda operator. Source code is included in the appendices. We also give an algorithm for restricting the domain of blank-endmarker machines to a prefix-free domain over an alphabet that does not include the endmarker; this allows one to take many universal Turing machines and construct universal Chaitin machines from them.

研究の動機と目的

• 具体的なアルゴリズム的情報理論のための明確で実装可能な普遍的チャイチンマシンの欠如に対処すること。
• O(1)の境界ではなく、特定の数値的誤差項を伴う定理を可能にする、プレフィックスフリーの定義域を備えた新しい最小限の普遍的チャイチンマシンを提供すること。
• 誤差項が既知で定量的であることを前提に、アルゴリズム的複雑性とオメガ数のビットの実用的計算を可能にすること。
• 既存の普遍的チューリングマシン（例：ブランクエンドマーカー機械）をドメイン制限によって普遍的チャイチンマシンに拡張すること。
• 小さな、効率的で形式的に定義されたマシンを用いて、アルゴリズム的情報理論の実験的・計算的探求を支援すること。

提案手法

• 6ビットの普遍的チューリングマシン（UTM）を用いたカリー化ラムダ計算のバイナリ符号化に基づく、Keraia と呼ばれるマシンを提案。グリーディな変数マーキングと還元アルゴリズムを採用。
• Zot言語の結合論理的アプローチを採用したが、適用ではなくブランチのペアリングを行う1結合子を採用することで、自己解釈的動作を可能にした。
• ブランクエンドマーカー機械（BEMs）からプレフィックスフリーな部分集合を抽出するドメイン制限アルゴリズムを導入。エンドマーカーを削除し、入力が他の入力のプレフィックスでないことを保証する。
• 最初の完全なバイナリツリー走査を自己区切りプログラムとして扱い、残りを入力データとして扱うことで、Keraia を普遍的チャイチンマシンとして機能させる。
• 構文に基づく解釈システムを用い、0 は恒等結合子、1 はペアリング結合子を符号化し、Chaitin の readBit 関数をシミュレートするための別個の R 演算子を導入。
• 付録に、カリー化ラムダの方言からブートストラップ可能なJavaScript実装を提供。これによりマシンの実行とテストが可能になる。

実験結果

リサーチクエスチョン

• RQ1 明確な数値的誤差境界を伴う、具体的なAITをサポートする、最小限で実装可能な普遍的チャイチンマシンを構築できるか？
• RQ2 ブランクエンドマーカーの普遍的チューリングマシンを、プレフィックスフリーな定義域を備えた普遍的チャイチンマシンにどのように変換できるか？
• RQ3 自己解釈的動作とプレフィックスフリーなプログラム符号化をサポートする最小限のサイズと複雑性を持つ普遍的チャイチンマシンは何か？
• RQ4 ペアリングに基づく1結合子を用いたバイナリラムダ計算システムを、既知のアルゴリズム的複雑性境界を持つ普遍的チャイチンマシンとして設計できるか？
• RQ5 ペアリングベースの1結合子を用いた結合論理の使用が、得られるマシンの普遍性とプレフィックスフリー性に与える影響は何か？

主な発見

• Keraia は、カリー化ラムダ計算のバイナリ符号化に基づく6ビットの普遍的チューリングマシンであり、自己解釈的計算とプレフィックスフリーなプログラム符号化をサポートする。
• 本論文は、任意のブランクエンドマーカー機械からプレフィックスフリーな部分集合を抽出することで、普遍的チャイチンマシンに変換する一般アルゴリズムを提示している。これにより、既存の普遍的マシンの再利用が可能になる。
• Keraia の設計により、停止確率（オメガ数）は既知の定数項を伴って計算可能であり、本論文はチャイチンのレジスタマシンにおける定数 c が少なくとも64であると指摘しており、同様の境界が新しいマシンに対しても導出可能であると示唆している。
• Keraia に R 演算子を追加することで、Chaitin の readBit 関数をシミュレートでき、これにより正当な普遍的チャイチンマシンとしての資格を有する。
• Keraia のソースコードは付録に提供されており、アルゴリズム的複雑性とオメガ数の計算に関する直接的な実装と実験的検証が可能である。
• 提案されたマシンは、これまでに可能だったものより小さなディオファントス方程式を生成する可能性を示しており、正確な誤差境界を伴う小さなオメガ数のセグメントの計算に最適である。