net.sf.tweety.lp.asp、バージョン 1.8 から clingo ソルバーを実行しようとしています。私は clgo バージョン 4.3.0 を使用しています。
コードは次のとおりです。
Clingo solver = new Clingo("/homes/ftm13/bin/clingo");
solver.computeModels(new ArrayList<String>(Arrays.asList("/homes/ftm13/project/examples/remove_ec_example.lp")),1);
実行すると、次のエラーが表示されます。
clingo: 回答セットの解析中にエラーが発生しました! net.sf.tweety.lp.asp.parser.ParseException: Encountered " "version "" at line 1, column 9. 次のいずれかを期待していました: "," ... "(" ... "}" ...
at net.sf.tweety.lp.asp.parser.ASPParser.generateParseException(ASPParser.java:1918)
at net.sf.tweety.lp.asp.parser.ASPParser.jj_consume_token(ASPParser.java:1800)
at net.sf.tweety.lp.asp.parser.ASPParser.AnswerSet(ASPParser.java:177)
at net.sf.tweety.lp.asp.parser.ASPParser.AnswerSetList(ASPParser.java:120)
at net.sf.tweety.lp.asp.solver.Clingo.parseAnswerSets(Clingo.java:46)
at net.sf.tweety.lp.asp.solver.Clingo.buildASL(Clingo.java:132)
at net.sf.tweety.lp.asp.solver.Clingo.computeModels(Clingo.java:78)
それを引き起こしている可能性のあるものに関するアイデアはありますか?