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

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

399
400
401
402
403
404
405
406
407
408
409
              new ArrayList<Term>(universalScope)));
        } else {
          // Replace with a Skolem Constant
          String skolemConstantName = parser.getFOLDomain()
              .addSkolemConstant();
          skolemSubst.put(eVar, new Constant(skolemConstantName));
        }
      }

      Sentence skolemized = substVisitor.subst(skolemSubst, quantified);
      return skolemized.accept(this, arg);
View Full Code Here
79
80
81
82
83
84
85
  public Term parseConstant() {
    Token t = lookAhead(1);
    String value = t.getText();
    consume();
    return new Constant(value);
  }
View Full Code Here
TOP

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

  • aima.core.learning.knowledge.FOLExample
  • aima.core.logic.fol.parsing.FOLParser
  • aima.core.logic.fol.RemoveQuantifiers
  • aima.gui.demo.logic.FolDemo
  • aima.test.core.unit.logic.fol.CommonFOLInferenceProcedureTests
  • aima.test.core.unit.logic.fol.kb.data.ClauseTest
  • aima.test.core.unit.logic.fol.parsing.FOLParserTest
  • aima.test.core.unit.logic.fol.SubstVisitorTest
  • aima.test.core.unit.logic.fol.UnifierTest
    • 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.