論文の概要: Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI

• arxiv url: http://arxiv.org/abs/2602.06934v1
• Date: Fri, 06 Feb 2026 18:30:11 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-09 22:18:26.52664
• Title: Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
• Title（参考訳）: マルチエージェント遷移システムとAIを用いたグラスルート論理プログラムの実装
• Authors: Ehud Shapiro,
• Abstract要約: Grassroots Logic Programs (GLP) は、並列論理型プログラミング言語で、変数をペアのエンフリーダーとエンフライターに分割する。 GLPは草の根プラットフォームのための言語として設計され、そのターゲットアーキテクチャはスマートフォンがピアツーピアで通信することである。 本稿では,DartにおけるAIによるGLPのワークステーションとスマートフォンによる実装を容易にするために開発された数学について述べる。
• 参考スコア（独自算出の注目度）: 1.8021287677546953
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Grassroots Logic Programs (GLP) is a concurrent logic programming language with variables partitioned into paired \emph{readers} and \emph{writers}, conjuring both linear logic and futures/promises: an assignment is produced at most once via the sole occurrence of a writer (promise) and consumed at most once via the sole occurrence of its paired reader (future), and may contain additional readers and/or writers, enabling the concise expression of rich multidirectional communication modalities. GLP was designed as a language for grassroots platforms -- distributed systems with multiple instances that can operate independently of each other and of any global resource, and can coalesce into ever larger instances -- with its target architecture being smartphones communicating peer-to-peer. The operational semantics of Concurrent (single-agent) GLP and of multiagent GLP (maGLP) were defined via transition systems/multiagent transition systems, respectively. Here, we describe the mathematics developed to facilitate the workstation- and smartphone-based implementations of GLP by AI in Dart. We developed dGLP -- implementation-ready deterministic operational semantics for single-agent GLP -- and proved it correct with respect to the Concurrent GLP operational semantics; dGLP was used by AI as a formal spec, from which it developed a workstation-based implementation of GLP. We developed madGLP -- an implementation-ready multiagent operational semantics for maGLP -- and proved it correct with respect to the maGLP operational semantics; madGLP is deterministic at the agent level (not at the system level due to communication asynchrony), and is being used by AI as a formal spec from which it develops a smartphone-based implementation of maGLP.
• Abstract（参考訳）: Grassroots Logic Programs (GLP) は、変数をペア化された \emph{readers} と \emph{writers} に分割した並列論理プログラミング言語で、線形論理と未来/プロミスの両方を共役する。 GLPは草の根プラットフォームのための言語として設計されており、複数のインスタンスを持つ分散システムは互いに独立して運用でき、さらに大きなインスタンスにまとめることができる。 コンカレント(単一エージェント)GLPとマルチエージェントGLP(maGLP)の操作意味は、それぞれトランジッションシステム/マルチエージェント遷移システムを介して定義される。 本稿では,DartにおけるAIによるGLPのワークステーションとスマートフォンによる実装を容易にするために開発された数学について述べる。 我々は,単エージェントGLPのための実装可能な決定論的操作セマンティクスであるdGLPを開発し,コンカレントGLP操作セマンティクスに関して正しいことを証明した。 我々は、maGLPのための実装対応マルチエージェント操作セマンティクスである madGLP を開発し、maGLP の操作セマンティクスに関して正しいことを証明した。

関連論文リスト

• Policy-Conditioned Policies for Multi-Agent Task Solving [53.67744322553693]
  本研究では,ポリシーを人間の解釈可能なソースコードとして表現することでギャップを埋めるパラダイムシフトを提案する。 本研究では,Large Language Models (LLM) を近似インタプリタとして利用することにより,学習問題を再構築する。 我々はこのプロセスを,ポリシーコードをテキスト勾配で最適化するアルゴリズムである TextitProgrammatic Iterated Best Response (PIBR) として定式化する。
  論文  参考訳（メタデータ） (2025-12-24T07:42:10Z)
• Zero-Shot Instruction Following in RL via Structured LTL Representations [54.08661695738909]
  リニア時間論理(LTL)は、強化学習(RL)エージェントのための複雑で構造化されたタスクを特定するための魅力的なフレームワークである。 近年の研究では、命令を有限オートマトンとして解釈し、タスク進捗を監視する高レベルプログラムと見なすことができ、テスト時に任意の命令を実行することのできる1つのジェネラリストポリシーを学習できることが示されている。 本稿では,この欠点に対処する任意の命令に従うために,マルチタスクポリシーを学習するための新しいアプローチを提案する。
  論文  参考訳（メタデータ） (2025-12-02T10:44:51Z)
