Package org.tweetyproject.arg.dung.parser

Class Iccma23Parser

java.lang.Object
org.tweetyproject.commons.Parser<DungTheory,Formula>
org.tweetyproject.arg.dung.parser.AbstractDungParser
org.tweetyproject.arg.dung.parser.Iccma23Parser
public class Iccma23Parser extends AbstractDungParser
Parses abstract argumentation frameworks in the ICCMA 23 format (see also https://iccma2023.github.io/rules.html#input-format). It is given by the following BNF (start symbol is S):

S ::== PROBLEM "\n" ATTACKS
PROBLEM ::== "p af " INT
ATTACKS ::== (INT " " INT "\n")* where lines starting with "#" are comments and ignored during parsing. INT is a positive natural number. The line beginning with "p af" is the problem definition, it is followed by a positive integer which is the number of arguments. After the problem definition there is one line for each attack. The first integer in these lines describe the attacker of the attack and the second the attacked.

NOTE: this format is a slight variation of the CNF format (see CnfParser)
Author:
Matthias Thimm