Modeling uncertainty reasoning with possibilistic Petri nets

Manipulation of perceptions is a remarkable human capability in a wide variety of physical and mental tasks under fuzzy or uncertain surroundings. Possibilistic reasoning can be treated as a mechanism that mimics human inference mechanisms with uncertain information. Petri nets are a graphical and mathematical modeling tool with powerful modeling and analytical ability. The focus of this paper is on the integration of Petri nets with possibilistic reasoning to reap the benefits of both formalisms. This integration leads to a possibilistic Petri nets model (PPN) with the following features. A possibilistic token carries information to describe an object and its corresponding possibility and necessity measures. Possibilistic transitions are classified into four types: inference transitions, duplication transitions, aggregation transitions, and aggregation-duplication transitions. A reasoning algorithm, based on possibilistic Petri nets, is also presented to improve the efficiency of possibilistic reasoning and an example related to diagnosis of cracks in reinforced concrete structures is used to illustrate the proposed approach.

[1]  Arie Tzvieli.  Possibility theory: An approach to computerized processing of uncertainty , 1990, J. Am. Soc. Inf. Sci..

[2]  M. Umano,et al.  An expert system for damage assessment of a reinforced concrete bridge deck , 1991 .

[3]  T. Krauthammer,et al.  Combined Symbolic‐Numeric Explosion Damage Assessment for Structures , 1992 .

[4]  Jonathan Lee,et al.  A fuzzy Petri net-based expert system and its application to damage assessment of bridges , 1999, IEEE Trans. Syst. Man Cybern. Part B.

[5]  Lotfi A. Zadeh,et al.  From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions , 2005, Logic, Thought and Action.

[6]  Alexander H. Levis,et al.  Validation and verification of decision making rules , 1995, Autom..

[7]  Carl G. Looney,et al.  Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[8]  Peter Kemper.  Transient Analysis of Superposed GSPNs , 1999, IEEE Trans. Software Eng..

[9]  Amit Konar,et al.  Uncertainty Management in Expert Systems Using Fuzzy Petri Nets , 1996, IEEE Trans. Knowl. Data Eng..

[10]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[11]  Didier Dubois,et al.  The three semantics of fuzzy sets , 1997, Fuzzy Sets Syst..

[12]  Jin-Fu Chang,et al.  Knowledge Representation Using Fuzzy Petri Nets , 1990, IEEE Trans. Knowl. Data Eng..

[13]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[14]  Fabian C. Hadipriono,et al.  A rule-based fuzzy logic deduction technique for damage assessment of protective structures , 1991 .

[15]  Janette Cardoso,et al.  Possibilistic Petri nets , 1999, IEEE Trans. Syst. Man Cybern. Part B.

[16]  Jorge Lobo,et al.  An Extended Petri Net Model for Normal Logic Programs , 1995, IEEE Trans. Knowl. Data Eng..

[17]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[18]  Bo Li,et al.  Modeling probabilistic logic using Petri nets , 1996, 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929).

[19]  Lotfi A. Zadeh,et al.  Fuzzy logic = computing with words , 1996, IEEE Trans. Fuzzy Syst..

[20]  Piero P. Bonissone,et al.  Editorial: Reasoning with Uncertainty in Expert Systems , 1985, Int. J. Man Mach. Stud..

[21]  Ronald R. Yager,et al.  A reasoning algorithm for high-level fuzzy Petri nets , 1996, IEEE Trans. Fuzzy Syst..

[22]  Senén Barro,et al.  Fuzzy reasoning supported by Petri nets , 1994, IEEE Trans. Fuzzy Syst..

[23]  Dan C. Marinescu,et al.  Stochastic High-Level Petri Nets and Applications , 1988, IEEE Trans. Computers.

[24]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[25]  Jonathan Lee,et al.  BRIDGE DAMAGE ASSESSMENT THROUGH FUZZY PETRI NET BASED EXPERT SYSTEM , 2000 .

[26]  M Kushida,et al.  A KNOWLEDGE-BASED EXPERT SYSTEM APPLICATION IN STRUCTURAL SAFETY ASSESSMENT OF CONCRETE BRIDGES , 1993 .

[27]  H. Prade,et al.  Possibilistic logic , 1994 .

[28]  Ayaho Miyamoto,et al.  Development of Concrete Bridge Rating Prototype Expert System with Machine Learning , 1997 .

[29]  Didier Dubois,et al.  Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights , 1994, IEEE Trans. Knowl. Data Eng..

[30]  Jonathan Lee,et al.  A possibilistic-logic-based approach to integrating imprecise and uncertain information , 2000, Fuzzy Sets Syst..

[31]  Hitoshi Furuta,et al.  Knowledge-based expert system for damage assessment based on fuzzy reasoning , 1991 .

[32]  Timothy J. Ross,et al.  DAPS: Expert System for Structural Damage Assessment , 1990 .

[33]  Fu-Ping Cheng,et al.  Fuzzy PATTERN RECOGNITION MODEL FOR DIAGNOSING CRACKS IN RC STRUCTURES , 1998 .

[34]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[35]  Hitoshi Furuta,et al.  A Fuzzy Expert System for Damage Assessment Using Genetic Algorithms and Neural Networks , 1996 .

[36]  Jérôme Lang.  Semantic Evaluation in Possibilistic Logic, Application to Min-Max Discrete Optimisation Problems , 1990, IPMU.

[37]  Tadao Murata,et al.  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs , 1988, IEEE Trans. Software Eng..

[38]  Chih-Hung Wu,et al.  Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems , 1997, IEEE Trans. Syst. Man Cybern. Part B.