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

상속: AbstractModulation

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

공개 메소드들

메소드	설명
Paramodulation ( ) : System
apply ( Clause c1, Clause c2 ) : List
apply ( Clause c1, Clause c2, bool standardizeApart ) : List
isValidMatch ( Term toMatch, List toMatchVariables, Term possibleMatch, Term>.Dictionary substitution ) : bool

메소드 상세

Paramodulation() 공개 메소드

public Paramodulation ( ) : System
리턴	System

apply() 공개 메소드

public apply ( Clause c1, Clause c2 ) : List
c1	Clause
c2	Clause
리턴	List

apply() 공개 메소드

public apply ( Clause c1, Clause c2, bool standardizeApart ) : List
c1	Clause
c2	Clause
standardizeApart	bool
리턴	List

isValidMatch() 공개 메소드

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