Examples with AnswerSet at.ac.tuwien.kr.alpha.common.AnswerSet used on opensource projects

Example 26 with AnswerSet

use of at.ac.tuwien.kr.alpha.common.AnswerSet in project Alpha by alpha-asp.

the class SolverTests method testSimpleRuleWithGroundPart.

@Test
public void testSimpleRuleWithGroundPart() throws Exception {
    String testProgram = "p(1)." + "p(2)." + "q(X) :-  p(X), p(1).";
    ParsedProgram parsedProgram = parseVisit(testProgram);
    Grounder grounder = new NaiveGrounder(parsedProgram);
    Solver solver = getInstance(grounder);
    List<AnswerSet> answerSets = solver.collectList();
    assertEquals(1, answerSets.size());
    AnswerSet expected = new BasicAnswerSet.Builder().predicate("q").instance("1").instance("2").predicate("p").instance("1").instance("2").build();
    assertEquals(expected, answerSets.get(0));
}

Example 27 with AnswerSet

use of at.ac.tuwien.kr.alpha.common.AnswerSet in project Alpha by alpha-asp.

the class SolverTests method noPositiveCycleSelfFoundingGuess.

@Test
public void noPositiveCycleSelfFoundingGuess() throws IOException {
    String program = "c :- not d.\n" + "d :- not c." + "a :- b, not c.\n" + "b:- a.\n" + ":- not b.";
    ParsedProgram parsedProgram = parseVisit(program);
    NaiveGrounder grounder = new NaiveGrounder(parsedProgram);
    Solver solver = getInstance(grounder);
    Set<AnswerSet> answerSets = solver.collectSet();
    assertTrue(answerSets.isEmpty());
}

Example 28 with AnswerSet

use of at.ac.tuwien.kr.alpha.common.AnswerSet in project Alpha by alpha-asp.

the class SolverTests method guessingAndPropagationAfterwards.

@Test
public void guessingAndPropagationAfterwards() throws IOException {
    String testProgram = "node(a).\n" + "node(b).\n" + "in(X) :- not out(X), node(X).\n" + "out(X) :- not in(X), node(X).\n" + "pair(X,Y) :- in(X), in(Y).";
    ParsedProgram parsedProgram = parseVisit(testProgram);
    NaiveGrounder grounder = new NaiveGrounder(parsedProgram);
    Solver solver = getInstance(grounder);
    final BasicAnswerSet.Builder base = new BasicAnswerSet.Builder().predicate("node").instance("a").instance("b");
    Set<AnswerSet> expected = new HashSet<>(Arrays.asList(new BasicAnswerSet.Builder(base).predicate("in").instance("a").instance("b").predicate("pair").instance("a", "a").instance("a", "b").instance("b", "a").instance("b", "b").build(), new BasicAnswerSet.Builder(base).predicate("in").instance("b").predicate("out").instance("a").predicate("pair").instance("b", "b").build(), new BasicAnswerSet.Builder(base).predicate("in").instance("a").predicate("out").instance("b").predicate("pair").instance("a", "a").build(), new BasicAnswerSet.Builder(base).predicate("out").instance("a").instance("b").build()));
    Set<AnswerSet> answerSets = solver.collectSet();
    assertEquals(expected, answerSets);
}

Example 29 with AnswerSet

use of at.ac.tuwien.kr.alpha.common.AnswerSet in project Alpha by alpha-asp.

the class SolverTests method testGuessingProgramNonGround.

@Test
public void testGuessingProgramNonGround() throws Exception {
    String testProgram = "dom(1). dom(2). dom(3)." + "p(X) :- dom(X), not q(X)." + "q(X) :- dom(X), not p(X).";
    ParsedProgram parsedProgram = parseVisit(testProgram);
    NaiveGrounder grounder = new NaiveGrounder(parsedProgram);
    Solver solver = getInstance(grounder);
    final BasicAnswerSet.Builder base = new BasicAnswerSet.Builder().predicate("dom").instance("1").instance("2").instance("3");
    Set<AnswerSet> expected = new HashSet<>(Arrays.asList(new BasicAnswerSet.Builder(base).predicate("q").instance("1").instance("2").predicate("p").instance("3").build(), new BasicAnswerSet.Builder(base).predicate("q").instance("1").predicate("p").instance("2").instance("3").build(), new BasicAnswerSet.Builder(base).predicate("q").instance("2").predicate("p").instance("1").instance("3").build(), new BasicAnswerSet.Builder(base).predicate("p").instance("1").instance("2").instance("3").build(), new BasicAnswerSet.Builder(base).predicate("q").instance("1").instance("2").instance("3").build(), new BasicAnswerSet.Builder(base).predicate("q").instance("1").instance("3").predicate("p").instance("2").build(), new BasicAnswerSet.Builder(base).predicate("q").instance("2").instance("3").predicate("p").instance("1").build(), new BasicAnswerSet.Builder(base).predicate("q").instance("3").predicate("p").instance("1").instance("2").build()));
    assertEquals(expected, solver.collectSet());
}

Example 30 with AnswerSet

use of at.ac.tuwien.kr.alpha.common.AnswerSet in project Alpha by alpha-asp.

the class ThreeColouringWheelTest method testThreeColouring.

private void testThreeColouring(int n) throws IOException {
    ParsedProgram program = parseVisit("col(V,C) :- v(V), c(C), not ncol(V,C)." + "ncol(V,C) :- col(V,D), c(C), C != D." + ":- e(V,U), col(V,C), col(U,C).");
    Collection<ParsedFact> colours = createColors("red", "blue", "green");
    program.accumulate(new ParsedProgram(colours));
    Collection<ParsedFact> vertices = createVertices(n);
    program.accumulate(new ParsedProgram(vertices));
    Collection<ParsedFact> edges = createEdges(n);
    program.accumulate(new ParsedProgram(edges));
    program = maybeShuffle(program);
    NaiveGrounder grounder = new NaiveGrounder(program);
    Solver solver = getInstance(grounder);
    Optional<AnswerSet> answerSet = solver.stream().findAny();
    System.out.println(answerSet);
// TODO: check correctness of answer set
}