This paper proposes NNF - a fuzzy Petri Net system based on neural network for proposition logic representation, and gives the formal definition of NNF. For the NNF model, forward reasoning algorithm, backward reason-...This paper proposes NNF - a fuzzy Petri Net system based on neural network for proposition logic representation, and gives the formal definition of NNF. For the NNF model, forward reasoning algorithm, backward reason-ing algorithm and knowledge learning algorithm are discussed based on weight training algorithm of neural network - Back Propagation algorithm. Thus NNF is endowed with the ability of learning a rule. The paper concludes with a discussion on extending NNF to predicate logic, forming NNPrF, and proposing the formal definition and a reasoning algorithm of NNPrF.展开更多
文摘This paper proposes NNF - a fuzzy Petri Net system based on neural network for proposition logic representation, and gives the formal definition of NNF. For the NNF model, forward reasoning algorithm, backward reason-ing algorithm and knowledge learning algorithm are discussed based on weight training algorithm of neural network - Back Propagation algorithm. Thus NNF is endowed with the ability of learning a rule. The paper concludes with a discussion on extending NNF to predicate logic, forming NNPrF, and proposing the formal definition and a reasoning algorithm of NNPrF.
