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

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

167
168
169
170
171
172
173
174
175
176
177
    domain.addFunction("F");

    FOLParser parser = new FOLParser(domain);

    List<Literal> lits = new ArrayList<Literal>();
    AtomicSentence a1 = (AtomicSentence) parser.parse("P(y, F(A,y))");
    lits.add(new Literal(a1));

    Clause c1 = new Clause(lits);

    lits.clear();
View Full Code Here
191
192
193
194
195
196
197
198
199
200
201
202
    domain.addFunction("F");

    FOLParser parser = new FOLParser(domain);

    List<Literal> lits = new ArrayList<Literal>();
    AtomicSentence a1 = (AtomicSentence) parser.parse("P(F(x,B),x)");
    AtomicSentence a2 = (AtomicSentence) parser.parse("Q(x)");
    lits.add(new Literal(a1));
    lits.add(new Literal(a2));

    Clause c1 = new Clause(lits);
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
                  continue;
                }

                ReplaceMatchingTerm rmt = new ReplaceMatchingTerm();

                AtomicSentence altExpression = rmt.replace(
                    l1.getAtomicSentence(),
                    icm.getMatchingTerm(), replaceWith);

                // I have an alternative, create a new clause
                // with the alternative and the substitution
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
    if (renameSubstitution.size() > 0) {
      List<Literal> lits = new ArrayList<Literal>();

      for (Literal l : chain.getLiterals()) {
        AtomicSentence atom = (AtomicSentence) substVisitor.subst(
            renameSubstitution, l.getAtomicSentence());
        lits.add(l.newInstance(atom));
      }

      Chain renamed = new Chain(lits);
View Full Code Here
TOP

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

  • aima.core.logic.fol.inference.Demodulation
  • aima.core.logic.fol.inference.FOLModelElimination
  • aima.core.logic.fol.inference.IndexedFarParents
  • aima.core.logic.fol.inference.Paramodulation
  • aima.core.logic.fol.StandardizeApart
  • aima.gui.demo.logic.FolDemo
  • aima.test.core.unit.logic.fol.inference.ParamodulationTest
    • 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.