Argumentation understood as program synthesis

Ashwag Omar Marghraby, David Robertson

Research output: Contribution to conferencePaperpeer-review

Abstract / Description of output

A gap exists between the specification of argument/argumentation norms and their implementation via protocols in multi-agent systems. This paper describes a new approach to support and automate the synthesis (code generation) of multi-agent argumentation protocols. The idea is to automatically transform a high-level description of an argumentation dialogue game provided by an argumentation user to a final multi-agent executable protocol based on reusable and parameterized patterns. This brings pattern based program synthesis into multi-agent programming in a new way.
Original languageEnglish
Pages681-684
Number of pages4
Publication statusPublished - 2013
Event25th International Conference on Software Engineering and Knowledge Engineering - Boston, United States
Duration: 27 Jun 201329 Jun 2013

Conference

Conference25th International Conference on Software Engineering and Knowledge Engineering
Abbreviated titleSEKE 2013
Country/TerritoryUnited States
CityBoston
Period27/06/1329/06/13

Keywords / Materials (for Non-textual outputs)

  • argumentation
  • automated synthesis
  • dialogue game
  • program synthesis

Fingerprint

Dive into the research topics of 'Argumentation understood as program synthesis'. Together they form a unique fingerprint.

Cite this