C# 클래스 AIMA.Core.Logic.FOL.Inference.AbstractModulation

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net 1 사용 예제들

공개 프로퍼티들

프로퍼티	타입	설명
unifier	AIMA.Core.Logic.FOL.Unifier
variableCollector	AIMA.Core.Logic.FOL.VariableCollector

보호된 프로퍼티들

프로퍼티	타입	설명
substVisitor	AIMA.Core.Logic.FOL.SubstVisitor

공개 메소드들

메소드	설명
isValidMatch ( Term toMatch, List toMatchVariables, Term possibleMatch, Term>.Dictionary substitution ) : bool

보호된 메소드들

메소드	설명
getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm

메소드 상세

getMatchingSubstitution() 보호된 메소드

protected getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm
toMatch	Term
expression	AtomicSentence
리턴	IdentifyCandidateMatchingTerm

isValidMatch() 공개 추상적인 메소드

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

프로퍼티 상세

substVisitor 보호되어 있는 프로퍼티

protected SubstVisitor,AIMA.Core.Logic.FOL substVisitor
리턴	AIMA.Core.Logic.FOL.SubstVisitor

unifier 공개적으로 프로퍼티

public Unifier,AIMA.Core.Logic.FOL unifier
리턴	AIMA.Core.Logic.FOL.Unifier

variableCollector 공개적으로 프로퍼티

public VariableCollector,AIMA.Core.Logic.FOL variableCollector
리턴	AIMA.Core.Logic.FOL.VariableCollector