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

Inheritance: AbstractModulation

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

Public Methods

Method	Description
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

Method Details

Demodulation() public method

public Demodulation ( ) : System
return	System

apply() public method

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

apply() public method

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

isValidMatch() public method

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