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

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

138
139
140
141
142
143
144
145
146
147
148
                  nc = new Clause(newLits);

                } else {
                  nc = new Clause(newLits);
                }
                nc.setProofStep(new ProofStepClauseParamodulation(
                    nc, topClause, equalityClause,
                    assertion));
                if (c1.isImmutable()) {
                  nc.setImmutable();
                }
View Full Code Here
TOP

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

  • aima.core.logic.fol.inference.Paramodulation
    • 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.