Journal of Computer Science and Technology

, Volume 11, Issue 2, pp 133–149 | Cite as

NNF and NNPrF — Fuzzy Petri Nets based on neural network for knowledge representation, reasoning and learning

  • Zhou Yi 
  • Wu Shilin 


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 reasoning 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.


Fuzzy Petri net system NNF NNPrF neural network forward reasoning backward reasoning learning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Looney C. Fuzzy Petri nets for rule-based decision making.IEEE Trans. on Syst., Man., 1988, (Jan.): 178–183.CrossRefGoogle Scholar
  2. [2]
    Peterka G, Murata T. Proof procedure and answer extraction in Petri net model of logic programs.IEEE Trans. on Software Engineering, 1989, 15(2): 209–217.zbMATHCrossRefMathSciNetGoogle Scholar
  3. [3]
    Lin Chuang. Application of Petri nets to logical inference of HORN clauses.Journal of Software, 1993, 4(4): 33–37.Google Scholar
  4. [4]
    Zhou Yi, Wu Shilin. The new ways of logic inference of Petri net based on resolution refutation. (accepted byChinese Journal of Computers)Google Scholar
  5. [5]
    Shen Qing, Tang Lin. The Introduction of Pattern Recognition. Press of the University of National Defense Science and Technology, May 1995.Google Scholar
  6. [6]
    He Xingui. Knowledge Processing and Expert System. Press of National Defense Industry, Sep. 1990.Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1996

Authors and Affiliations

  • Zhou Yi 
    • 1
  • Wu Shilin 
    • 1
  1. 1.Department of Computer ScienceFudan UniversityShanghai

Personalised recommendations