aima.logic.fol.inference
Class AbstractModulation

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

Direct Known Subclasses:

Demodulation, Paramodulation

public abstract class AbstractModulation
extends java.lang.Object

Nested Class Summary

protected class	AbstractModulation.IdentifyCandidateMatchingTerm
protected class	AbstractModulation.ReplaceMatchingTerm

Field Summary

protected SubstVisitor	substVisitor
protected Unifier	unifier
protected VariableCollector	variableCollector

Constructor Summary

AbstractModulation()

Method Summary

protected AbstractModulation.IdentifyCandidateMatchingTerm	getMatchingSubstitution(Term toMatch, AtomicSentence expression)
protected abstract boolean	isValidMatch(Term toMatch, java.util.Set<Variable> toMatchVariables, Term possibleMatch, java.util.Map<Variable,Term> substitution)

Methods inherited from class java.lang.Object

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

Field Detail

variableCollector

protected VariableCollector variableCollector

unifier

protected Unifier unifier

substVisitor

protected SubstVisitor substVisitor

Constructor Detail

AbstractModulation

public AbstractModulation()

Method Detail

isValidMatch

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

getMatchingSubstitution

protected AbstractModulation.IdentifyCandidateMatchingTerm getMatchingSubstitution(Term toMatch,
                                                                                   AtomicSentence expression)