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

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

38
39
40
41
42
43
44
45
  @Test
  public void testMultipleVariables() {
    Set<Variable> variables = vc.collectAllVariables(parser
        .parse("BrotherOf(x) = EnemyOf(y)"));
    Assert.assertEquals(2, variables.size());
    Assert.assertTrue(variables.contains(new Variable("x")));
    Assert.assertTrue(variables.contains(new Variable("y")));
  }
View Full Code Here
49
50
51
52
53
54
55
56
57
    // Note: Should collect quantified variables
    // even if not mentioned in clause.
    Set<Variable> variables = vc.collectAllVariables(parser
        .parse("FORALL x,y,z (BrotherOf(x) = EnemyOf(y))"));
    Assert.assertEquals(3, variables.size());
    Assert.assertTrue(variables.contains(new Variable("x")));
    Assert.assertTrue(variables.contains(new Variable("y")));
    Assert.assertTrue(variables.contains(new Variable("z")));
  }
View Full Code Here
307
308
309
310
311
312
313
314
315
316
317
    List<Variable> replVariables = new ArrayList<Variable>();
    for (Variable v : sentence.getVariables()) {
      // If local variable has be renamed already
      // then I need to come up with own name
      if (seenSoFar.contains(v)) {
        Variable sV = new Variable(quantifiedIndexical.getPrefix()
            + quantifiedIndexical.getNextIndex());
        localSubst.put(v, sV);
        // Replacement variables should contain new name for variable
        replVariables.add(sV);
      } else {
View Full Code Here
72
73
74
75
76
77
78
  public Term parseVariable() {
    Token t = lookAhead(1);
    String value = t.getText();
    consume();
    return new Variable(value);
  }
View Full Code Here
207
208
209
210
211
212
213
214
215
216
217
  private Sentence parseQuantifiedSentence() {
    String quantifier = lookAhead(1).getText();
    consume();
    List<Variable> variables = new ArrayList<Variable>();
    Variable var = (Variable) parseVariable();
    variables.add(var);
    while (lookAhead(1).getType() == LogicTokenTypes.COMMA) {
      consume();
      var = (Variable) parseVariable();
      variables.add(var);
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
53
54
        .collectAllVariables(aSentence);
    Map<Variable, Term> renameSubstitution = new HashMap<Variable, Term>();
    Map<Variable, Term> reverseSubstitution = new HashMap<Variable, Term>();

    for (Variable var : toRename) {
      Variable v = null;
      do {
        v = new Variable(standardizeApartIndexical.getPrefix()
            + standardizeApartIndexical.getNextIndex());
        // Ensure the new variable name is not already
        // accidentally used in the sentence
      } while (toRename.contains(v));
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
79
80
    Set<Variable> toRename = variableCollector.collectAllVariables(clause);
    Map<Variable, Term> renameSubstitution = new HashMap<Variable, Term>();

    for (Variable var : toRename) {
      Variable v = null;
      do {
        v = new Variable(standardizeApartIndexical.getPrefix()
            + standardizeApartIndexical.getNextIndex());
        // Ensure the new variable name is not already
        // accidentally used in the sentence
      } while (toRename.contains(v));
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
112
113
    Set<Variable> toRename = variableCollector.collectAllVariables(chain);
    Map<Variable, Term> renameSubstitution = new HashMap<Variable, Term>();

    for (Variable var : toRename) {
      Variable v = null;
      do {
        v = new Variable(standardizeApartIndexical.getPrefix()
            + standardizeApartIndexical.getNextIndex());
        // Ensure the new variable name is not already
        // accidentally used in the sentence
      } while (toRename.contains(v));
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
160
161
    }

    Map<Variable, Term> renameSubstitution = new HashMap<Variable, Term>();

    for (Variable var : toRename) {
      Variable v = null;
      do {
        v = new Variable(standardizeApartIndexical.getPrefix()
            + standardizeApartIndexical.getNextIndex());
        // Ensure the new variable name is not already
        // accidentally used in the sentence
      } while (toRename.contains(v));
View Full Code Here
TOP

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

  • aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver
  • aima.core.logic.fol.parsing.FOLParser
  • aima.core.logic.fol.StandardizeApart
  • aima.core.logic.fol.StandardizeQuantiferVariables
  • aima.gui.demo.logic.FolDemo
  • aima.test.core.unit.logic.fol.CommonFOLInferenceProcedureTests
  • aima.test.core.unit.logic.fol.kb.data.ClauseTest
  • aima.test.core.unit.logic.fol.kb.FOLKnowledgeBaseTest
  • aima.test.core.unit.logic.fol.parsing.FOLParserTest
  • aima.test.core.unit.logic.fol.SubstVisitorTest
    • 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.