Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict

Munindar P. Singh; Samuel H. Christie V.; Amit K. Chopra

IJCAI 2024poster0 citations

Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict

Munindar P. Singh, Samuel H. Christie V., Amit K. Chopra

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.

Agent-based and Multi-agent Systems: MAS: Agent communicationAgent-based and Multi-agent Systems: MAS: Engineering methods, platforms, languages and toolsAgent-based and Multi-agent Systems: MAS: Formal verification, validation and synthesisAgent-based and Multi-agent Systems: General

BibTeX

@inproceedings{ijcai2024p23,
  title     = {Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict},
  author    = {Singh, Munindar P. and Christie V., Samuel H. and Chopra, Amit K.},
  booktitle = {Proceedings of the Thirty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-24}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Kate Larson},
  pages     = {202--210},
  year      = {2024},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2024/23},
  url       = {https://doi.org/10.24963/ijcai.2024/23},
}