2006 | OriginalPaper | Chapter
Extending Decision Units Conception Using Petri Nets
Author : Roman Siminski
Published in: Intelligent Information Processing and Web Mining
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
The paper presented hereunder pays attention to discussion of the method of using the Petri nets as the modelling tool of the processes occurring during inference. This issue is a part of the project concerning the extension of decision units model to the possibilities of effective detection and visualisation of knowledge base verification results. The basic terms of Petri nets as well as the idea of using Petri nets as the modelling agent of rule knowledge base have been presented in this paper. The method of using Petri nets for modelling of the inference process has been also discussed in further part of this paper. Short discourse has been included in the summary to this paper on foreseen directions of Petri nets usage in verification of dynamic properties of rule knowledge bases as well as the possibilities of using Petri nets for extending the properties of decision units.