Package org.ggp.base.util.prover.aima.knowledge

Examples of org.ggp.base.util.prover.aima.knowledge.KnowledgeBase

35
36
37
38
39
40
41
  private final ProverCache fixedAnswerCache = ProverCache.createMultiThreadedCache();

  public AimaProver(List<Gdl> description)
  {
    description = DistinctAndNotMover.run(description);
    knowledgeBase = new KnowledgeBase(Sets.newHashSet(description));
  }
View Full Code Here
45
46
47
48
49
50
51
52
53
54
55
    LinkedList<GdlLiteral> goals = new LinkedList<GdlLiteral>();
    goals.add(query);

    Set<Substitution> answers = new HashSet<Substitution>();
    Set<GdlSentence> alreadyAsking = new HashSet<GdlSentence>();
    ask(goals, new KnowledgeBase(context), new Substitution(), ProverCache.createSingleThreadedCache(),
        new VariableRenamer(), askOne, answers, alreadyAsking);

    Set<GdlSentence> results = new HashSet<GdlSentence>();
    for (Substitution theta : answers)
    {
View Full Code Here
TOP

Related Classes of org.ggp.base.util.prover.aima.knowledge.KnowledgeBase

  • org.ggp.base.util.gdl.grammar.GdlConstant
  • org.ggp.base.util.gdl.grammar.GdlRule
  • org.ggp.base.util.prover.aima.AimaProver
    • 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.