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

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Свойство	Type	Description
unifier	AIMA.Core.Logic.FOL.Unifier
variableCollector	AIMA.Core.Logic.FOL.VariableCollector

Protected Properties

Свойство	Type	Description
substVisitor	AIMA.Core.Logic.FOL.SubstVisitor

Méthodes publiques

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

Méthodes protégées

Méthode	Description
getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm

Method Details

getMatchingSubstitution() protected méthode

protected getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm
toMatch	Term
expression	AtomicSentence
Résultat	IdentifyCandidateMatchingTerm

isValidMatch() public abstract méthode

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

Property Details

substVisitor protected_oe property

protected SubstVisitor,AIMA.Core.Logic.FOL substVisitor
Résultat	AIMA.Core.Logic.FOL.SubstVisitor

unifier public_oe property

public Unifier,AIMA.Core.Logic.FOL unifier
Résultat	AIMA.Core.Logic.FOL.Unifier

variableCollector public_oe property

public VariableCollector,AIMA.Core.Logic.FOL variableCollector
Résultat	AIMA.Core.Logic.FOL.VariableCollector