Package org.ggp.base.util.reasoner.gdl

Examples of org.ggp.base.util.reasoner.gdl.GdlChainingReasoner


   * transformation applied to them.
   *
   * On average, this approach is more efficient than {@link #createWithProver(SentenceFormModel)}.
   */
  public static ImmutableConstantChecker createWithForwardChaining(SentenceDomainModel model) throws InterruptedException {
    GdlChainingReasoner reasoner = GdlChainingReasoner.create(model);
    GdlSentenceSet sentencesByForm = reasoner.getConstantSentences();
    addSentencesTrueByRulesDifferentially(sentencesByForm, model, reasoner);
    return ImmutableConstantChecker.create(model,
        Multimaps.filterKeys(sentencesByForm.getSentences(), Predicates.in(model.getConstantSentenceForms())));
  }
View Full Code Here

TOP

Related Classes of org.ggp.base.util.reasoner.gdl.GdlChainingReasoner

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.