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

Inheritance: AbstractModulation

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

Méthodes publiques

Méthode	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 méthode

public Demodulation ( ) : System
Résultat	System

apply() public méthode

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

apply() public méthode

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

isValidMatch() public méthode

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