Package aima.core.logic.propositional.algorithms

Examples of aima.core.logic.propositional.algorithms.WalkSAT

28
29
30
31
32
33
34
35
36
37
38
39
    System.out.println("( (A AND P) => L)");
    System.out.println("((A AND B) => L)");
    System.out.println("(A)");
    System.out.println("(B)");

    WalkSAT walkSAT = new WalkSAT();
    Model m = walkSAT.findModelFor(kb.asSentence().toString(), 1000, 0.5);
    if (m == null) {
      System.out.println("failure");
    } else {
      m.print();
    }
View Full Code Here
13
14
15
16
17
18
19
20
21
22
23
24
public class WalkSATTest {

  // NOT REALLY A JUNIT TESTCASE BUT written as one to allow easy execution
  @Test
  public void testWalkSat() {
    WalkSAT walkSAT = new WalkSAT();
    Model m = walkSAT.findModelFor("( A AND B )", 1000, 0.5);
    if (m == null) {
      System.out.println("failure");
    } else {
      m.print();
    }
View Full Code Here
24
25
26
27
28
29
30
31
32
33
34
35
    }
  }

  @Test
  public void testWalkSat2() {
    WalkSAT walkSAT = new WalkSAT();
    Model m = walkSAT.findModelFor("( A AND (NOT B) )", 1000, 0.5);
    if (m == null) {
      System.out.println("failure");
    } else {
      m.print();
    }
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
54
    kb.tell("((B AND L) => M)");
    kb.tell("( (A AND P) => L)");
    kb.tell("((A AND B) => L)");
    kb.tell("(A)");
    kb.tell("(B)");
    WalkSAT walkSAT = new WalkSAT();
    Model m = walkSAT.findModelFor(kb.asSentence().toString(), 1000, 0.5);
    if (m == null) {
      System.out.println("failure");
    } else {
      m.print();
    }
View Full Code Here
TOP

Related Classes of aima.core.logic.propositional.algorithms.WalkSAT

  • aima.core.logic.propositional.parsing.ast.Sentence
  • aima.core.logic.propositional.parsing.ast.Symbol
  • aima.core.logic.propositional.parsing.PEParser
  • aima.core.logic.propositional.visitors.CNFClauseGatherer
  • aima.core.logic.propositional.visitors.CNFTransformer
  • aima.core.logic.propositional.visitors.SymbolCollector
  • aima.gui.demo.logic.WalkSatDemo
  • aima.test.core.experiment.logic.propositional.algorithms.WalkSATTest
    • 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.