A Petri Net Model for Reasoning in the Presence of Inconsistency

Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama

Research output: Contribution to journalArticlepeer-review

40 Scopus citations

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 Murata and Zhang. In this paper, we show 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 may be inconsistent in classical logic. This is interesting because large expert systems may often contain inconsistent information. The Petri net method proposed here suggests a robust way of preventing inconsistency from infecting a system and rendering it useless.

Original languageEnglish (US)
Pages (from-to)281-292
Number of pages12
JournalIEEE Transactions on Knowledge and Data Engineering
Volume3
Issue number3
DOIs
StatePublished - Sep 1991
Externally publishedYes

ASJC Scopus subject areas

  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics

Fingerprint

Dive into the research topics of 'A Petri Net Model for Reasoning in the Presence of Inconsistency'. Together they form a unique fingerprint.

Cite this