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

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

44
45
46
47
48
49
50
51
52
53
54
55
  public Object visitPredicate(Predicate predicate, Object arg) {
    List<Term> terms = predicate.getTerms();
    List<Term> newTerms = new ArrayList<Term>();
    for (int i = 0; i < terms.size(); i++) {
      Term t = terms.get(i);
      Term subsTerm = (Term) t.accept(this, arg);
      newTerms.add(subsTerm);
    }
    return new Predicate(predicate.getPredicateName(), newTerms);

  }
View Full Code Here
53
54
55
56
57
58
59
60
61
    return new Predicate(predicate.getPredicateName(), newTerms);

  }

  public Object visitTermEquality(TermEquality equality, Object arg) {
    Term newTerm1 = (Term) equality.getTerm1().accept(this, arg);
    Term newTerm2 = (Term) equality.getTerm2().accept(this, arg);
    return new TermEquality(newTerm1, newTerm2);
  }
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
  public Object visitFunction(Function function, Object arg) {
    List<Term> terms = function.getTerms();
    List<Term> newTerms = new ArrayList<Term>();
    for (int i = 0; i < terms.size(); i++) {
      Term t = terms.get(i);
      Term subsTerm = (Term) t.accept(this, arg);
      newTerms.add(subsTerm);
    }
    return new Function(function.getFunctionName(), newTerms);
  }
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
  private List<Term> processTerms() {
    consume();
    List<Term> terms = new ArrayList<Term>();
    match("(");
    Term term = parseTerm();
    terms.add(term);

    while (lookAhead(1).getType() == LogicTokenTypes.COMMA) {
      match(",");
      term = parseTerm();
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
    match(")");
    return terms;
  }

  public Sentence parseTermEquality() {
    Term term1 = parseTerm();
    match("=");
    // System.out.println("=");
    Term term2 = parseTerm();
    return new TermEquality(term1, term2);
  }
View Full Code Here
TOP

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

  • aima.core.logic.fol.inference.AbstractModulation$ReplaceMatchingTerm
  • aima.core.logic.fol.inference.Demodulation
  • aima.core.logic.fol.inference.FOLBCAsk
  • aima.core.logic.fol.inference.Paramodulation
  • aima.core.logic.fol.kb.data.LiteralsSorter
  • aima.core.logic.fol.parsing.AbstractFOLVisitor
  • aima.core.logic.fol.parsing.FOLParser
  • aima.core.logic.fol.SubstVisitor
  • aima.core.logic.fol.Unifier
  • aima.test.core.unit.logic.fol.kb.data.ClauseTest
    • 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.