Examples of 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

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

  }


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

View Full Code Here

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

  }


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

View Full Code Here

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

  @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

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

        new FOLOTTERLikeTheoremProver(false), true);
  }


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

View Full Code Here

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

        false));
  }


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

View Full Code Here

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

        false));
  }


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

View Full Code Here

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

  }


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

View Full Code Here

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

  }


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

View Full Code Here

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

  }


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

View Full Code Here

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

  }


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

View Full Code Here

0 1 2

TOP

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.