Inference approach based on Petri nets

DOI10.1016/J.INS.2020.09.023MaRDI QIDQ2056355zbMATH OpenOpenAlexFDO

Authors KaiCheng Tan, HuaiJu Luo, Jiliang Luo, MengChu Zhou

Publication date 2 December 2021

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2020.09.023

zbMATH Keywords

artificial intelligenceinference methodPetri netspropositional logicswumpus world

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 4106816
• scientific article; zbMATH DE number 1304242
• A Petri net model for probabilistic logic
• Rough Sets and Current Trends in Computing
• Modeling fuzzy reasoning using high level fuzzy Petri nets

Cites work

• A Computing Procedure for Quantification Theory
• A machine program for theorem-proving
• A Machine-Oriented Logic Based on the Resolution Principle
• A new paradigm for uncertain knowledge representation by plausible Petri nets
• A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
• A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications
• A predicate-transition net model for parallel interpretation of logic programs
• Deadlock and liveness characterization for a class of generalized Petri nets
• Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
• Feedback control of Petri nets based on place invariants
• scientific article; zbMATH DE number 2088665 (Why is no real title available?)
• scientific article; zbMATH DE number 3902027 (Why is no real title available?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Logical Reasoning and Petri Nets
• On sentences which are true of direct unions of algebras
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Proof procedure and answer extraction in Petri net model of logic programs
• Resolution, Refinements, and Search Strategies: A Comparative Study
• Robust deadlock control of automated manufacturing systems with multiple unreliable resources
• Structural Controller for Logical Expression of Linear Constraints on Petri Nets

Cited in

(3)

• scientific article; zbMATH DE number 4106816 (Why is no real title available?)
• ML-TIPN: an algorithm for automated acquisition of domain models based on time interval Petri nets
• Complete inference via knowledge Petri nets and resolution rules

This page was built for publication: Inference approach based on Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2056355)