C# Класс AIMA.Core.Logic.Propositional.Algorithms.WalkSAT

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

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

Метод Описание
findModelFor ( String logicalSentence, int numberOfFlips, double probabilityOfRandomWalk ) : Model

Приватные методы

Метод Описание
getNumberOfClausesSatisfiedIn ( List clauses, Model model ) : int
getSymbolWhoseFlipMaximisesSatisfiedClauses ( List clauses, List symbols, Model model ) : Symbol

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

findModelFor() публичный Метод

public findModelFor ( String logicalSentence, int numberOfFlips, double probabilityOfRandomWalk ) : Model
logicalSentence String
numberOfFlips int
probabilityOfRandomWalk double
Результат Model