Package aima.core.logic.fol.inference

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

60
61
62
63
64
65
66
  @Test
  public void testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds() {
    // 10 seconds should be more than plenty for this query to finish.
    testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds(
        new FOLTFMResolution(10 * 1000), false);
  }
View Full Code Here
67
68
69
70
71
72
73
74
  @Test
  public void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse() {
    // This query will not return using TFM as keep expanding
    // clauses through resolution for this KB.
    testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(new FOLTFMResolution(
        10 * 1000), true);
  }
View Full Code Here
73
74
75
76
77
78
79
        10 * 1000), true);
  }

  @Test
  public void testEqualityAxiomsKBabcAEqualsCSucceeds() {
    testEqualityAxiomsKBabcAEqualsCSucceeds(new FOLTFMResolution(10 * 1000));
  }
 
View Full Code Here
78
79
80
81
82
83
84
85
    testEqualityAxiomsKBabcAEqualsCSucceeds(new FOLTFMResolution(10 * 1000));
  }

  @Test
  public void testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds() {
    testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds(new FOLTFMResolution(
        40 * 1000));
  }
 
View Full Code Here
89
90
91
92
93
94
95
96
  // due to the amount of memory it uses.
  // Therefore, ignore by default as people don't normally set this.
  @Ignore
  @Test
  public void testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds() {
    testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds(new FOLTFMResolution(
        10 * 1000));
  }
 
View Full Code Here
98
99
100
101
102
103
104
  @Test
  public void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds() {
    // TFM is unable to find the correct answer to this in a reasonable
    // amount of time for a JUnit test.
    testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds(
        new FOLTFMResolution(10 * 1000), true);
  }
View Full Code Here
103
104
105
106
107
108
109
110
        new FOLTFMResolution(10 * 1000), true);
  }

  @Test
  public void testEqualityNoAxiomsKBabcAEqualsCSucceeds() {
    testEqualityNoAxiomsKBabcAEqualsCSucceeds(new FOLTFMResolution(
        10 * 1000), true);
  }
View Full Code Here
110
111
112
113
114
115
116
  }

  @Test
  public void testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds() {
    testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds(
        new FOLTFMResolution(10 * 1000), true);
  }
View Full Code Here
116
117
118
119
120
121
122
  }

  @Test
  public void testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds() {
    testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds(
        new FOLTFMResolution(10 * 1000), true);
  }
View Full Code Here
122
123
124
125
126
127
128
  }

  @Test
  public void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds() {
    testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds(
        new FOLTFMResolution(10 * 1000), true);
  }
View Full Code Here
TOP

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

  • 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.parsing.ast.ConnectedSentence
  • aima.core.logic.fol.parsing.ast.NotSentence
  • aima.core.logic.fol.parsing.ast.Sentence
  • aima.gui.demo.logic.FolDemo
  • aima.test.core.performance.logic.fol.inference.FOLTFMResolutionPerformance
  • aima.test.core.unit.logic.fol.inference.FOLTFMResolutionTest
    • 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.