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

Author

Yu, Shengke ; Hsu, Wynne ; Pung, Hung-Keng

Author_Institution

Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore

Volume

1

fYear

1998

fDate

11-14 Oct 1998

Firstpage

184

Abstract

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.

Keywords

Petri nets; knowledge representation; linear algebra; temporal reasoning; KPN; Knowledge Petri Net; Petri Net model; T-invariant computation; atemporal knowledge representation; classical linear algebra analysis technique; general knowledge representation; reasoning; temporal knowledge representation; Algorithm design and analysis; Artificial intelligence; Biomedical monitoring; Computer science; Information systems; Knowledge based systems; Knowledge representation; Linear algebra; Petri nets; Real time systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on

ISSN

1062-922X

Print_ISBN

0-7803-4778-1

Type

conf

DOI

10.1109/ICSMC.1998.725406

Filename

725406