Package aima.core.logic.fol

Examples of aima.core.logic.fol.SubstVisitor

86
87
88
89
90
91
92
93
94
95
96
      InferenceProcedure inferenceProcedure, Unifier unifier) {
    this.parser = new FOLParser(new FOLDomain(domain));
    this.inferenceProcedure = inferenceProcedure;
    this.unifier = unifier;
    //
    this.substVisitor = new SubstVisitor();
    this.variableCollector = new VariableCollector();
    this.standardizeApart = new StandardizeApart(variableCollector,
        substVisitor);
    this.cnfConverter = new CNFConverter(parser);
  }
View Full Code Here
25
26
27
28
29
30
31
  private SubstVisitor sv;

  @Before
  public void setUp() {
    parser = new FOLParser(DomainFactory.crusadesDomain());
    sv = new SubstVisitor();
  }
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
      InferenceProcedure inferenceProcedure, Unifier unifier) {
    this.parser = new FOLParser(new FOLDomain(domain));
    this.inferenceProcedure = inferenceProcedure;
    this.unifier = unifier;
    //
    this.substVisitor = new SubstVisitor();
    this.variableCollector = new VariableCollector();
    this.standardizeApart = new StandardizeApart(variableCollector,
        substVisitor);
    this.cnfConverter = new CNFConverter(parser);
  }
View Full Code Here
TOP

Related Classes of aima.core.logic.fol.SubstVisitor

  • aima.core.logic.fol.kb.FOLKnowledgeBase
  • aima.core.logic.fol.parsing.ast.QuantifiedSentence
  • aima.core.logic.fol.parsing.ast.Sentence
  • aima.core.logic.fol.parsing.ast.Term
  • aima.test.core.unit.logic.fol.SubstVisitorTest
    • 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.