aima.logic.fol.inference
Class Paramodulation

java.lang.Object
  aima.logic.fol.inference.AbstractModulation
      aima.logic.fol.inference.Paramodulation

public class Paramodulation
extends AbstractModulation

Nested Class Summary

Nested classes/interfaces inherited from class aima.logic.fol.inference.AbstractModulation

AbstractModulation.IdentifyCandidateMatchingTerm, AbstractModulation.ReplaceMatchingTerm

Field Summary

Fields inherited from class aima.logic.fol.inference.AbstractModulation

substVisitor, unifier, variableCollector

Constructor Summary

Paramodulation()

Method Summary

java.util.Set<Clause>	apply(Clause c1, Clause c2)
java.util.Set<Clause>	apply(Clause c1, Clause c2, boolean standardizeApart)
protected boolean	isValidMatch(Term toMatch, java.util.Set<Variable> toMatchVariables, Term possibleMatch, java.util.Map<Variable,Term> substitution)

Methods inherited from class aima.logic.fol.inference.AbstractModulation

getMatchingSubstitution

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Paramodulation

public Paramodulation()

Method Detail

apply

public java.util.Set<Clause> apply(Clause c1,
                                   Clause c2)

apply

public java.util.Set<Clause> apply(Clause c1,
                                   Clause c2,
                                   boolean standardizeApart)

isValidMatch

protected boolean isValidMatch(Term toMatch,
                               java.util.Set<Variable> toMatchVariables,
                               Term possibleMatch,
                               java.util.Map<Variable,Term> substitution)

Specified by:

isValidMatch in class AbstractModulation