• Alita-G: Self-Evolving Generative Agent for Agent Generation [54.49365835457433]
  汎用エージェントをドメインエキスパートに変換するフレームワークであるALITA-Gを提案する。 このフレームワークでは、ジェネラリストエージェントが対象ドメインタスクのキュレートされたスイートを実行する。 計算コストを削減しながら、大きな利益を得ることができます。
  論文  参考訳（メタデータ） (2025-10-27T17:59:14Z)
• Grassroots Logic Programs: A Secure, Multiagent, Concurrent, Logic Programming Language [1.8021287677546953]
  Grassrootsプラットフォームは、暗号化された人々によって、ネットワーク化されたパーソナルデバイス上で実行される分散アプリケーションである。 本稿では,草の根プラットフォームを実装するためのセキュアでマルチエージェントな並列論理型言語であるGrassroots Logic Programs (GLP)を紹介する。 本稿では、ピアツーピア接続を認証し、セキュアな草の根ソーシャルネットワーキングアプリケーションを示す草の根ソーシャルグラフプロトコルを提案する。
  論文  参考訳（メタデータ） (2025-10-17T15:34:27Z)
• Execution Guided Line-by-Line Code Generation [48.996319645671605]
  本稿では,言語モデル生成プロセスにリアルタイム実行信号を組み込んだニューラルコード生成手法を提案する。 提案手法であるExecution-Guided-Free Guidanceは,モデルがコードを生成する際に動的に実行信号を組み込む。 EG-CFGはコード生成アプローチを大幅に改善し、様々なレベルの複雑さで最先端の結果を達成する。
  論文  参考訳（メタデータ） (2025-06-12T17:50:05Z)
• Pel, A Programming Language for Orchestrating AI Agents [1.223779595809275]
  Pelは関数/ツール呼び出しと直接コード生成のギャップを埋めるために設計された新しいプログラミング言語である。 Lisp、Elixir、Gleam、Haskellの強みに触発されたPelは、構文的にシンプルで、ホモシニックで、セマンティックにリッチなプラットフォームを提供する。 主な特徴は、線形合成のための強力な配管機構、簡単な部分的アプリケーションと機能パターンを可能にするファーストクラスクロージャ、LLMが評価する自然言語条件のビルトインサポート、Common Lispスタイルの再起動を備えた高度なRead-Eval-Print-Loop(REPeL)、自動化のためのLLMベースのヘルパーエージェントである。
  論文  参考訳（メタデータ） (2025-04-03T18:46:53Z)
• DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation [57.07295906718989]
  制約付き復号法は,事前訓練された大言語(Ms と PLMs)が生成するテキストの意味やスタイルを,推論時に様々なタスクに対して制御することを目的としている。 これらの方法は、しばしば、欲求的かつ明示的にターゲットを選択することによって、もっともらしい連続を導く。 認知二重プロセス理論に着想を得て,新しい復号化フレームワークDECDERを提案する。
  論文  参考訳（メタデータ） (2024-03-04T11:49:08Z)
• MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework [32.95727162682409]
  マルチエージェントコラボレーションに効率的な人間を取り入れた,革新的なメタプログラミングフレームワークであるMetaGPTを紹介する。 MetaGPTは、より合理化された検証のために、SOP(Standardized Operating Procedures)をプロンプトシーケンスにエンコードする。 協調ソフトウェアエンジニアリングベンチマークでは、MetaGPTは従来のチャットベースのマルチエージェントシステムよりも一貫性のあるソリューションを生成する。
  論文  参考訳（メタデータ） (2023-08-01T07:49:10Z)
• Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions [31.134347038586544]
  Parselは、コードLLMによる複雑なアルゴリズムの自動実装と検証を可能にするフレームワークである。 Parselは、プログラム合成やロボット計画を含む階層的推論を必要とする領域にまたがって使用できることを示す。 ParselはHumanEvalの最先端パス@1のパフォーマンスを67%から85%に改善できる。
  論文  参考訳（メタデータ） (2022-12-20T18:59:23Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。