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

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

77
78
79
80
81
82
83
84
85
86
87
    Assert.assertEquals(expected.toString(), transformed.toString());
  }

  @Test
  public void testFourSuccessiveNotsTransformation() {
    Sentence fourNots = (Sentence) parser
        .parse("(NOT (NOT (NOT (NOT A))))");
    Sentence expected = (Sentence) parser.parse("A");
    Sentence transformed = transformer.transform(fourNots);
    Assert.assertEquals(expected.toString(), transformed.toString());
  }
View Full Code Here
86
87
88
89
90
91
92
93
94
95
    Assert.assertEquals(expected.toString(), transformed.toString());
  }

  @Test
  public void testDeMorgan1() {
    Sentence dm = (Sentence) parser.parse("(NOT (A AND B))");
    Sentence expected = (Sentence) parser.parse("((NOT A) OR (NOT B))");
    Sentence transformed = transformer.transform(dm);
    Assert.assertEquals(expected.toString(), transformed.toString());
  }
View Full Code Here
94
95
96
97
98
99
100
101
102
103
    Assert.assertEquals(expected.toString(), transformed.toString());
  }

  @Test
  public void testDeMorgan2() {
    Sentence dm = (Sentence) parser.parse("(NOT (A OR B))");
    Sentence expected = (Sentence) parser.parse("((NOT A) AND (NOT B))");
    Sentence transformed = transformer.transform(dm);
    Assert.assertEquals(expected.toString(), transformed.toString());
  }
View Full Code Here
102
103
104
105
106
107
108
109
110
111
    Assert.assertEquals(expected.toString(), transformed.toString());
  }

  @Test
  public void testOrDistribution1() {
    Sentence or = (Sentence) parser.parse("((A AND B) OR C)");
    Sentence expected = (Sentence) parser.parse("((C OR A) AND (C OR B))");
    Sentence transformed = transformer.transform(or);
    Assert.assertEquals(expected.toString(), transformed.toString());
  }
View Full Code Here
110
111
112
113
114
115
116
117
118
119
    Assert.assertEquals(expected.toString(), transformed.toString());
  }

  @Test
  public void testOrDistribution2() {
    Sentence or = (Sentence) parser.parse("(A OR (B AND C))");
    Sentence expected = (Sentence) parser.parse("((A OR B) AND (A OR C))");
    Sentence transformed = transformer.transform(or);
    Assert.assertEquals(expected.toString(), transformed.toString());
  }
View Full Code Here
118
119
120
121
122
123
124
125
126
127
128
    Assert.assertEquals(expected.toString(), transformed.toString());
  }

  @Test
  public void testAimaExample() {
    Sentence aimaEg = (Sentence) parser.parse("( B11 <=> (P12 OR P21))");
    Sentence expected = (Sentence) parser
        .parse(" (  (  ( NOT B11 )  OR  ( P12 OR P21 ) ) AND  (  ( B11 OR  ( NOT P12 )  ) AND  ( B11 OR  ( NOT P21 )  ) ) )");
    Sentence transformed = transformer.transform(aimaEg);
    Assert.assertEquals(expected.toString(), transformed.toString());
  }
View Full Code Here
26
27
28
29
30
31
32
33
34
35
36
37
    gatherer = new CNFClauseGatherer();
  }

  @Test
  public void testSymbol() {
    Sentence simple = (Sentence) parser.parse("A");
    Sentence a = (Sentence) parser.parse("A");
    Set<Sentence> clauses = gatherer.getClausesFrom(simple);
    Assert.assertNotNull(clauses);
    Assert.assertEquals(1, clauses.size());
    Assert.assertTrue(clauses.contains(a));
  }
View Full Code Here
36
37
38
39
40
41
42
43
44
45
46
47
    Assert.assertTrue(clauses.contains(a));
  }

  @Test
  public void testNotSentence() {
    Sentence simple = (Sentence) parser.parse("(NOT A)");
    Sentence a = (Sentence) parser.parse("(NOT A)");
    Set<Sentence> clauses = gatherer.getClausesFrom(simple);
    Assert.assertNotNull(clauses);
    Assert.assertEquals(1, clauses.size());
    Assert.assertTrue(clauses.contains(a));
  }
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
57
58
    Assert.assertTrue(clauses.contains(a));
  }

  @Test
  public void testSimpleAndClause() {
    Sentence simple = (Sentence) parser.parse("(A AND B)");
    Sentence a = (Sentence) parser.parse("A");
    Sentence b = (Sentence) parser.parse("B");
    Set<Sentence> clauses = gatherer.getClausesFrom(simple);
    Assert.assertEquals(2, clauses.size());
    Assert.assertTrue(clauses.contains(a));
    Assert.assertTrue(clauses.contains(b));
  }
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
    Assert.assertTrue(clauses.contains(b));
  }

  @Test
  public void testMultiAndClause() {
    Sentence simple = (Sentence) parser.parse("((A AND B) AND C)");
    Set<Sentence> clauses = gatherer.getClausesFrom(simple);
    Assert.assertEquals(3, clauses.size());
    Sentence a = (Sentence) parser.parse("A");
    Sentence b = (Sentence) parser.parse("B");
    Sentence c = (Sentence) parser.parse("C");
    Assert.assertTrue(clauses.contains(a));
    Assert.assertTrue(clauses.contains(b));
    Assert.assertTrue(clauses.contains(c));
  }
View Full Code Here
TOP

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

  • aima.core.logic.propositional.algorithms.DPLL
  • aima.core.logic.propositional.algorithms.KnowledgeBase
  • aima.core.logic.propositional.algorithms.LogicUtils
  • 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.CNFTransformer
    • 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.