Package aima.core.logic.fol.domain

Examples of aima.core.logic.fol.domain.FOLDomain

251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
        cnf.toString());
  }

  @Test
  public void testInductionAxiomSchema() {
    FOLDomain domain = new FOLDomain();
    domain.addPredicate("Equal");
    domain.addFunction("Plus");
    domain.addConstant("A");
    domain.addConstant("B");
    domain.addConstant("N");
    domain.addConstant("ONE");
    domain.addConstant("ZERO");

    FOLParser parser = new FOLParser(domain);
    CNFConverter cnfConv = new CNFConverter(parser);

    // Base Case:
View Full Code Here
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
        cnf.toString());
  }

  @Test
  public void testTermEquality() {
    FOLDomain domain = new FOLDomain();
    domain.addPredicate("P");
    domain.addPredicate("Q");
    domain.addPredicate("R");
    domain.addConstant("A");
    domain.addConstant("B");
    domain.addConstant("C");
    domain.addConstant("D");
    domain.addFunction("Plus");
    domain.addConstant("ONE");
    domain.addConstant("ZERO");

    FOLParser parser = new FOLParser(domain);
    CNFConverter cnfConv = new CNFConverter(parser);

    // x=y
View Full Code Here
TOP

Related Classes of aima.core.logic.fol.domain.FOLDomain

  • aima.core.logic.fol.kb.FOLKnowledgeBase
  • aima.core.logic.fol.kb.FOLKnowledgeBaseFactory
  • aima.gui.demo.logic.FolDemo
  • aima.test.core.unit.logic.fol.CNFConverterTest
  • aima.test.core.unit.logic.fol.inference.DemodulationTest
  • aima.test.core.unit.logic.fol.inference.FOLOTTERLikeTheoremProverTest
  • aima.test.core.unit.logic.fol.inference.ParamodulationTest
  • aima.test.core.unit.logic.fol.kb.data.ClauseTest
  • aima.test.core.unit.logic.fol.parsing.FOLLexerTest
  • aima.test.core.unit.logic.fol.parsing.FOLParserTest
    • 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.