Abstract
There has been much focus on applying graphical techniques to analyse various kinds of structural errors in knowledge bases as a method of verification and reliability estimation. The most commonly applied technique has been Petri nets, or variations thereof, in achieving this objective with much success. However, although this approach has been considerably useful for verifying rules in earlier generations of knowledge-based systems, it is unclear if this approach can continue to be as useful, or indeed accessible, for verifying current or later generations of KBS, which have significantly larger, more complex, probabilistic rule sets. It has recently been argued that stochastic Petri nets can be successfully applied to continue with knowledge base verification, although, this method has required extensive and complex modifications that has led into proposals for fuzzy Petri nets. It is the view of this paper that the stochastic activity network formalism can provide a potentially useful alternative for the verification of fuzzy rule sets and can be more efficient and effective than complex derivatives of Petri nets. We present a high-level discussion of how this approach could be applied and used to analyse knowledge bases in ensuring that there are free of structural errors.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Agarwal, R., Tanniru, M.: A petri-net based approach for verifying the integrity of production systems. Int. J. Man-Mach. Stud. 36(3), 447–468 (1992)
Ahson, S.: Petri net models of fuzzy neural networks. IEEE Trans. Syst. Man Cybern. 25(6), 926–932 (1995)
Bugarin, A.J., Barro, S.: Fuzzy reasoning supported by petri nets. IEEE Trans. Fuzzy Syst. 2(2), 135–149 (1994)
Cao, T., Sanderson, A.C.: Task sequence planning using fuzzy petri nets. IEEE Trans. Syst. Man Cybern. 25(5), 755–768 (1995)
Chen, S.M., Ke, J.S., Chang, J.F.: Knowledge representation using fuzzy petri nets. IEEE Trans. Knowl. Data Eng. 2(3), 311–319 (1990)
Hammer, P.L., Kogan, A.: Essential and redundant rules in horn knowledge bases. In: IEEE Proceeding of 28th Hawaii International Conference System Sciences, pp. 209–218 (1995)
Wu, C.H., Lee, S.J.: A token-flow paradigm for verification of rule-based expert systems. IEEE Trans. Knowl. Data Eng. 30(4), 616–624 (2000)
Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Knowledge base verification. AI Mag. 49, 69–75 (1987)
Jensen, K.: Coloured petri nets: a high level language for system design and analysis. In: Jensen, K., Rozenberg, G. (eds.): High-Level Petri Nets, pp. 44–122 (1991)
Konar, A., Mandal, A.K.: Uncertainty management in expert systems using fuzzy petri nets. IEEE Trans. Knowl. Data Eng. 8(1), 96–105 (1996)
Laffey, T.J., Perkins, W.A., Nguyen, T.A.: Reasoning about fault diagnosis with LES. Proc. IEEE 1(1), 13–20 (1986)
Lin, C., Chaudhury, A., Whinston, A.B., Marinescu, D.C.: Logical inference of horn clauses in petri net models. IEEE Trans. Knowl. Data Eng. 5(3), 416–425 (1993)
Liu, N.K., Dillon, T.: An approach towards the verification of expert systems using numerical petri nets. Int. J. Intell. Syst. 6, 255–276 (1991)
Looney, C.G., Alfize, A.R.: Logical control via Boolean rule matrix transformation. IEEE Trans Syst. Man Cybern. 17(6), 1077–1082 (1987)
Looney, C.G.: Fuzzy petri nets for rule-based decisionmarking. IEEE Trans. Syst. Man Cybern. 18(1), 178–183 (1988)
Acknowledgements
The authors would like to thank Siemens and EPSRC for their support in this PhD project and for the support of Newcastle University.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Martin, L., Romanovsky, A. (2017). Stochastic Activity Networks for the Verification of Knowledge Bases. In: Romanovsky, A., Troubitsyna, E. (eds) Software Engineering for Resilient Systems. SERENE 2017. Lecture Notes in Computer Science(), vol 10479. Springer, Cham. https://doi.org/10.1007/978-3-319-65948-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-65948-0_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-65947-3
Online ISBN: 978-3-319-65948-0
eBook Packages: Computer ScienceComputer Science (R0)