A fuzzy Petri net tool for modeling and verification of knowledge-based systems

DOI10.1093/COMJNL/43.3.206MaRDI QIDQ2730082zbMATH OpenOpenAlexFDO

Authors Samir M. Koriem

Publication date 1 October 2001

Published in The Computer Journal. Section A Section B (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/43.3.206

zbMATH Keywords

knowledge-based systemsmodified fuzzy Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1304247
• scientific article; zbMATH DE number 1304251
• A fuzzy Petri net for knowledge representation and reasoning
• Knowledge representation and reasoning using fuzzy Pr/T net-systems
• scientific article; zbMATH DE number 1304249

Cited in

(5)

• Synthesis of fuzzy relations for knowledge based systems validation
• A high level net approach for discovering potential inconsistencies in fuzzy knowledge bases
• scientific article; zbMATH DE number 1304247 (Why is no real title available?)
• scientific article; zbMATH DE number 1782375 (Why is no real title available?)
• scientific article; zbMATH DE number 959019 (Why is no real title available?)

This page was built for publication: A fuzzy Petri net tool for modeling and verification of knowledge-based systems

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