{"type":"ScholarlyArticle","title":"Requirement Patterns for Engineering Multiagent Interaction Protocols","authors":[{"name":"Amit K. Chopra","slug":"amit-k-chopra","given":"Amit K.","family":"Chopra","affiliation":""},{"name":"Samuel H. Christie V.","slug":"samuel-h-christie-v","given":"Samuel H.","family":"Christie V.","affiliation":""},{"name":"Munindar P. Singh","slug":"munindar-p-singh","given":"Munindar P.","family":"Singh","affiliation":""}],"abstract":"An interaction protocol specifies how the member agents of a decentralized multiagent system may communicate to satisfy their respective stakeholders' requirements. We focus on information protocols, which are fully declarative specifications of interaction and support asynchronous communication. We offer Mambo, an approach for protocol design. Mambo identifies common patterns of requirements, provides a notation to express them, and a verification procedure. Mambo incorporates heuristics to generate small internal representations for efficiency. Experimental results demonstrate Mambo's effectiveness on practical protocols.","doi":"10.24963/ijcai.2025/5","url":"https://ijcai.org/proceedings/2025/5","pdf":"https://ijcai.org/proceedings/2025/0005.pdf","markdown":"https://ijcai.org/proceedings/2025/5.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/5","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Agent-based and Multi-agent Systems","track":"Main Track","number":5,"pages":{"first":38,"last":46},"keywords":["Agent-based and Multi-agent Systems: MAS: Agent communication","Agent-based and Multi-agent Systems: MAS: Engineering methods, platforms, languages and tools"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}