論文の概要: We Query, Therefore We Compute: On Oracle Computation beyond the Machine, with an Application to Agents

• arxiv url: http://arxiv.org/abs/2610.09243v1
• Date: Wed, 07 Oct 2026 00:14:09 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-08 21:58:22.651814
• Title: We Query, Therefore We Compute: On Oracle Computation beyond the Machine, with an Application to Agents
• Title（参考訳）: We Query, therefore We Compute: Oracle Computation beyond the Machine, with a application to Agents
• Abstract要約: ArchNights-SEはコンピュータシステムとしてgem5上で動作し、LLMをOracleとして実行するとエージェントシステムになり、オープンソースになる。 基盤を構築することで、将来の作業は不変量と境界をそれぞれ条件で共有することができる。 ArchNights-SEはコンピュータシステムとしてgem5上で動作し、LLMをOracleとして実行するとエージェントシステムになり、オープンソースになる。
• 参考スコア（独自算出の注目度）: 2.286003964104987
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: Agentic systems use large language models (LLMs) to carry out concrete tasks. Prior work often borrows abstractions such as scheduling, caching or isolation piecemeal from operating systems, so the mechanisms it builds share little common ground, and the shared view of the two forms of agentic system, Workflows and Agents, is limited. We construct an abstract machine that provides both. We treat the LLM as an Oracle and extend a two-stack pushdown automaton with one instruction, which hands the Oracle a whole stack as its query and appends the answer to that same stack. The machine thus performs two computations, the Oracle's and a Turing-complete one that we call the Priestess. A stack that the program only appends to grows autoregressively, as an agent's context does. Two symmetry breakings, S in storage and T in transitions, make a Priestess program the operating system of the programs the Oracle runs, and produce the Agent and the Workflow as the two placements of a task's program. For internally autoregressive Oracles, the two computations synchronize at the end of every answer under certain conditions, and through that synchronization we model caching and analyse scheduling. No guarantee that holds for every Oracle can fix which content crosses between the two computations, but such a guarantee does fix the boundary itself. The construction V fits the machine to a von Neumann computer. To show that it is realizable, we propose ArchNights, an extended RISC-V ISA and a Linux-style operating system implementing the machine by design. ArchNights-SE runs on gem5 as a computer system, becomes an agentic system when it runs an LLM as the Oracle, and will be open source. Agentic systems can then be designed as computer systems are. With a foundation built and a unified view, future work can share invariants and bounds, each with its conditions.
• Abstract（参考訳）: エージェントシステムは、具体的なタスクを実行するために大きな言語モデル(LLM)を使用する。 以前の作業では、スケジューリング、キャッシュ、分離といった抽象化をオペレーティングシステムから借用することが多いため、構築するメカニズムはほとんど共通基盤を共有しておらず、エージェントシステムの2つの形態であるワークフローとエージェントの共有ビューは限られている。 両方を提供する抽象機械を構築する。 LLMをOracleとして扱い、ひとつの命令で2スタックのプッシュダウンオートマトンを拡張します。 したがって、このマシンはOracleと私たちがプリーストリーズと呼ぶチューリング完備な2つの計算を実行します。 エージェントのコンテキストがそうであるように、プログラムが追加するスタックは自動回帰的に成長する。 2つの対称性の破れ、ストレージにおけるSとトランジションにおけるT、プリーストリーズはOracleが実行するプログラムのオペレーティングシステムをプログラムし、タスクプログラムの2つの配置としてエージェントとワークフローを生成する。 内部の自己回帰的なOracleの場合、この2つの計算は特定の条件下ですべての回答の最後に同期し、その同期を通じてキャッシュをモデル化し、スケジューリングを分析する。 すべてのOracleが保持する保証は2つの計算の間でどのコンテントが交差するかを修正できないが、そのような保証は境界そのものを修正できる。 構成Vは、マシンをフォン・ノイマンのコンピュータに適合させる。 実現可能であることを示すために, RISC-V ISAを拡張したArchNightsと, マシンを設計により実装したLinuxスタイルのオペレーティングシステムを提案する。 ArchNights-SEはコンピュータシステムとしてgem5上で動作し、LLMをOracleとして実行するとエージェントシステムになり、オープンソースになる。 エージェントシステムはコンピュータシステムとして設計することができる。 基盤が構築され、統一された視点で、将来の作業は不変量と境界をそれぞれ条件で共有することができる。

