Package aima.core.logic.fol.parsing.ast

Examples of aima.core.logic.fol.parsing.ast.Predicate

193
194
195
196
197
198
199
      List<Term> newTerms = new ArrayList<Term>();
      for (Term t : p.getTerms()) {
        Term subsTerm = (Term) t.accept(this, arg);
        newTerms.add(subsTerm);
      }
      return new Predicate(p.getPredicateName(), newTerms);
    }
View Full Code Here
32
33
34
35
36
37
38
39
40
41
42
      InferenceProcedure infp) {
    FOLKnowledgeBase kkb = FOLKnowledgeBaseFactory
        .createKingsKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Variable("x"));
    Predicate query = new Predicate("Criminal", terms);
    InferenceResult answer = kkb.ask(query);
    Assert.assertTrue(null != answer);
    Assert.assertTrue(answer.isPossiblyFalse());
    Assert.assertFalse(answer.isTrue());
    Assert.assertFalse(answer.isUnknownDueToTimeout());
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
      InferenceProcedure infp) {
    FOLKnowledgeBase kkb = FOLKnowledgeBaseFactory
        .createKingsKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("Richard"));
    Predicate query = new Predicate("Evil", terms);
    InferenceResult answer = kkb.ask(query);
    Assert.assertTrue(null != answer);
    Assert.assertTrue(answer.isPossiblyFalse());
    Assert.assertFalse(answer.isTrue());
    Assert.assertFalse(answer.isUnknownDueToTimeout());
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
      InferenceProcedure infp) {
    FOLKnowledgeBase kkb = FOLKnowledgeBaseFactory
        .createKingsKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("John"));
    Predicate query = new Predicate("Evil", terms);
    InferenceResult answer = kkb.ask(query);

    Assert.assertTrue(null != answer);
    Assert.assertFalse(answer.isPossiblyFalse());
    Assert.assertTrue(answer.isTrue());
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
      InferenceProcedure infp) {
    FOLKnowledgeBase kkb = FOLKnowledgeBaseFactory
        .createKingsKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Variable("x"));
    Predicate query = new Predicate("Evil", terms);
    InferenceResult answer = kkb.ask(query);

    Assert.assertTrue(null != answer);
    Assert.assertFalse(answer.isPossiblyFalse());
    Assert.assertTrue(answer.isTrue());
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
      InferenceProcedure infp) {
    FOLKnowledgeBase kkb = FOLKnowledgeBaseFactory
        .createKingsKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Variable("x"));
    Predicate query = new Predicate("King", terms);
    InferenceResult answer = kkb.ask(query);

    Assert.assertTrue(null != answer);
    Assert.assertFalse(answer.isPossiblyFalse());
    Assert.assertTrue(answer.isTrue());
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
      InferenceProcedure infp) {
    FOLKnowledgeBase wkb = FOLKnowledgeBaseFactory
        .createWeaponsKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Variable("x"));
    Predicate query = new Predicate("Criminal", terms);

    InferenceResult answer = wkb.ask(query);

    Assert.assertTrue(null != answer);
    Assert.assertFalse(answer.isPossiblyFalse());
View Full Code Here
164
165
166
167
168
169
170
171
172
173
174
      InferenceProcedure infp) {
    FOLKnowledgeBase rotkb = FOLKnowledgeBaseFactory
        .createRingOfThievesKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Variable("x"));
    Predicate query = new Predicate("Skis", terms);

    InferenceResult answer = rotkb.ask(query);

    Assert.assertTrue(null != answer);
    Assert.assertFalse(answer.isPossiblyFalse());
View Full Code Here
202
203
204
205
206
207
208
209
210
211
212
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createLovesAnimalKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("Curiosity"));
    terms.add(new Constant("Tuna"));
    Predicate query = new Predicate("Kills", terms);

    InferenceResult answer = akb.ask(query);
    Assert.assertTrue(null != answer);
    if (expectedToTimeOut) {
      Assert.assertFalse(answer.isPossiblyFalse());
View Full Code Here
230
231
232
233
234
235
236
237
238
239
240
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createLovesAnimalKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("Jack"));
    terms.add(new Constant("Tuna"));
    NotSentence query = new NotSentence(new Predicate("Kills", terms));

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
    if (expectedToTimeOut) {
View Full Code Here
TOP

Related Classes of aima.core.logic.fol.parsing.ast.Predicate

  • aima.core.learning.knowledge.FOLExample
  • aima.core.logic.fol.inference.AbstractModulation$ReplaceMatchingTerm
  • aima.core.logic.fol.kb.FOLKnowledgeBase
  • aima.core.logic.fol.parsing.AbstractFOLVisitor
  • aima.core.logic.fol.parsing.FOLParser
  • aima.gui.demo.logic.FolDemo
  • aima.test.core.unit.logic.fol.CommonFOLInferenceProcedureTests
  • aima.test.core.unit.logic.fol.inference.DemodulationTest
  • aima.test.core.unit.logic.fol.kb.data.ChainTest
  • aima.test.core.unit.logic.fol.kb.data.ClauseTest
    • 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.