C# Class AIMA.Core.Logic.FOL.Inference.AbstractModulation

Show file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Properties

Property	Type	Description
unifier	AIMA.Core.Logic.FOL.Unifier
variableCollector	AIMA.Core.Logic.FOL.VariableCollector

Protected Properties

Property	Type	Description
substVisitor	AIMA.Core.Logic.FOL.SubstVisitor

Public Methods

Method	Description
isValidMatch ( Term toMatch, List toMatchVariables, Term possibleMatch, Term>.Dictionary substitution ) : bool

Protected Methods

Method	Description
getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm

Method Details

getMatchingSubstitution() protected method

protected getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm
toMatch	Term
expression	AtomicSentence
return	IdentifyCandidateMatchingTerm

isValidMatch() public abstract method

public abstract isValidMatch ( Term toMatch, List toMatchVariables, Term possibleMatch, Term>.Dictionary substitution ) : bool
toMatch	Term
toMatchVariables	List
possibleMatch	Term
substitution	Term>.Dictionary
return	bool

Property Details

substVisitor protected property

protected SubstVisitor,AIMA.Core.Logic.FOL substVisitor
return	AIMA.Core.Logic.FOL.SubstVisitor

unifier public property

public Unifier,AIMA.Core.Logic.FOL unifier
return	AIMA.Core.Logic.FOL.Unifier

variableCollector public property

public VariableCollector,AIMA.Core.Logic.FOL variableCollector
return	AIMA.Core.Logic.FOL.VariableCollector