Package aima.core.logic.fol.inference.proof

Examples of aima.core.logic.fol.inference.proof.ProofStepBwChGoal


    // END-InferenceResult
    //

    public void setAllProofSteps(List<List<ProofStepBwChGoal>> allProofSteps) {
      for (List<ProofStepBwChGoal> steps : allProofSteps) {
        ProofStepBwChGoal lastStep = steps.get(steps.size() - 1);
        Map<Variable, Term> theta = lastStep.getBindings();
        proofs.add(new ProofFinal(lastStep, theta));
      }
    }
View Full Code Here


        List<List<ProofStepBwChGoal>> currentLevelProofSteps,
        Clause toProve, Literal currentGoal,
        Map<Variable, Term> bindings) {

      if (currentLevelProofSteps.size() > 0) {
        ProofStepBwChGoal predecessor = new ProofStepBwChGoal(toProve,
            currentGoal, bindings);
        for (List<ProofStepBwChGoal> steps : currentLevelProofSteps) {
          if (steps.size() > 0) {
            steps.get(0).setPredecessor(predecessor);
          }
View Full Code Here

    // END-InferenceResult
    //

    public void setAllProofSteps(List<List<ProofStepBwChGoal>> allProofSteps) {
      for (List<ProofStepBwChGoal> steps : allProofSteps) {
        ProofStepBwChGoal lastStep = steps.get(steps.size() - 1);
        Map<Variable, Term> theta = lastStep.getBindings();
        proofs.add(new ProofFinal(lastStep, theta));
      }
    }
View Full Code Here

        List<List<ProofStepBwChGoal>> currentLevelProofSteps,
        Clause toProve, Literal currentGoal,
        Map<Variable, Term> bindings) {

      if (currentLevelProofSteps.size() > 0) {
        ProofStepBwChGoal predecessor = new ProofStepBwChGoal(toProve,
            currentGoal, bindings);
        for (List<ProofStepBwChGoal> steps : currentLevelProofSteps) {
          if (steps.size() > 0) {
            steps.get(0).setPredecessor(predecessor);
          }
View Full Code Here

TOP

Related Classes of aima.core.logic.fol.inference.proof.ProofStepBwChGoal

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.