Package aima.core.logic.fol.inference

Examples of aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver$OTTERAnswerHandler

72
73
74
75
76
77
78
  //
  // PUBLIC METHODS
  //
  public FOLKnowledgeBase(FOLDomain domain) {
    // Default to Full Resolution if not set.
    this(domain, new FOLOTTERLikeTheoremProver());
  }
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
      folExamples.add(new FOLExample(folDSDomain, e, egNo));
      egNo++;
    }

    // Setup a KB to be used for learning
    kb = new FOLKnowledgeBase(folDSDomain, new FOLOTTERLikeTheoremProver(
        1000, false));

    CurrentBestLearning cbl = new CurrentBestLearning(folDSDomain, kb);

    currentBestHypothesis = cbl.currentBestLearning(folExamples);
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
    Sentence desc = parser
        .parse("(((((((((alternate(X0) AND NOT(bar(X0))) AND NOT(fri_sat(X0))) AND hungry(X0)) AND patrons(X0,Full)) AND price(X0,$)) AND NOT(raining(X0))) AND NOT(reservation(X0))) AND type(X0,Thai)) AND wait_estimate(X0,_30_60))");
    Sentence classification = parser.parse("will_wait(X0)");

    FOLKnowledgeBase kb = new FOLKnowledgeBase(domain,
        new FOLOTTERLikeTheoremProver(false));

    kb.tell(hypothesis);
    kb.tell(desc);

    InferenceResult ir = kb.ask(classification);
View Full Code Here
117
118
119
120
121
122
123
124
    Assert.assertEquals(0, ir.getProofs().size());
  }

  @Test
  public void testDefiniteClauseKBKingsQueryCriminalXFalse() {
    testDefiniteClauseKBKingsQueryCriminalXFalse(new FOLOTTERLikeTheoremProver(
        false));
  }
View Full Code Here
123
124
125
126
127
128
129
130
        false));
  }

  @Test
  public void testDefiniteClauseKBKingsQueryRichardEvilFalse() {
    testDefiniteClauseKBKingsQueryRichardEvilFalse(new FOLOTTERLikeTheoremProver(
        false));
  }
View Full Code Here
129
130
131
132
133
134
135
136
        false));
  }

  @Test
  public void testDefiniteClauseKBKingsQueryJohnEvilSucceeds() {
    testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLOTTERLikeTheoremProver(
        false));
  }
View Full Code Here
135
136
137
138
139
140
141
142
        false));
  }

  @Test
  public void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() {
    testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLOTTERLikeTheoremProver(
        false));
  }
View Full Code Here
141
142
143
144
145
146
147
148
        false));
  }

  @Test
  public void testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() {
    testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLOTTERLikeTheoremProver(
        false));
  }
View Full Code Here
147
148
149
150
151
152
153
154
        false));
  }

  @Test
  public void testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() {
    testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds(new FOLOTTERLikeTheoremProver(
        false));
  }
View Full Code Here
156
157
158
159
160
161
162
163
  @Test
  public void testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew() {
    // This KB ends up being infinite when resolving, however 2
    // seconds is more than enough to extract the 4 answers
    // that are expected
    testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew(new FOLOTTERLikeTheoremProver(
        2 * 1000, false));
  }
View Full Code Here
TOP

Related Classes of aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver$OTTERAnswerHandler

  • aima.core.learning.learners.CurrentBestLearner
  • aima.core.logic.fol.inference.proof.ProofFinal
  • aima.core.logic.fol.inference.proof.ProofStepGoal
  • aima.core.logic.fol.kb.data.Clause
  • aima.core.logic.fol.kb.data.Literal
  • aima.core.logic.fol.kb.FOLKnowledgeBase
  • aima.core.logic.fol.parsing.ast.ConnectedSentence
  • aima.core.logic.fol.parsing.ast.NotSentence
  • aima.core.logic.fol.parsing.ast.Sentence
  • aima.core.logic.fol.parsing.ast.TermEquality
    • 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.