The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - September (1991 vol.3)
pp: 281-292
ABSTRACT
<p>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.</p>
INDEX TERMS
Petri net model; reasoning; inconsistency; queries; logic programs; query processing; logic programming; classical logic; large expert systems; expert systems; inference mechanisms; logic programming; Petri nets; query languages
CITATION
T. Murata, V.S. Subrahmanian, T. Wakayama, "A Petri Net Model for Reasoning in the Presence of Inconsistency", IEEE Transactions on Knowledge & Data Engineering, vol.3, no. 3, pp. 281-292, September 1991, doi:10.1109/69.91059
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool