Examples of addPositiveLiteral()

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

709
710
711
712
713
714
715
716
717
718
719
    // Example
    // {~p(a,b),q(c)}
    Clause psi = new Clause();
    psi.addNegativeLiteral((Predicate) parser.parse("P(A,B)"));
    psi.addPositiveLiteral((Predicate) parser.parse("Q(C)"));
    // {~p(x,y)}
    Clause phi = new Clause();
    phi.addNegativeLiteral((Predicate) parser.parse("P(x,y)"));

    Assert.assertTrue(phi.subsumes(psi));
View Full Code Here

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

861
862
863
864
865
866
867
868
869
870
871
    psi.addPositiveLiteral((Predicate) parser.parse("Q(E,F)"));
    // {~p(i,j),~p(a,b),q(e,f),q(a,b)}
    phi = new Clause();
    phi.addNegativeLiteral((Predicate) parser.parse("P(I,J)"));
    phi.addNegativeLiteral((Predicate) parser.parse("P(A,B)"));
    phi.addPositiveLiteral((Predicate) parser.parse("Q(E,F)"));
    phi.addPositiveLiteral((Predicate) parser.parse("Q(A,B)"));

    Assert.assertTrue(phi.subsumes(psi));

    // Non-Example
View Full Code Here

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

862
863
864
865
866
867
868
869
870
871
872
    // {~p(i,j),~p(a,b),q(e,f),q(a,b)}
    phi = new Clause();
    phi.addNegativeLiteral((Predicate) parser.parse("P(I,J)"));
    phi.addNegativeLiteral((Predicate) parser.parse("P(A,B)"));
    phi.addPositiveLiteral((Predicate) parser.parse("Q(E,F)"));
    phi.addPositiveLiteral((Predicate) parser.parse("Q(A,B)"));

    Assert.assertTrue(phi.subsumes(psi));

    // Non-Example
    // {~p(a,b),~p(c,d),~p(e,f),~p(g,h),~p(i,j),q(a,b),q(c,d),q(e,f)}
View Full Code Here

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

881
882
883
884
885
886
887
888
889
890
891
    psi.addPositiveLiteral((Predicate) parser.parse("Q(E,F)"));
    // {~p(i,j),~p(a,b),q(e,f),q(a,b)}
    phi = new Clause();
    phi.addNegativeLiteral((Predicate) parser.parse("P(I,J)"));
    phi.addNegativeLiteral((Predicate) parser.parse("P(A,B)"));
    phi.addPositiveLiteral((Predicate) parser.parse("Q(E,A)"));
    phi.addPositiveLiteral((Predicate) parser.parse("Q(A,B)"));

    Assert.assertFalse(phi.subsumes(psi));
  }
}
View Full Code Here

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

882
883
884
885
886
887
888
889
890
891
    // {~p(i,j),~p(a,b),q(e,f),q(a,b)}
    phi = new Clause();
    phi.addNegativeLiteral((Predicate) parser.parse("P(I,J)"));
    phi.addNegativeLiteral((Predicate) parser.parse("P(A,B)"));
    phi.addPositiveLiteral((Predicate) parser.parse("Q(E,A)"));
    phi.addPositiveLiteral((Predicate) parser.parse("Q(A,B)"));

    Assert.assertFalse(phi.subsumes(psi));
  }
}
View Full Code Here

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

42
43
44
45
46
47
48
49
50
51
52
    Clause c = new Clause();

    Assert.assertFalse(c.isImmutable());

    c.addNegativeLiteral(new Predicate("Pred1", new ArrayList<Term>()));
    c.addPositiveLiteral(new Predicate("Pred2", new ArrayList<Term>()));

    c.setImmutable();

    Assert.assertTrue(c.isImmutable());
View Full Code Here

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

57
58
59
60
61
62
63
64
65
66
67
    } catch (IllegalStateException ise) {
      // Ok, Expected
    }

    try {
      c.addPositiveLiteral(new Predicate("Pred3", new ArrayList<Term>()));

      Assert.fail("Should have thrown an IllegalStateException");
    } catch (IllegalStateException ise) {
      // Ok, Expected
    }
View Full Code Here

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

76
77
78
79
80
81
82
83
84
85
86
    Assert.assertFalse(c1.isEmpty());

    Clause c2 = new Clause();
    Assert.assertTrue(c2.isEmpty());

    c2.addPositiveLiteral(new Predicate("Pred1", new ArrayList<Term>()));
    Assert.assertFalse(c2.isEmpty());

    Clause c3 = new Clause();
    Assert.assertTrue(c3.isEmpty());
View Full Code Here

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

83
84
85
86
87
88
89
90
91
92
93
    Clause c3 = new Clause();
    Assert.assertTrue(c3.isEmpty());

    c3.addNegativeLiteral(new Predicate("Pred1", new ArrayList<Term>()));
    c3.addPositiveLiteral(new Predicate("Pred1", new ArrayList<Term>()));
    // Should be empty as they resolved with each other
    Assert.assertFalse(c3.isEmpty());

    c3.addNegativeLiteral(new Predicate("Pred1", new ArrayList<Term>()));
    c3.addPositiveLiteral(new Predicate("Pred2", new ArrayList<Term>()));
View Full Code Here

Examples of aima.core.logic.fol.kb.data.Clause.addPositiveLiteral()

88
89
90
91
92
93
94
95
96
97
98
    c3.addPositiveLiteral(new Predicate("Pred1", new ArrayList<Term>()));
    // Should be empty as they resolved with each other
    Assert.assertFalse(c3.isEmpty());

    c3.addNegativeLiteral(new Predicate("Pred1", new ArrayList<Term>()));
    c3.addPositiveLiteral(new Predicate("Pred2", new ArrayList<Term>()));
    Assert.assertFalse(c3.isEmpty());
  }

  @Test
  public void testIsHornClause() {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.