Package aima.core.logic.propositional.parsing.ast

Examples of aima.core.logic.propositional.parsing.ast.Symbol

175
176
177
178
179
180
181
182
183
184
  @Test
  public void testIssue66() {
    // http://code.google.com/p/aima-java/issues/detail?id=66
    Model model = new Model();
    model = model.extend(new Symbol("A"), false)
        .extend(new Symbol("B"), false).extend(new Symbol("C"), true);
    Sentence sentence = (Sentence) parser.parse("((A OR B) OR C)");
    Assert.assertTrue(dpll.dpllSatisfiable(sentence, model));
  }
View Full Code Here
50
51
52
53
54
55
56
    Sentence one = (Sentence) parser.parse("A");
    Sentence two = (Sentence) parser.parse("(NOT A)");
    // Sentence expected =(Sentence) parser.parse("(A OR C)");
    Set<Sentence> resolvents = resolution.plResolve(one, two);
    Assert.assertEquals(1, resolvents.size());
    Assert.assertTrue(resolvents.contains(new Symbol("EMPTY_CLAUSE")));
  }
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
    kb.tell("(B21 <=> ((P11 OR P22) OR P31))");
    kb.tell("(NOT B11)");
    kb.tell("(B21)");

    Model model = new Model();
    model = model.extend(new Symbol("B11"), false);
    model = model.extend(new Symbol("B21"), true);
    model = model.extend(new Symbol("P11"), false);
    model = model.extend(new Symbol("P12"), false);
    model = model.extend(new Symbol("P21"), false);
    model = model.extend(new Symbol("P22"), false);
    model = model.extend(new Symbol("P31"), true);

    Sentence kbs = kb.asSentence();
    Assert.assertEquals(true, model.isTrue(kbs));
  }
View Full Code Here
33
34
35
36
37
38
39
40
    m = new Model();
  }

  @Test
  public void testEmptyModel() {
    Assert.assertEquals(null, m.getStatus(new Symbol("P")));
    Assert.assertEquals(true, m.isUnknown(new Symbol("P")));
  }
View Full Code Here
40
41
42
43
44
45
46
47
  }

  @Test
  public void testExtendModel() {
    String p = "P";
    m = m.extend(new Symbol(p), true);
    Assert.assertEquals(Boolean.TRUE, m.getStatus(new Symbol("P")));
  }
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
67
  @Test
  public void testSentenceStatusWhenPTrueAndQTrue() {
    String p = "P";
    String q = "Q";
    m = m.extend(new Symbol(p), true);
    m = m.extend(new Symbol(q), true);
    Assert.assertEquals(true, m.isTrue(andSentence));
    Assert.assertEquals(true, m.isTrue(orSentence));
    Assert.assertEquals(true, m.isTrue(impliedSentence));
    Assert.assertEquals(true, m.isTrue(biConditionalSentence));
  }
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
79
  @Test
  public void testSentenceStatusWhenPFalseAndQFalse() {
    String p = "P";
    String q = "Q";
    m = m.extend(new Symbol(p), false);
    m = m.extend(new Symbol(q), false);
    Assert.assertEquals(true, m.isFalse(andSentence));
    Assert.assertEquals(true, m.isFalse(orSentence));
    Assert.assertEquals(true, m.isTrue(impliedSentence));
    Assert.assertEquals(true, m.isTrue(biConditionalSentence));
  }
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
91
  @Test
  public void testSentenceStatusWhenPTrueAndQFalse() {
    String p = "P";
    String q = "Q";
    m = m.extend(new Symbol(p), true);
    m = m.extend(new Symbol(q), false);
    Assert.assertEquals(true, m.isFalse(andSentence));
    Assert.assertEquals(true, m.isTrue(orSentence));
    Assert.assertEquals(true, m.isFalse(impliedSentence));
    Assert.assertEquals(true, m.isFalse(biConditionalSentence));
  }
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
103
  @Test
  public void testSentenceStatusWhenPFalseAndQTrue() {
    String p = "P";
    String q = "Q";
    m = m.extend(new Symbol(p), false);
    m = m.extend(new Symbol(q), true);
    Assert.assertEquals(true, m.isFalse(andSentence));
    Assert.assertEquals(true, m.isTrue(orSentence));
    Assert.assertEquals(true, m.isTrue(impliedSentence));
    Assert.assertEquals(true, m.isFalse(biConditionalSentence));
  }
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
115
  @Test
  public void testComplexSentence() {
    String p = "P";
    String q = "Q";
    m = m.extend(new Symbol(p), true);
    m = m.extend(new Symbol(q), false);
    Sentence sent = (Sentence) parser.parse("((P OR Q) AND  (P => Q))");
    Assert.assertFalse(m.isTrue(sent));
    Assert.assertTrue(m.isFalse(sent));
    Sentence sent2 = (Sentence) parser.parse("((P OR Q) AND  (Q))");
    Assert.assertFalse(m.isTrue(sent2));
View Full Code Here
TOP

Related Classes of aima.core.logic.propositional.parsing.ast.Symbol

  • aima.core.logic.propositional.algorithms.DPLL
  • aima.core.logic.propositional.algorithms.PLFCEntails
  • aima.core.logic.propositional.algorithms.PLResolution
  • aima.core.logic.propositional.algorithms.TTEntails
  • aima.core.logic.propositional.algorithms.WalkSAT
  • aima.core.logic.propositional.parsing.AbstractPLVisitor
  • aima.core.logic.propositional.parsing.PEParser
  • aima.core.logic.propositional.visitors.SymbolCollector
  • aima.test.core.unit.logic.propositional.algorithms.DPLLTest
  • aima.test.core.unit.logic.propositional.algorithms.ModelTest
    • Copyright © 2018 www.massapicom. 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.