Abstract:A novel inference approach is presented based on knowledge Petri nets and resolution rules. First, a knowledge base is modeled as a knowledge Petri net, where logical clauses are represented by monitor places, called semantic places. Second, a resolution pair is defined to identify a pair of semantic places, which, corresponding to two clauses that can be resolved, can be used to generate a new place in the knowledge Petri net. Such a new place represents an unknown clause implied by the knowledge base. Third, a method is proposed to decide whether a resolution inference is redundant based on the resolution pair. The size of a knowledge Petri net can be reduced, and the inference computation is saved in this way. Fourth, an inference algorithm is proposed employing the resolution pair and knowledge Petri net, proven to be sound and complete. Its computational complexity is polynomial with respect to the number of logical variables and clauses. In addition, another inference algorithm is developed for a given complete knowledge base and a set of newfound clauses. The algorithm is proven to be sound and complete, which offers significantly reduced computational complexity and specifically is linear concerning the number of new clauses. Finally, the wumpus world problem is taken as an example to illustrate and verify the proposed inference algorithms.

A Petri Net Approach for Logical Inference of Clauses

Logical Inference of Clauses Based on Petri Net Models

Petri Net Models and Efficient T-invariant Analysis for Logical Inference of Clauses

Logical inference of clauses in Petri net models using fixpoint

A Petri-Net Model For Nonmonotonic Reasoning Based On Annotated Logic Programs

Complete inference via knowledge Petri nets and resolution rules

Colored Knowledge Petri Nets and Logical Inference

A Categorical Linear Framework for Petri Nets

A Petri Net Model for Probabilistic Logic

Neural networks and logical reasoning systems: a translation table

Extended Interval Temporal Logic for Undetermined Interval: Modeling and Linear Inference Using Time Petri Nets

Simulating Petri nets with Boolean Matrix Logic Programming

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

Recognizing Inference in Texts with Markov Logic Networks.

Modeling Probabilistic Logic Using Petri Nets

Petri nets: Properties, analysis and applications

Modeling, Consistency and Inference of Extended Interval Temporal Logic

Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net

P Systems and Petri Nets

Modeling and inference of extended interval temporal logic for nondeterministic intervals

Petri Net Based Descriptions for Systematic Understanding of Biological Pathways