KPN: a Petri net model for general knowledge representation and reasoning

KPN: a Petri net model for general knowledge representation and reasoning

In this paper, KPN (Knowledge Petri Net), a unified Petri net model for atemporal and temporal knowledge representation and reasoning, is presented. In the model, logical, causal, uncertain/imprecise, and temporal knowledge are represented in a coherent way. Based on T-invariant computation (a class...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Yu, Shengke, Hsu, Wynne, Pung, Hung-Keng
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Algorithm design and analysis
Artificial intelligence
Biomedical monitoring
Computer science
Information systems
Knowledge based systems
Knowledge representation
Linear algebra
Petri nets
Real time systems
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper, KPN (Knowledge Petri Net), a unified Petri net model for atemporal and temporal knowledge representation and reasoning, is presented. In the model, logical, causal, uncertain/imprecise, and temporal knowledge are represented in a coherent way. Based on T-invariant computation (a classical linear algebra analysis technique of Petri nets), an efficient and simple algorithm for reasoning on KPN nets is also proposed. The model is the first attempt to handle both atemporal and temporal knowledge within a Petri net framework.
ISSN:1062-922X
2577-1655
DOI:10.1109/ICSMC.1998.725406