aima.core.logic.fol.inference

Class AbstractModulation

java.lang.Object

aima.core.logic.fol.inference.AbstractModulation

Direct Known Subclasses:

Demodulation, Paramodulation

public abstract class AbstractModulation
extends java.lang.Object

Abstract base class for Demodulation and Paramodulation algorithms.

Author:

Ciaran O'Reilly

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	AbstractModulation.IdentifyCandidateMatchingTerm
protected class	AbstractModulation.ReplaceMatchingTerm

Field Summary

Fields

Modifier and Type	Field and Description
protected SubstVisitor	substVisitor
protected Unifier	unifier
protected VariableCollector	variableCollector

Constructor Summary

Constructors

Constructor and Description
AbstractModulation()

Method Summary

Modifier and Type	Method and Description
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)