C# Класс AIMA.Core.Logic.FOL.Inference.Paramodulation

Наследование: AbstractModulation

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод	Описание
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