Package aima.core.logic.fol.parsing.ast

Examples of aima.core.logic.fol.parsing.ast.QuantifiedSentence

90
91
92
93
94
95
96
97
    // If not variables remaining on the quantifier, then drop it
    if (variables.size() == 0) {
      return quantifiedAfterSubs;
    }

    return new QuantifiedSentence(sentence.getQuantifier(), variables,
        quantifiedAfterSubs);
  }
View Full Code Here
149
150
151
152
153
154
155
156
157
  }

  public Object visitQuantifiedSentence(QuantifiedSentence sentence,
      Object arg) {

    return new QuantifiedSentence(sentence.getQuantifier(),
        sentence.getVariables(), (Sentence) sentence.getQuantified()
            .accept(this, arg));
  }
View Full Code Here
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
      }
    }

    // in addition, rules for negated quantifiers:
    if (negated instanceof QuantifiedSentence) {
      QuantifiedSentence negQuantified = (QuantifiedSentence) negated;
      // I need to ensure the ~ is moved in deeper
      Sentence notP = (Sentence) (new NotSentence(
          negQuantified.getQuantified())).accept(this, arg);

      // ~FORALL x p becomes EXISTS x ~p
      if (Quantifiers.isFORALL(negQuantified.getQuantifier())) {
        return new QuantifiedSentence(Quantifiers.EXISTS,
            negQuantified.getVariables(), notP);
      }

      // ~EXISTS x p becomes FORALL x ~p
      if (Quantifiers.isEXISTS(negQuantified.getQuantifier())) {
        return new QuantifiedSentence(Quantifiers.FORALL,
            negQuantified.getVariables(), notP);
      }
    }

    return new NotSentence((Sentence) negated.accept(this, arg));
  }
View Full Code Here
247
248
249
250
251
252
253
254
255
  }

  public Object visitQuantifiedSentence(QuantifiedSentence sentence,
      Object arg) {

    return new QuantifiedSentence(sentence.getQuantifier(),
        sentence.getVariables(), (Sentence) sentence.getQuantified()
            .accept(this, arg));
  }
View Full Code Here
338
339
340
341
342
343
344
345
    // names are tracked
    seenSoFar.addAll(replVariables);

    Sentence sQuantified = (Sentence) subst.accept(this, arg);

    return new QuantifiedSentence(sentence.getQuantifier(), replVariables,
        sQuantified);
  }
View Full Code Here
174
175
176
177
178
179
180
181
  @Test
  public void testQuantifiedSentenceWithSingleVariable() {
    Sentence qs = parser.parse("FORALL x  King(x)");
    List<Variable> vars = new ArrayList<Variable>();
    vars.add(new Variable("x"));
    Assert.assertEquals(qs, new QuantifiedSentence("FORALL", vars,
        getKingPredicate(new Variable("x"))));
  }
View Full Code Here
189
190
191
192
193
194
195
    vars.add(new Variable("y"));
    ConnectedSentence cse = new ConnectedSentence("AND",
        getKingPredicate(new Variable("x")), new TermEquality(
            getBrotherOfFunction(new Variable("x")), new Variable(
                "y")));
    Assert.assertEquals(qs, new QuantifiedSentence("EXISTS", vars, cse));
  }
View Full Code Here
203
204
205
206
207
208
209
    vars.add(new Variable("y"));
    ConnectedSentence cse = new ConnectedSentence("AND",
        getKingPredicate(new Variable("x")), new TermEquality(
            getBrotherOfFunction(new Variable("x")), new Variable(
                "y")));
    Assert.assertEquals(qs, new QuantifiedSentence("EXISTS", vars, cse));
  }
View Full Code Here
90
91
92
93
94
95
96
97
    // If not variables remaining on the quantifier, then drop it
    if (variables.size() == 0) {
      return quantifiedAfterSubs;
    }

    return new QuantifiedSentence(sentence.getQuantifier(), variables,
        quantifiedAfterSubs);
  }
View Full Code Here
139
140
141
142
143
144
145
146
147
  }

  public Object visitQuantifiedSentence(QuantifiedSentence sentence,
      Object arg) {

    return new QuantifiedSentence(sentence.getQuantifier(),
        sentence.getVariables(), (Sentence) sentence.getQuantified()
            .accept(this, arg));
  }
View Full Code Here
TOP

Related Classes of aima.core.logic.fol.parsing.ast.QuantifiedSentence

  • aima.core.logic.fol.ImplicationsOut
  • aima.core.logic.fol.NegationsIn
  • aima.core.logic.fol.parsing.AbstractFOLVisitor
  • aima.core.logic.fol.parsing.FOLParser
  • aima.core.logic.fol.StandardizeQuantiferVariables
  • aima.core.logic.fol.SubstVisitor
  • aima.test.core.unit.logic.fol.parsing.FOLParserTest
    • 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.