aima.logic.fol.inference
Class Demodulation

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

public class Demodulation
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

Demodulation()

Method Summary

AtomicSentence	apply(TermEquality assertion, AtomicSentence expression)
Clause	apply(TermEquality assertion, Clause clExpression)
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

Demodulation

public Demodulation()

Method Detail

apply

public Clause apply(TermEquality assertion,
                    Clause clExpression)

apply

public AtomicSentence apply(TermEquality assertion,
                            AtomicSentence expression)

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