用声明式语言让多智能体协议更灵活且易懂。
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict
- 引入sayso机制明确属性控制权归属
- 通过nono/nogo捕捉动作间的冲突关系
- 支持异步执行，适合复杂协作场景
现有多智能体协议语言要么约束过强，要么难以表达其语义。本文提出Langshaw，一种基于（1）sayso——新提出的属性优先级控制机制，用于明确谁有权设置每个属性；（2）nono和nogo——两种捕捉动作间冲突的构造。Langshaw结合灵活性与信息模型，精准表达协议含义。我们为Langshaw提供了形式语义，给出了判断协议安全性和活锁性的算法，并提出生成消息导向协议的方法，可嵌入必要协调机制，支持灵活的异步执行。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。