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

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

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

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

Описание методов

Demodulation() публичный метод

public Demodulation ( ) : System
Результат System

apply() публичный метод

public apply ( TermEquality assertion, AtomicSentence expression ) : AtomicSentence
assertion AIMA.Core.Logic.FOL.Parsing.AST.TermEquality
expression AtomicSentence
Результат AtomicSentence

apply() публичный метод

public apply ( TermEquality assertion, Clause clExpression ) : Clause
assertion AIMA.Core.Logic.FOL.Parsing.AST.TermEquality
clExpression Clause
Результат Clause

isValidMatch() публичный метод

public isValidMatch ( Term toMatch, List toMatchVariables, Term possibleMatch, Term>.Dictionary substitution ) : bool
toMatch Term
toMatchVariables List
possibleMatch Term
substitution Term>.Dictionary
Результат bool