関連論文リスト

• KerColle: Unlocking Fine-Grained GPU Concurrency in Vision-Language-Action Models [3.7359168192706065]
  VLA(Vision-Language-Action)モデルは、次世代ロボティクスの基礎モデルとして登場した。 ロボットの制御速度要求を満たすためには、高いVLA推論スループットが不可欠である。 本稿では,2つの実行フェーズを効率的に重畳する軽量GPUスケジューリングフレームワークであるKerColleを紹介する。
  論文  参考訳（メタデータ） (2026-09-16T15:57:04Z)
• Multi-Agent Computer Use [72.79887808312706]
  我々はマルチエージェント・コンピュータ・ユース(MACU)システムの評価・構築に向けて進むべきであると論じる。 本稿では、マネージャモデルがコンピュータ使用タスクを有向非巡回グラフ(DAG)として分解する汎用マルチエージェント構成を提案する。 各イテレーションで、マネージャは並列CUAサブエージェントをディスパッチし、DAGの準備ができているフロンティアでノードを実行する。
  論文  参考訳（メタデータ） (2026-06-01T01:29:36Z)
• Learning to Share: Selective Memory for Efficient Parallel Agentic Systems [49.78267008828593]
  エージェントシステムは、反復的に推論する複数のエージェントを調整することで複雑なタスクを解決し、ツールを呼び出し、中間結果を交換する。 最近のアプローチでは、さまざまな推論の軌跡を探索するために、複数のエージェントチームが並行して運用されている。 我々は並列エージェントフレームワークのための学習された共有メモリ機構であるLearning to Share (LTS)を提案する。
  論文  参考訳（メタデータ） (2026-02-05T18:20:21Z)
• CryptOracle: A Modular Framework to Characterize Fully Homomorphic Encryption [3.5348336893819554]
  本稿では,FHE のオープンソースライブラリ OpenFHE の詳細な特徴について述べる。 我々は,(1)ベンチマークスイート,(2)ハードウェアプロファイラ,(3)予測性能モデルからなるモジュラー評価フレームワークであるCryptOracleを紹介する。
  論文  参考訳（メタデータ） (2025-10-03T23:30:29Z)
• A Temporal Planning Framework for Multi-Agent Systems via LLM-Aided Knowledge Base Management [5.548477348501636]
  本稿では,大規模言語モデル(LLM)とPrologベースの知識管理とマルチロボットタスクの計画を統合したPLANTORという新しいフレームワークを提案する。 その結果,LLMは人間からのフィードバックの少ない正確な知識ベースを生成でき,Prologは形式的正当性と説明可能性を保証することがわかった。 このアプローチは、柔軟でスケーラブルで人間に理解可能な計画を必要とする高度なロボティクスタスクのためのLLM統合の可能性を強調している。
  論文  参考訳（メタデータ） (2025-02-26T13:51:28Z)
• L2MAC: Large Language Model Automatic Computer for Extensive Code Generation [52.81694565226513]
  トランスフォーマーベースの大規模言語モデル(LLM)は、基盤となるトランスフォーマーアーキテクチャの固定コンテキストウィンドウによって制約される。 本稿では,L2MACを提案する。L2MACは,LLMをベースとした汎用型自動計算機(von Neumann Architecture)フレームワークで,長期的かつ一貫した出力生成を実現する。
  論文  参考訳（メタデータ） (2023-10-02T16:55:19Z)
• Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling [18.286430978487388]
  我々は、シーケンス依存のセットアップ時間とリリース日を持つ並列マシン上で、困難なスケジューリング問題に対処する。 個々のマシンを非到達順に配置し、結果として生じるロバスト性を語彙的に最小化する。 実験の結果,ASPは実際にこの問題に対して有望なKRRパラダイムであり,最先端のCPおよびMIPソルバと競合していることがわかった。
  論文  参考訳（メタデータ） (2022-12-18T12:43:24Z)

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

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