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

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

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

aima.core.logic.fol.inference.proof.ProofStepClauseClausifySentence
@author Ciaran O'Reilly

    originalSentences.add(sentence);


    // Convert the sentence to CNF
    CNF cnfOfOrig = cnfConverter.convertToCNF(sentence);
    for (Clause c : cnfOfOrig.getConjunctionOfClauses()) {
      c.setProofStep(new ProofStepClauseClausifySentence(c, sentence));
      if (c.isEmpty()) {
        // This should not happen, if so the user
        // is trying to add an unsatisfiable sentence
        // to the KB.
        throw new IllegalArgumentException(

View Full Code Here

    originalSentences.add(aSentence);


    // Convert the sentence to CNF
    CNF cnfOfOrig = cnfConverter.convertToCNF(aSentence);
    for (Clause c : cnfOfOrig.getConjunctionOfClauses()) {
      c.setProofStep(new ProofStepClauseClausifySentence(c, aSentence));
      if (c.isEmpty()) {
        // This should not happen, if so the user
        // is trying to add an unsatisfiable sentence
        // to the KB.
        throw new IllegalArgumentException(

View Full Code Here

TOP

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

aima.core.logic.fol.kb.FOLKnowledgeBase

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.