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

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

70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
    Assert.assertTrue(clauses.contains(c));
  }

  @Test
  public void testMultiAndClause2() {
    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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
    Assert.assertTrue(clauses.contains(c));
  }

  @Test
  public void testAimaExample() {
    Sentence aimaEg = (Sentence) parser.parse("( B11 <=> (P12 OR P21))");
    CNFTransformer transformer = new CNFTransformer();
    Sentence transformed = transformer.transform(aimaEg);
    Set<Sentence> clauses = gatherer.getClausesFrom(transformed);
    Sentence clause1 = (Sentence) parser.parse("( B11 OR  ( NOT P12 )  )");
    Sentence clause2 = (Sentence) parser.parse("( B11 OR  ( NOT P21 )  )");
    Sentence clause3 = (Sentence) parser
        .parse("(  ( NOT B11 )  OR  ( P12 OR P21 ) )");
    Assert.assertEquals(3, clauses.size());
    Assert.assertTrue(clauses.contains(clause1));
    Assert.assertTrue(clauses.contains(clause2));
    Assert.assertTrue(clauses.contains(clause3));
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.