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.

Logical inference of clauses in Petri net models using fixpoint

Logical Inference of Clauses Based on Petri Net Models

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

A Petri Net Approach for Logical Inference of Clauses

Petri net modeling analysis of processes at clutch time in NBA games

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

An Extension of the Linear Integer Program Approach for Controller Synthesis of Des Modeled by Petri Nets

Complete inference via knowledge Petri nets and resolution rules

Petri net modelling of Occam programs for detecting indeterminacy, non-termination and deadlock anomalies

Improved modeling algorithm of fuzzy Petri net for fuzzy reasoning

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

Normalized Cascade Structures And Logic Control

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

Modeling and inference of extended interval temporal logic for nondeterministic intervals

Consistent Fuzzy Petri Nets Model for Logic Programs with Negation

Colored Knowledge Petri Nets and Logical Inference

A Fixed-point Theorem for Horn Formula Equations

Modeling Probabilistic Logic Using Petri Nets

Modeling, Consistency and Inference of Extended Interval Temporal Logic

Intuitionistic Fixed Point Logic

A Petri Net Model for Probabilistic Logic