Title: Automatic Agent Protocol Generation from Argumentation
Abstract: on argumentation has concentrated on abstract specification of arguments between a protagonist and an antagonist. However, as we build complete multi-agent systems that involve argumentation, there is a need to produce concrete implementations in which these abstract specifications are realised via protocols coordinating agent behavior. This creates a gap between argument specification and implementation which we bridge using a combination of transformational synthesis and model checking. The resulting system provides engineers with a means of moving rapidly from argument specification to implementation, using the Argument Interchange Format as the specification language and the Lightweight Coordination Calculus as an implementation language.
Publication Year: 2011
Publication Date: 2011-01-01
Language: en
Type: article
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot