Fugu-MT 論文翻訳(概要): Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict

論文の概要: Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict

arxiv url: http://arxiv.org/abs/2606.29601v1
Date: Sun, 28 Jun 2026 20:54:32 GMT
ステータス: 翻訳完了
システム内更新日: 2026-06-30 18:07:15.979477
Title: Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict
Title（参考訳）: Langshaw: SaysoとConflictに基づいた宣言型インタラクションプロトコル
Abstract要約: Langshawは宣言型プロトコル言語で、各属性の設定よりも誰が優先するかをキャプチャする。 Langshawは柔軟性と情報モデルを組み合わせて意味を表現する。
参考スコア（独自算出の注目度）: 11.528331605313438
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Current languages for specifying multiagent protocols either over-constrain protocol enactments or complicate capturing their meanings. We propose Langshaw, a declarative protocol language based on (1) sayso, a new construct that captures who has priority over setting each attribute, and (2) nono and nogo, two constructs to capture conflicts between actions. Langshaw combines flexibility with an information model to express meaning. We give a formal semantics for Langshaw, procedures for determining the safety and liveness of a protocol, and a method to generate a message-oriented protocol (embedding needed coordination) suitable for flexible asynchronous enactment.
Abstract（参考訳）: マルチエージェントプロトコルを規定する現在の言語は、オーバーコントラストプロトコルの制定またはそれらの意味の取得を複雑にしている。本稿では,(1) saysoに基づく宣言型プロトコル言語であるLangshawを提案する。これは,属性の設定に優先する人物をキャプチャする新しいコンストラクトであり,(2)nonoとnogoは,アクション間の衝突をキャプチャする2つのコンストラクトである。 Langshawは柔軟性と情報モデルを組み合わせて意味を表現する。本稿では,ラングショーの形式的意味論,プロトコルの安全性と生存性を決定する手順,およびフレキシブルな非同期実行に適したメッセージ指向プロトコル(調整が必要)を生成する方法について述べる。

関連論文リスト

A Technical Taxonomy of LLM Agent Communication Protocols [60.76747983053368]
本研究では,大規模言語モデル(LLM)エージェント通信プロトコルの分類と解析を行う技術的分類法を開発する。このフレームワークはプロトコルの選択をガイドし、プライバシーやポリシー執行といったオープンな研究ギャップを強調する。
論文参考訳（メタデータ） (2026-06-17T14:45:20Z)
HyLaT: Efficient Multi-Agent Communication via Hybrid Latent-Text Protocol [54.411053382333996]
HyLaTは、遅延チャネルを介して詳細な認知信号を伝達し、効率を上げるためのハイブリッド潜在テキスト通信プロトコルである。エージェントがハイブリッドメッセージを生成・解釈できるように、シングルエージェントハイブリッド生成学習とマルチエージェントインタラクティブコトレーニングを組み合わせた2段階のトレーニングフレームワークを提案する。実験により、HyLaTは、多様な設定で強力な一般化と堅牢性を持って、競争力のあるタスク性能を維持しながら、通信オーバーヘッドを著しく低減することが示された。
論文参考訳（メタデータ） (2026-05-25T04:50:15Z)
Pact: A Choreographic Language for Agentic Ecosystems [0.3479712135769015]
振り付けプログラミングにはエージェントの自己関心という概念がなく、エージェントがプロトコルに従う理由がある。この講演では、エージェントの選択と好みを記述するために操作に拡張された言語であるPactを紹介します。すべてのPactプロトコルは形式的なゲームにマップされ、プロトコル設計者はプロトコルのゲーム理論的性質を推論することができる。
論文参考訳（メタデータ） (2026-05-04T20:32:40Z)
Beyond Message Passing: A Semantic View of Agent Communication Protocols [19.409127393922216]
エージェント通信プロトコルは,大規模言語モデル(LLM)システムにとって重要な基盤になりつつある。この研究は、エージェントコミュニケーションをコミュニケーション、構文、セマンティックという3つの層にまとめることで、この新興の風景を人間にインスパイアされた視点で表現する。
論文参考訳（メタデータ） (2026-03-30T00:40:30Z)
When Contextual Inference Fails: Cancelability in Interactive Instruction Following [51.2195840589474]
私たちは、コンテキスト意味構築のためのインタラクティブなベンチマークであるBuild What I Meanを紹介します。 BWIMでは、モデルは文脈推論を行うか、小さな通信コストで明確化を要求することによって曖昧さを解決しなければならない。我々は,不確実性の下でのパートナーブラインド過度明確化や質問逆推定などの準最適戦略を観察する。
論文参考訳（メタデータ） (2026-03-20T14:46:59Z)
Verification and Attack Synthesis for Network Protocols [3.8022378790092026]
ネットワークプロトコルは、事前に定義された通信パターンに従う入力と出力を持つプログラムである。この論文は,攻撃対象のネットワークプロトコルの機能と性能を,攻撃対象のネットワークプロトコルの機能と性能を効果的に特徴付けることができることを示している。
論文参考訳（メタデータ） (2025-11-03T00:26:12Z)
ModelForge: Using GenAI to Improve the Development of Security Protocols [1.9241821314180376]
プロトコル仕様の翻訳を自動化する新しいツールであるModelForgeを紹介する。自然言語処理(NLP)と生成AI(GenAI)の進歩を活用することで、ModelForgeはプロトコル仕様を処理し、CPSAプロトコル定義を生成する。
論文参考訳（メタデータ） (2025-06-08T06:27:09Z)
EAGER: Two-Stream Generative Recommender with Behavior-Semantic Collaboration [63.112790050749695]
本稿では,行動情報と意味情報の両方をシームレスに統合する新しい生成推薦フレームワークであるEAGERを紹介する。 EAGERの有効性を4つの公開ベンチマークで検証し,既存手法と比較して優れた性能を示した。
論文参考訳（メタデータ） (2024-06-20T06:21:56Z)
DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation [57.07295906718989]
制約付き復号法は,事前訓練された大言語(Ms と PLMs)が生成するテキストの意味やスタイルを,推論時に様々なタスクに対して制御することを目的としている。これらの方法は、しばしば、欲求的かつ明示的にターゲットを選択することによって、もっともらしい連続を導く。認知二重プロセス理論に着想を得て,新しい復号化フレームワークDECDERを提案する。
論文参考訳（メタデータ） (2024-03-04T11:49:08Z)
The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction and Constrained Decoding [65.34601470417967]
本稿では,ニューラルネットワークモデリングとルールベース生成の強みを組み合わせた対話応答生成のためのハイブリッドアーキテクチャについて述べる。本実験により, 本システムは, 流布性, 妥当性, 真理性の評価において, ルールベースおよび学習的アプローチの両方に優れることがわかった。
論文参考訳（メタデータ） (2022-09-16T09:00:49Z)
Probing Task-Oriented Dialogue Representation from Language Models [106.02947285212132]
本稿では,タスク指向対話タスクにおいて,どのモデルが本質的に最も有意義な表現を担っているかを明らかにするために,事前学習された言語モデルについて検討する。我々は、アノテートラベルを教師付き方法で固定された事前学習言語モデルの上に、分類器プローブとしてフィードフォワード層を微調整する。
論文参考訳（メタデータ） (2020-10-26T21:34:39Z)

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