Examples of aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver

aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver
rover9.org/">http://www.prover9.org/
or
http://www.cs.unm.edu/~mccune/ mace4/
Should you wish to play with a mature implementation of a theorem prover :-)

For lots of interesting problems to play with, see The TPTP Problem Library for Automated Theorem Proving:
http://www.cs.miami.edu/~tptp/
@author Ciaran O'Reilly

  }


  @Test
  public void testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds() {
    testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds(
        new FOLOTTERLikeTheoremProver(false), false);
  }

View Full Code Here

  }


  @Test
  public void testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds() {
    testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds(
        new FOLOTTERLikeTheoremProver(false), false);
  }

View Full Code Here

  @Test
  public void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse() {
    // This query will not return using OTTER Like resolution
    // as keep expanding clauses through resolution for this KB.
    testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(
        new FOLOTTERLikeTheoremProver(false), true);
  }

View Full Code Here

        new FOLOTTERLikeTheoremProver(false), true);
  }


  @Test
  public void testEqualityAxiomsKBabcAEqualsCSucceeds() {
    testEqualityAxiomsKBabcAEqualsCSucceeds(new FOLOTTERLikeTheoremProver(
        false));
  }

View Full Code Here

        false));
  }


  @Test
  public void testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds() {
    testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds(new FOLOTTERLikeTheoremProver(
        false));
  }

View Full Code Here

        false));
  }


  @Test
  public void testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds() {
    testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds(new FOLOTTERLikeTheoremProver(
        false));
  }

View Full Code Here

  }


  @Test
  public void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds() {
    testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds(
        new FOLOTTERLikeTheoremProver(false), false);
  }

View Full Code Here

  }


  @Test
  public void testEqualityNoAxiomsKBabcAEqualsCSucceeds() {
    testEqualityNoAxiomsKBabcAEqualsCSucceeds(
        new FOLOTTERLikeTheoremProver(true), false);
  }

View Full Code Here

  }


  @Test
  public void testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds() {
    testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds(
        new FOLOTTERLikeTheoremProver(true), false);
  }

View Full Code Here

  }


  @Test
  public void testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds() {
    testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds(
        new FOLOTTERLikeTheoremProver(true), false);
  }

View Full Code Here

0 1 2

TOP

Related Classes of aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver

aima.core.learning.learners.CurrentBestLearner

aima.core.logic.fol.inference.proof.ProofFinal

aima.core.logic.fol.inference.proof.ProofStepGoal

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

aima.core.logic.fol.kb.data.Literal

aima.core.logic.fol.kb.FOLKnowledgeBase

aima.core.logic.fol.parsing.ast.ConnectedSentence

aima.core.logic.fol.parsing.ast.NotSentence

aima.core.logic.fol.parsing.ast.Sentence

aima.core.logic.fol.parsing.ast.TermEquality

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.