C# Class AIMA.Core.Logic.Propositional.Algorithms.WalkSAT

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

Public Methods

Method Description
findModelFor ( String logicalSentence, int numberOfFlips, double probabilityOfRandomWalk ) : Model

Private Methods

Method Description
getNumberOfClausesSatisfiedIn ( List clauses, Model model ) : int
getSymbolWhoseFlipMaximisesSatisfiedClauses ( List clauses, List symbols, Model model ) : Symbol

Method Details

findModelFor() public method

public findModelFor ( String logicalSentence, int numberOfFlips, double probabilityOfRandomWalk ) : Model
logicalSentence String
numberOfFlips int
probabilityOfRandomWalk double
return Model