A Petri net model for reasoning in the presence of inconsistency

Author

Murata, Tadao ; Subrahmanian, V.S. ; Wakayama, Toshiro

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Univ. of Illinois, Chicago, IL, USA

Volume

3

Issue

3

fYear

1991

fDate

9/1/1991 12:00:00 AM

Firstpage

281

Lastpage

292

Abstract

Petri nets provide a promising framework for executing queries to logic programs. Petri net models for query processing in logic programming were initially developed by T. Murata and D. Zhang (IEEE Trans. Software Eng., vol.14, no.4, p.481-97, 1988). It is shown how this framework can be extended to be applicable to reasoning in the presence of inconsistency. This yields a Petri net model of programs that be inconsistent in classical logic. This is interesting because large expert systems may often contain inconsistent information. The Petri net method proposed suggests a robust way of preventing inconsistency from infecting a system and rendering it useless

Keywords

Petri nets; expert systems; inference mechanisms; logic programming; query languages; Petri net model; classical logic; inconsistency; large expert systems; logic programming; logic programs; queries; query processing; reasoning; Computer science; Expert systems; Humans; Logic programming; Petri nets; Programming profession; Query processing; Robustness;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.91059

Filename

91059