Fuzzy knowledge searching on the basis of the traditional and-or graph search algorithm
COMPUTER MODELLING & NEW TECHNOLOGIES 2015 19(2A) 7-12
School of mathematics and Statistics Jishou University, China
Based on the fuzzy propositional logic FLCOM and fuzzy set FSCOM, we research the formal denotation, inference and computation of fuzzy knowledge. We extend the fuzzy and-or graph, turn the propositional formulas as state nodes, express the logical rules as the search space, construct and-or graph of the fuzzy propositional formula. We modify heuristic function on the basis of the traditional and-or graph search algorithm, and give out a method to process negation information in the process of reasoning, transforming the fuzzy knowledge reasoning into the state space searching problem, and using the state space searching to solve the problem of fuzzy knowledge reasoning.