Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
暂无分享,去创建一个
Jeffrey J. P. Tsai | Stephen J. H. Yang | Chyun-Chyi Chen | Stephen J. H. Yang | J. Tsai | Chyun-Chyi Chen
[1] Jorge Lobo,et al. A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic , 1996, IEEE Trans. Knowl. Data Eng..
[2] Peter L. Hammer,et al. Essential and redundant rules in Horn knowledge bases , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.
[3] Kurt Jensen. Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.
[4] William C. Chu,et al. A new approach to verify rule-based systems using petri net , 2003, Inf. Softw. Technol..
[5] Pedro Meseguer,et al. A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach , 1990, ECAI.
[6] Derek L. Nazareth,et al. Investigating the Applicability of Petri Nets for Rule-Based System Verification , 1993, IEEE Trans. Knowl. Data Eng..
[7] C. G. Looney,et al. Logical controls via Boolean rule matrix transformations , 1987, IEEE Transactions on Systems, Man, and Cybernetics.
[8] Mysore Ramaswamy,et al. Using Directed Hypergraphs to Verity Rule-Based Expert Systems , 1997, IEEE Trans. Knowl. Data Eng..
[9] Edward H. Shortliffe,et al. An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..
[10] William C. Chu,et al. Rule base verification using Petri nets , 1998, Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241).
[11] Senén Barro,et al. Fuzzy reasoning supported by Petri nets , 1994, IEEE Trans. Fuzzy Syst..
[12] Tadao Murata,et al. Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs , 1989, IEEE Trans. Software Eng..
[13] Jonathan Lee,et al. A fuzzy Petri nets based mechanism for fuzzy rules reasoning , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).
[14] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[15] Lotfi A. Zadeh,et al. The Calculus of Fuzzy If/Then Rules , 1992, Fuzzy Days.
[16] Chih-Hung Wu,et al. A token-flow paradigm for verification of rule-based expert systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.
[17] Tin A. Nguyen,et al. Knowledge base verification , 1987 .
[18] Derek L. Nazareth,et al. Issues in the Verification of Knowledge in Rule-Based Systems , 1989, Int. J. Man Mach. Stud..
[19] Walton A. Perkins,et al. Reasoning About Fault Diagnosis with LES , 1986, IEEE Expert.
[20] Dan C. Marinescu,et al. Logical Inference of Horn Clauses in Petri Net Models , 1993, IEEE Trans. Knowl. Data Eng..
[21] Jin-Fu Chang,et al. Knowledge Representation Using Fuzzy Petri Nets , 1990, IEEE Trans. Knowl. Data Eng..
[22] Gabriel Valiente,et al. Verification of knowledge base redundancy and subsumption using graph transformations , 1993 .
[23] William C. Chu,et al. A new approach to verify rule-based systems using Petri nets , 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).
[24] 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.
[25] Arthur C. Sanderson,et al. Task sequence planning using fuzzy Petri nets , 1995, IEEE Trans. Syst. Man Cybern..
[26] James Nga-Kwok Liu,et al. An approach towards the verification of expert systems using numerical petri nets , 1991, Int. J. Intell. Syst..
[27] V. S. Subrahmanian,et al. A Petri Net Model for Reasoning in the Presence of Inconsistency , 1991, IEEE Trans. Knowl. Data Eng..
[28] Mohan Tanniru,et al. A Petri-Net Based Approach for Verifying the Integrity of Production Systems , 1992, Int. J. Man Mach. Stud..
[29] Chih-Hung Wu,et al. Knowledge Verification with an Enhanced High-Level Petri-Net Model , 1997, IEEE Expert.
[30] Du Zhang,et al. PREPARE: A Toll for Knowledge Base Verification , 1994, IEEE Trans. Knowl. Data Eng..
[31] Tadao Murata,et al. A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs , 1988, IEEE Trans. Software Eng..
[32] Simon C. K. Shiu,et al. An approach towards the verification of hybrid rule/frame-based expert systems using coloured Petri nets , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.
[33] Ronald R. Yager,et al. A reasoning algorithm for high-level fuzzy Petri nets , 1996, IEEE Trans. Fuzzy Syst..
[34] James L. Peterson,et al. A Note on Colored Petri Nets , 1980, Inf. Process. Lett..
[35] Lotfi A. Zadeh,et al. Fuzzy logic and the calculus of fuzzy if-then rules , 1992, [1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic.
[36] Toshinori Munakata,et al. Fuzzy systems: an overview , 1994, CACM.
[37] Carl G. Looney,et al. Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..
[38] Amit Konar,et al. Uncertainty Management in Expert Systems Using Fuzzy Petri Nets , 1996, IEEE Trans. Knowl. Data Eng..
[39] Syed I. Ahson. Petri net models of fuzzy neural networks , 1995, IEEE Trans. Syst. Man Cybern..