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

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

공개 메소드들

메소드 설명
Demodulation ( ) : System
apply ( TermEquality assertion, AtomicSentence expression ) : AtomicSentence
apply ( TermEquality assertion, Clause clExpression ) : Clause
isValidMatch ( Term toMatch, List toMatchVariables, Term possibleMatch, Term>.Dictionary substitution ) : bool

메소드 상세

Demodulation() 공개 메소드

public Demodulation ( ) : System
리턴 System

apply() 공개 메소드

public apply ( TermEquality assertion, AtomicSentence expression ) : AtomicSentence
assertion AIMA.Core.Logic.FOL.Parsing.AST.TermEquality
expression AtomicSentence
리턴 AtomicSentence

apply() 공개 메소드

public apply ( TermEquality assertion, Clause clExpression ) : Clause
assertion AIMA.Core.Logic.FOL.Parsing.AST.TermEquality
clExpression Clause
리턴 Clause

isValidMatch() 공개 메소드

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