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

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

259
260
261
262
263
264
265
266
267
268
269
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createLovesAnimalKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("Jack"));
    terms.add(new Constant("Tuna"));
    Predicate query = new Predicate("Kills", terms);

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
    if (expectedToTimeOut) {
View Full Code Here
331
332
333
334
335
336
337
338
339
340
341
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCDEqualityAndSubstitutionKnowledgeBase(infp, true);

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("D"));
    Predicate query = new Predicate("P", terms);

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
    Assert.assertFalse(answer.isPossiblyFalse());
View Full Code Here
358
359
360
361
362
363
364
365
366
367
368
    terms = new ArrayList<Term>();
    terms.add(fa);
    Function ffa = new Function("F", terms);
    terms = new ArrayList<Term>();
    terms.add(ffa);
    Predicate query = new Predicate("P", terms);

    InferenceResult answer = akb.ask(query);

    if (expectedToTimeOut) {
      Assert.assertFalse(answer.isPossiblyFalse());
View Full Code Here
448
449
450
451
452
453
454
455
456
457
458
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCDEqualityAndSubstitutionKnowledgeBase(infp, false);

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("D"));
    Predicate query = new Predicate("P", terms);

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
    if (expectedToFail) {
View Full Code Here
483
484
485
486
487
488
489
490
491
492
493
    terms = new ArrayList<Term>();
    terms.add(fa);
    Function ffa = new Function("F", terms);
    terms = new ArrayList<Term>();
    terms.add(ffa);
    Predicate query = new Predicate("P", terms);

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
    if (expectedToFail) {
View Full Code Here
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
    domain.addFunction("H");
    domain.addFunction("J");

    FOLParser parser = new FOLParser(domain);

    Predicate expression = (Predicate) parser
        .parse("P(A,F(B,G(A,H(B)),C),D)");
    TermEquality assertion = (TermEquality) parser.parse("B = E");

    Demodulation demodulation = new Demodulation();
    Predicate altExpression = (Predicate) demodulation.apply(assertion,
        expression);

    System.out.println("Demodulate '" + expression + "' with '" + assertion
        + "' to give");
    System.out.println(altExpression.toString());
    System.out.println("and again to give");
    System.out.println(demodulation.apply(assertion, altExpression)
        .toString());
    System.out.println("");
  }
View Full Code Here
281
282
283
284
285
286
287
288
289
290
291
    String kbStr = kb.toString();

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("John"));
    Predicate query = new Predicate("Evil", terms);

    InferenceResult answer = kb.ask(query);

    System.out.println("Kings Knowledge Base:");
    System.out.println(kbStr);
View Full Code Here
304
305
306
307
308
309
310
311
312
313
314
    String kbStr = kb.toString();

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Variable("x"));
    Predicate query = new Predicate("King", terms);

    InferenceResult answer = kb.ask(query);

    System.out.println("Kings Knowledge Base:");
    System.out.println(kbStr);
View Full Code Here
326
327
328
329
330
331
332
333
334
335
336
    String kbStr = kb.toString();

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Variable("x"));
    Predicate query = new Predicate("Criminal", terms);

    InferenceResult answer = kb.ask(query);

    System.out.println("Weapons Knowledge Base:");
    System.out.println(kbStr);
View Full Code Here
350
351
352
353
354
355
356
357
358
359
360
    String kbStr = kb.toString();

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("Curiosity"));
    terms.add(new Constant("Tuna"));
    Predicate query = new Predicate("Kills", terms);

    InferenceResult answer = kb.ask(query);

    System.out.println("Loves Animal Knowledge Base:");
    System.out.println(kbStr);
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.