GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI
本論文は、中央集権的または寡頭的なグローバルリソースに依存することなく、独立したインスタンスが自律的に動作し、より大きなシステムへと合体することを可能にするグラスルーツ・プラットフォームを実装するために設計された、マルチエージェント並行論理プログラミング言語であるGrassroots Logic Programs (GLP) を導入するものである。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
デジタルな街の広場：コンピュータが対話するための新しい方法
インターネットを、巨大で賑やかな都市だと想像してみてください。現在、この都市は二つの全く異なる種類の市長によって運営されています。一方には、Facebookのような「独裁者」がいます。そこでは、一つの巨大な企業が街の広場を所有し、誰が発言できるかを決定し、すべてのリソースを支配しています。もう一方には、Bitcoinのような「財閥政治家」がいます。そこでは、最も強力なコンピュータを持つ最も裕福な人々が街を運営しており、富が権力を左右するシステムを作り出しています。しかし、もし第三の道があったとしたらどうでしょう？もし、その街が平等にすべての人に属しており、誰も中央のボスや、運営のための富裕なエリートを必要とせずに、誰もが自分自身の小さな近所（ネイバーフッド）を始められ、それらの近所が巨大な都市へと成長し、融合していけるとしたら？これが「グラスルーツ・プラットフォーム（草の根プラットフォーム）」の夢です。
この夢を実現するためには、コンピュータが話すための新しい言語が必要です。今日のほとんどのコンピュータ言語は、「これをしろ、次にあれをしろ」といった、単一の作業員に与えられる厳格な指示のようなものです。しかし、グラスルーツの都市には、何百万もの作業員（あるいはエージェント）が同時に互いに話し合い、秘密を共有し、中央のボスなしに共に何かを構築していく必要があります。ここで登場するのが「並行論理プログラミング（concurrent logic programming）」です。これは、単にメッセージを伝えるだけでなく、「約束」を伝える電話ゲームのようなものだと考えてください。「後でこの値を与えます」と言い、相手は「自分の役割を果たすために、その値を待っています」と答えるのです。もし全員がこれらのルールに従ってプレーすれば、たとえプレイヤーたちが世界中に散らばっていたとしても、システム全体はスムーズに動作します。大きな疑問は常にこうでした。「この強力で複雑な思考法を、一般の人々（および彼らのAIヘルパー）が使えるほど簡単にできるのだろうか？」ということです。
グラスルーツの言語：GLP
この論文の中で、エフード・シャピロ（Ehud Shapiro）は、GLP（Grassroots Logic Programs）と呼ばれる新しいツールを紹介しています。GLPを、何千もの独立したコンピュータ（あるいはスマートフォン）によって行われる、大規模でグローバルな「点つなぎ」ゲームの特別なルールセットだと考えてください。その目標は、誰もが小さなグループを始められ、それらのグループが中央サーバーや鍵を握る富裕なオーナーを必要とせずに、自然に単一のグローバルなコミュニティへと成長できるデジタル世界を構築することです。
論文では、GLPをまさにこの「グラスルーツ」スタイルの生活のために設計された言語として提示しています。コンピュータ科学の旧時代において、多くの事象を同時に発生させる言語は、普通のプログラマーにとって理解するには難解すぎました。それは、すべての演奏者が同時に異なる楽譜を読まなければならない交響曲のようなもので、もし一人が拍子を逃せば、全体がクラッシュしてしまいました。GLPは、巧妙なトリックである**「ペア変数（Paired Variables）」**を導入することで、これを簡素化します。
あなたと友人が塔を建てているところを想像してください。あなたはブロック（「ライター」）を持っており、あなたの友人は一致する穴（「リーダー」）を持っています。あなたは実際にブロックを手に入れるまで穴にブロックを入れることはできませんし、あなたの友人はブロックの準備ができるまで穴を待つことはできません。GLPでは、すべての「ライラー」は「リーダー」とペアになっています。あなたがライターに値を割り当てると、それはまるで魔法の配送サービスのように、即座にリーダーへと移動します。これにより、二人以上の人間が同時に同じブロックを割り当てようとして（それがクラッシュの原因になります）衝突することが防がれ、複雑で多方向的な会話を難なく処理できるようになります。論文では、このシステムが完璧に機能することを数学的に証明しています。つまり、二つのグループが別々にゲームをプレイしていたとしても、後で一緒にプレイを開始する際にルールを破ることなく、どちらのグループも単独では作れなかった新しい接続を創り出すことができるのです。
仕組み：「コールドコール」の魔法
論文では、GLPがいかにして見知らぬ者同士を接続するという難しい問題を扱うかを説明しています。通常のアプリでは、友達を見つけるために中央のディレクトリが必要です。GLPでは、エージェント（デジタルな人々）は**「コールドコール（Cold Calls）」**を行うことができます。これは、訪れたことのない近所のドアを叩くようなものです。「こんにちは、私はアリスです。あなたに特別な鍵（変数）を持っています」というメッセージを送ります。もし相手（ボブ）がそれを受け入れれば、二人はその鍵を共有することになります。突然、アリスとボブはつながり、他の誰に知られることもなく直接会話ができるようになるのです。
論文は、このシステムが以下の二つの厳格な基準を満たしているため「グラスルーツ」であると述べています。
- 独立性（Independence）： アリスとボブは、ネットワークの分離された異なる部分に住んでいても、自分自身のプログラムを完璧に実行できます。彼らは、何をすべきかを指示するグローバルなサーバーを必要としません。
- 合体性（Coalescence）： 彼らが接続することを決めたとき、彼らは世界をシームレスに融合させることができます。彼らはチャーリーを紹介し合い、自然に成長する信頼の連鎖を作り出すことができます。
著者らは、GLPを用いて「ソーシャルグラフ（友情のマップ）」を構築することで、これらを実証しています。このシステムでは、コールドコールを送ることで友情を始めることもできますし、共通の友人が共有チャンネルを渡すことで、見知らぬ者同士を紹介することもできます。一度接続されると、彼らは直接テキストメッセージをやり取りできます。論文には、これらの相互作用がどのように起こるかを示すコード例が含まれており、システムが安全で信頼できるものであることを証明しています。
AI革命：なぜ今、これが重要なのか
ここがこの論文の最もエキサイティングな部分です。40年もの間、これらの強力な「並行論理」言語は、平均的な人間が扱うには難解すぎました。それらは、ごく一部の専門家しか対処できないレベルの精神的体操を必要としたのです。しかし、論文は**人工知能（AI）**がゲームのルールを変えたと主張しています。
著者らは、人間とAIがチームとして働く新しいワークフローを説明しています。人間は、「友達が互いに紹介し合えるソーシャルネットワークが欲しい」といった、ハイレベルなアイデア（「仕様」）を提供します。するとAIが、そのアイデアを受け取り、複雑なGLPコードを書き、エラーをチェックし、さらにはバグを修正します。論文は、AIがこの作業において非常に優れていることを示しています。AIは数学的な仕様を、スマートフォンやコンピュータのための動作するコードへと翻訳することができます。実際、著者らは、AIがこれらのアイデアに基づいたソーシャルグラフ、通貨、および安全なリカバリシステムの構築をすでに支援していることに言及しています。
論文は、AIが「ハイパー・プログラマー」として機能することで、これらの強力な言語への参入障壁がなくなることを示唆しています。私たちは、並行論理プログラミングの抽象的で表現力豊かなパワーを利用して、真に民主的でグラスルーツなデジタル世界をようやく構築できるのです。この論文は、世界のあらゆる問題を解決したと主張しているのではなく、公平で分散化され、スケーラブルなデジタルの未来が可能であることを示すための、数学的な証明と動作するツールを提供しているのです。そして、AIこそがそれを解き放く鍵であると説いています。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。