ConArgLang

Concurrent Language for Argumentation

Input Program (write or select )

Program Output

Hello! To get started, try running some example programs!

Shared Memory

Grammar

cla is built on the following grammar.

   program:	par_action SEMICOLON;

par_action:	action (PAR action)*;

    action:	'(' action ')'
		| 'add(' (EMP | ARGS) ',' (EMP | ATKS) ')' ARROW action
		| 'rmv(' (EMP | ARGS) ',' (EMP | ATKS) ')' ARROW action
		| expression
		| SUCCESS
		| FAILURE
		;

expression:	'(' expression ')'
		| expression_w
		| expression_f
		| 'sum(' expression_w (',' expression_w)* ')'
		| 'gpar(' expression_f (',' expression_f)* ')'
		| expression_f (PPLUS expression)*
		;

expression_w:	'checkw(' (EMP | ARGS) ',' (EMP | ATKS) ')' ARROW action
		| 'testcw(' (EMP | ARGS) ',' LABEL ',' SEM ')' ARROW action
		| 'testsw(' (EMP | ARGS) ',' LABEL ',' SEM ')' ARROW action
		;

expression_f:	'checkf(' (EMP | ARGS) ',' (EMP | ATKS) ')' ARROW action
		| 'testcf(' (EMP | ARGS) ',' LABEL ',' SEM ')' ARROW action
		| 'testsf(' (EMP | ARGS) ',' LABEL ',' SEM ')' ARROW action
		;

     LABEL:	'in' | 'out' | 'undec';

       SEM:	'conflictfree' | 'admissible' | 'complete' | 'grounded' | 'preferred' | 'stable' | 'ideal' | 'semi−stable' | 'eager' | 'stage';

References

  1. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Timed Concurrent Language for Argumentation: An Interleaving Approach. PADL 2022: 101-116
  2. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Concurrent Argumentation with Time: an Overview. AI³@AI*IA 2021
  3. Carlo Taticchi: A Concurrent Language for Negotiation and Debate with Argumentation. AAMAS 2021: 1840-1841
  4. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Timed Concurrent Language for Argumentation. CILC 2021: 1-15
  5. Stefano Bistarelli, Carlo Taticchi: Introducing a Tool for Concurrent Argumentation. JELIA 2021: 18-24
  6. Stefano Bistarelli, Carlo Taticchi: A Concurrent Language for Argumentation. AI³@AI*IA 2020: 75-89
  7. Stefano Bistarelli, Carlo Taticchi: Towards an Implementation of a Concurrent Language for Argumentation. AI*IA 2020: 154-171
  8. Stefano Bistarelli, Carlo Taticchi: A Concurrent Language for Argumentation: Preliminary Notes. Gabbrielli's Festschrift 2020: 9:1-9:22