ConArgLang

Timed Concurrent Language for Argumentation
with Maximum Parallelism

Input Program (write or select Example 1 Example 2 Example 3 Example 4 Example 5 Example 6 Example 7 Example 8 Example 9 Example 10 )

Run All Run 1 Step

Grammar

tcla-m is built on the following grammar.

   program:	multidef? par_action SEMICOLON;

  multidef:	definition+;

definition:	'def ' (CHARS | STRING) '(' ((NUMBER | CHARS | STRING) (COMMA (NUMBER | CHARS | STRING) )*)? ')' COLON action SEMICOLON;

par_action:	action (PAR action)*;

    action:	'(' action ')' ARROW action
		| expression
		| 'add(' (EMP | ARGS) COMMA (EMP | ATKS) ')' ARROW action
		| 'rmv(' (EMP | ARGS) COMMA (EMP | ATKS) ')' ARROW action
		| SUCCESS
		| FAILURE
		| (CHARS | STRING) '(' ((NUMBER | CHARS | STRING) (COMMA (NUMBER | CHARS | STRING) )*)? ')' ARROW action
		;

expression:	'sum(' expression (COMMA expression)* ')'
		| 'gpar(' expression (COMMA expression)* ')'
		| '(' expression ')' (PPLUS '(' expression ')' )+
		| 'check(' NUMBER COMMA (EMP | ARGS) COMMA (EMP | ATKS) ')' ARROW action
		| 'ctest(' NUMBER COMMA (EMP | ARGS) COMMA LABEL COMMA SEM ')' ARROW action
		| 'stest(' NUMBER COMMA (EMP | ARGS) COMMA LABEL COMMA SEM ')' ARROW action
		;

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

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

In addition, sleep(t) -> action acts as a shortcut for:

• action, if t ≤ 0
• check(1,{},{}) -> (sleep(t−1) -> action), otherwise

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