For the most recent entries see the Petri Nets Newsletter.

A High Level Petri Net Model for Reasoning in the Presence of Inconsistency.

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

In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 431-450. 1990.

Abstract: Petri nets provide a framework for executing queries to logic programs. The authors 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 methoc proposed here suggests a robust way of preserving inconsistency from infecting a system and rendering it useless.

Keywords: high level net; reasoning (in the presence of) inconsistency; expert system.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography