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

Inheritance: AbstractModulation

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

Public Methods

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

Method Details

Paramodulation() public method

public Paramodulation ( ) : System
return	System

apply() public method

public apply ( Clause c1, Clause c2 ) : List
c1	Clause
c2	Clause
return	List

apply() public method

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

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