org-tweetyproject-arg-peaf

Example.java

// TODO: Make sure the aif RA and CA nodes have `probability` field assigned to 1.0.
// TODO: For an example, check `resources/aif/5.json`. 
public class Example {
  
    public static void main(String[] args) {
        AIFReader reader = new AIFReader("changethepath.json");
        AIFTheory theory = reader.read();
        AIFtoPEEAFConverter converter = new AIFtoPEEAFConverter();
        PEEAFTheory peeafTheory = converter.convert(theory);
        peeafTheory.prettyPrint();
        PEEAFToPEAFConverter converter2 = new PEEAFToPEAFConverter();
        NamedPEAFTheory peafTheory = converter2.convert(peeafTheory);
        peafTheory.prettyPrint();

        ExactPEAFInducer inducer = new ExactPEAFInducer(peafTheory);
        
        inducer.induce(new Consumer<InducibleEAF>() {
            @Override
            public void accept(InducibleEAF inducibleEAF) {
                EAFTheory eafTheory = inducibleEAF.toNewEAFTheory();
                DungTheory dungTheory = eafTheory.convertToDAFNaively();
                // TODO: This function needs to called by inducer single time (since all probabilities are 1.0).
            }
        });
    }
  
}