Package aima.core.logic.fol.kb.data

Examples of aima.core.logic.fol.kb.data.Clause

596
597
598
599
600
601
602
  class ArgData {
    public List<Clause> clauses = new ArrayList<Clause>();
    public boolean negated = false;

    public ArgData() {
      clauses.add(new Clause());
    }
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
96
      List<Literal> literals = new ArrayList<Literal>();

      for (Literal l : clause.getLiterals()) {
        literals.add(substVisitor.subst(renameSubstitution, l));
      }
      Clause renamed = new Clause(literals);
      renamed.setProofStep(new ProofStepRenaming(renamed, clause
          .getProofStep()));
      return renamed;
    }

    return clause;
View Full Code Here
TOP

Related Classes of aima.core.logic.fol.kb.data.Clause

  • aima.core.logic.fol.CNFConstructor
  • aima.core.logic.fol.CNFConstructor$ArgData
  • aima.core.logic.fol.inference.Demodulation
  • aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver
  • aima.core.logic.fol.inference.FOLTFMResolution
  • aima.core.logic.fol.inference.otter.defaultimpl.DefaultClauseSimplifier
  • aima.core.logic.fol.inference.otter.defaultimpl.DefaultLightestClauseHeuristic
  • aima.core.logic.fol.inference.Paramodulation
  • aima.core.logic.fol.inference.proof.ProofStepClauseBinaryResolvent
  • aima.core.logic.fol.inference.proof.ProofStepClauseFactor
    • 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.