Decision supporting system based on fuzzy default reasoning

Introducing fuzzy default logic into WalkSAT algorithm

“…The previous works of the first author concerning SAT solving problems [12] pointed out parallel relationship between SAT solving and non-monotonic reasoning [6]. FDL formalism defined in [6] is based on such non-standard inference scheme that allows invalidating some hypotheses during the inference process.…”

“…FDL formalism defined in [6] is based on such non-standard inference scheme that allows invalidating some hypotheses during the inference process. This paper does not address detailed description of FDL, which is given in [6]. However, only two crucial elements of the technique, i.e.…”

“…the fuzzy hypothesis and FDR inference rule are recalled below. [6] is defined as the following vector:…”

“…The paper is organized as follows: the section 2 briefly recalls the FDL inference mechanism [6]; the section 3 gives the background of the approach: it formulates the searching problem and recalls CNF-SAT format, basic WalkSAT algorithm and introduces definition of cliques; the section 4 presents the proposed modifications of the WalkSAT methodology called JumpSAT, which introduces multi-variable flipping and limiting the searching space mechanisms. The last two sections discuss obtained results and present some concluding remarks and point out some issues for further research.…”

“…The presented paper introduces yet another technique that combines formal logical methodology fuzzy default logic [6] and well-known SAT solving methodology -WalkSAT [2].…”