Anzeige
Erschienen in:
2005 | OriginalPaper | Buchkapitel
Petri Net and Matrix Representation of Rule Knowledge Base for Verification Task
verfasst von : Roman Siminski
Erschienen in: Intelligent Information Processing and Web Mining
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.