Abstract
The problem of verification of rule knowledge base covers the verification of dynamic properties, which reflect the processes occurring during inference. Process of detection of these anomalies requires modelling of dynamics of these processes. Suggested in previous papers the decision unit conception did not guarantee such a possibility. This paper gives attention to the analysis of possible use of Petri nets and incidence matrix as the way of representation of knowledge base. The paper presents the relation between Petri nets and decision units’ nets and simultaneously points at the possible use of Petri nets to develop the properties of decision units.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agarwal R., Tanniru M., A Petri-net approach for verifying the integrity of production systems, International Journal of Man-Machine Studies, 36(3), 1992.
Coenen F., An Advanced Binary Encoded Matrix Representation For Rulebase Verification, Journal of Knowledge Based Systems, vol. 8, no 4, 1995.
Coenen F., Rulebase Checking Using a Spatial Representation, 1998, available at: frans@uk.ac.liverpool.compsci
Coenen F. Bench-Capon T., Maintenance of Knowledge-Based Systems, Academic Press Inc., San Diego, 1993.
Nazareth D.L., Investigating the applicability of petri nets for rule-based system verification, IEEE Transactions on Knowledge and Data Engineering, 4(3), 1992.
Nazareth D.L., Kennedy M.H., Verification of Rule-Based Knowledge using Directed Graphs, Knowledge Acquisition, 3, 1991.
Preece A.D., Foundation and Application of Knowledge Base Verification, International, Journal of Intelligent Systems, 9, 1994.
Preece A.D., Methods for Verifying Expert System Knowledge Base, 1991, apreece@csd.abdn.ac.uk.
Siminski R., Wakulicz-Deja A., Verification of Rule Knowledge Bases Using Decision Units, Advances in Soft Computing, Intelligent Information Systems, Physica-Verlag, Springer Verlag Company, 2000.
Siminski R., O formalnym uzasadnieniu pewnego intuicyjnego algorytmu, [in polish:] Materiały Konferencji Systemy Wspomagania Decyzji, Zakopane, 3 5.12.2002.
Siminski R., Wakulicz-Deja A., kbBuilder — system wspomagania tworzenia i weryfikacji regulowych baz wiedzy, [in polish:] Materialy V-tej Konferencji Naukowej Inzynieria Wiedzy i Systemy Ekspertowe, Wroclaw, 13–15.06.2003.
Siminski R., Wakulicz-Deja A., Application of Decision Units in Knowledge Engineering, Lecture Notes in Artificial Intelligence, Springer-Verlag, Springer Verlag Company, 2004.
Siminski R., Wykrywanie anomalii w regulowych bazach wiedzy z wykorzystaniem macierzy incydencji, [in polish:] Statystyka i Informatyka w nauce i zarzadzaniu, Wydawnictwo WSZIM, Sosnowiec, 2004.
Szpyrka M, Ligeza A., Szmuc T., Badanie (weryfikacja) wlasnosci baz wiedzy z wykorzystaniem kolorowanych sieci Petriego, [in polish] Materialy IV Konferencji Inzynieria Wiedzy i Systemy Ekspertowe, Wroclaw 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Siminski, R. (2005). Petri Net and Matrix Representation of Rule Knowledge Base for Verification Task. In: Kłopotek, M.A., Wierzchoń, S.T., Trojanowski, K. (eds) Intelligent Information Processing and Web Mining. Advances in Soft Computing, vol 31. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-32392-9_69
Download citation
DOI: https://doi.org/10.1007/3-540-32392-9_69
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25056-2
Online ISBN: 978-3-540-32392-1
eBook Packages: EngineeringEngineering (R0)