論文の概要: Volition Elicitation: Operational Semantics for People and Their Machines
- arxiv url: http://arxiv.org/abs/2607.14138v1
- Date: Fri, 10 Jul 2026 14:43:30 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-17 17:01:32.837065
- Title: Volition Elicitation: Operational Semantics for People and Their Machines
- Title（参考訳）: 献身的引用:人とその機械の操作意味論
- Abstract要約: このようなシステムのための抽象的な仕様言語として、Volition-Guarded Multiagent Atomic Transactionsが提案された。
本稿では,プログラミング言語のボリションガード付きGLPを定義し,ボリションガード付き節でGLPを拡張する。
草の根のソーシャルグラフ、ソーシャルネットワーク、通貨に関するアプローチを実証する。
- 参考スコア（独自算出の注目度）: 1.8021287677546953
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: The most prevalent distributed systems today include people and their personal machines (smartphones). In such systems, computations are driven by people's volitions: a payment when a person wishes to pay someone, befriending when two people wish to become friends, etc. Volition-Guarded Multiagent Atomic Transactions were proposed as an abstract specification language for such systems, in which each agent consists of a person and their machine, and a transaction can be guarded by both the machine states and the personal volitions of its participating agents. Here, we define the programming language volition-guarded GLP (vGLP), which extends GLP with volition-guarded clauses, and define its operational semantics as an instance of Communicating Volitional Agents. As the semantics requires the person to will a volition-guarded clause reduction, a correct implementation must elicit the person's volitions: finding out ``what's in the person's head'' is the sole rationale for the UI, which is realised accordingly by standard constructs. We demonstrate the approach on the grassroots social graph, social network, and currencies: each platform is a vGLP program, generated by AI from volition-guarded multiagent atomic transactions; the implementation of vGLP, also created by AI, then maps its volition-guarded clauses into the user-interface constructs, resulting in a single working app deployed on a physical smartphone.
- Abstract（参考訳）: 現在最も普及している分散システムは、人とそのパーソナルマシン(スマートフォン)である。
このようなシステムでは、人がお金を払いたいときの支払い、友達になりたいときの友情など、人々の意志によって計算が進められる。
各エージェントは人とそのマシンで構成されており、そのトランザクションは、そのエージェントのマシン状態と個人的意志の両方によって保護される。
本稿では,言語Volition-guarded GLP(vGLP)を定義し,その操作意味論を言語Volition-guarded節の例として定義する。
セマンティクスは、人がボリションガードされた節の削減を要求するので、正しい実装は、人のボリションを引き出す必要がある: ''What's in the person's head' を見つけることは、UIの唯一の論理的根拠であり、標準構成に従って実現される。
我々は、草の根のソーシャルグラフ、ソーシャルネットワーク、通貨に関するアプローチを実証する。各プラットフォームは、ボリションガードされたマルチエージェント原子取引からAIによって生成されたvGLPプログラムである。
関連論文リスト
- Markets, Not Planners: Decentralized Orchestration of LLM Agents with Private Information [16.55988307561715]
我々はAgentLanceを導入し、エージェントが個人のコストと自己維持戦略ノートを使ってタスクを入札する労働市場について紹介する。
AgentLanceは、単一モデル、集中型オーケストレーション、市場ベースラインを一貫して上回る。
論文 参考訳（メタデータ） (2026-08-24T22:15:37Z) - MistyPilot: Enabling Social-Robot Control through Multi-Agent LLM Skill Orchestration [18.20564232594413]
MistyPilotは、Mistyソーシャルロボットで対応するスキルをオーケストレーションするマルチエージェントフレームワークである。
タスクルータは2つの特殊エージェントのうちの1つに各命令をディスパッチする。
MistyPilotは、ルーティング、センサースキルバインディング、タスク状態解析、結果再利用、100スキルまでのスキル拡張において、高い精度を実現する。
論文 参考訳（メタデータ） (2026-08-16T05:45:16Z) - ComBodied Agents: a New Paradigm of Human-Centric Agentic AI [121.60938707072069]
我々は、人間中心のパラダイムであるCombodied Agentsを紹介し、時間とともに個々の人間状態の軌跡を知覚し、モデル化し、予測し、支援する。
パーソナルアシスタント、ヘルスエージェント、AIコンパニオン、適応型ヒューマンAIシステムをクローズドループに統合する。
論文 参考訳（メタデータ） (2026-08-11T13:35:58Z) - Foundation Protocol: A Coordination Layer for Agentic Society [78.01727114524464]
Foundation Protocol (FP) は、新興の人間-AI社会のためのグラフファーストの調整レイヤである。
FPはエージェント、ツール、リソース、人間、機関、組織を含む異種組織を統一する。
目的は、説明責任を維持しつつ、自律的な機関を構成可能に保つことである。
論文 参考訳（メタデータ） (2026-05-22T04:20:35Z) - Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI [1.8021287677546953]
Grassroots Logic Programs (GLP) は、並列論理型プログラミング言語で、変数をペアのエンフリーダーとエンフライターに分割する。
GLPは草の根プラットフォームのための言語として設計され、そのターゲットアーキテクチャはスマートフォンがピアツーピアで通信することである。
本稿では,DartにおけるAIによるGLPのワークステーションとスマートフォンによる実装を容易にするために開発された数学について述べる。
論文 参考訳（メタデータ） (2026-02-06T18:30:11Z) - AgentRAN: An Agentic AI Architecture for Autonomous Control of Open 6G Networks [14.358601770321235]
我々は、自然言語(NL)の意図に基づいて分散AIエージェントのファブリックを生成し、オーケストレーションする、AIネイティブなオープンRAN対応フレームワークであるAgenRANを紹介する。
明示的なプログラミングを必要とする従来のアプローチとは異なり、AgentRANのLLMエージェントは自然言語の意図を解釈し、構造化された会話を通じて戦略を交渉し、ネットワーク全体の制御ループを編成する。
AI-RAN Factoryは、エージェントのインタラクションを観察し、改善された制御アルゴリズムを埋め込んだ新しいエージェントを継続的に生成する自動パイプラインである。
論文 参考訳（メタデータ） (2025-08-25T08:18:10Z) - Why do AI agents communicate in human language? [6.784986834853486]
大規模言語モデル(LLM)は、現代のAIエージェントシステムの基礎となっている。
ほとんどの既存のシステムでは、エージェント間通信は主に自然言語に依存している。
この設計はエージェントとエージェントの協調に基本的な制限をもたらすと我々は主張する。
論文 参考訳（メタデータ） (2025-06-03T10:53:29Z) - Agentic AI and Multiagentic: Are We Reinventing the Wheel? [0.0]
AI Agenticという言葉は、基本的にAIエージェントのバズワードとしてよく使われ、AI Multiagenticはマルチエージェントシステムのバズワードとして使われる。
この混乱は、自律エージェントとマルチエージェントシステムの分野における数十年の研究を見落としている。
この論文は、科学と技術に関する厳密さと、AIにおける最先端技術から確立された用語の使用を提唱している。
論文 参考訳（メタデータ） (2025-06-02T09:19:11Z) - OpenHands: An Open Platform for AI Software Developers as Generalist Agents [109.8507367518992]
私たちは、人間の開発者と同じような方法で世界と対話するAIエージェントを開発するためのプラットフォームであるOpenHandsを紹介します。
プラットフォームが新しいエージェントの実装を可能にし、コード実行のためのサンドボックス環境との安全なインタラクション、評価ベンチマークの導入について説明する。
論文 参考訳（メタデータ） (2024-07-23T17:50:43Z) - Agents: An Open-source Framework for Autonomous Language Agents [98.91085725608917]
我々は、言語エージェントを人工知能への有望な方向と見なしている。
Agentsはオープンソースライブラリで、これらの進歩を広く非専門的な聴衆に開放することを目的としています。
論文 参考訳（メタデータ） (2023-09-14T17:18:25Z) - The Rise and Potential of Large Language Model Based Agents: A Survey [91.71061158000953]
大規模言語モデル(LLM)は、人工知能(AGI)の潜在的な火花と見なされる
まず、エージェントの概念を哲学的起源からAI開発まで追跡し、LLMがエージェントに適した基盤である理由を説明します。
単一エージェントシナリオ,マルチエージェントシナリオ,ヒューマンエージェント協調の3つの側面において,LLMベースのエージェントの広範な応用について検討する。
論文 参考訳（メタデータ） (2023-09-14T17:12:03Z) - Model-based Reinforcement Learning for Decentralized Multiagent
Rendezvous [66.6895109554163]
目標を他のエージェントと整合させる人間の能力の下にあるのは、他人の意図を予測し、自分たちの計画を積極的に更新する能力である。
分散型マルチエージェントレンデブーのためのモデルに基づく強化学習手法である階層型予測計画(HPP)を提案する。
論文 参考訳（メタデータ） (2020-03-15T19:49:20Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。