Modeling production rules by means of predicate transition networks

DOI10.1016/0020-0255(85)90039-8zbMath0565.68086OpenAlexW2048316890MaRDI QIDQ1058869

Lorenza Saitta, Attilio Giordana

Publication date: 1985

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(85)90039-8

zbMATH Keywords

reachabilityknowledge representationknowledge-based systemsknowledge baseinference engineproduction ruleshigh level Petri netspredicate transition net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence (68T99)

Related Items

Modeling rule-based systems by stochastic programmed production systems, Validation and verification of decision making rules, A high level net approach for discovering potential inconsistencies in fuzzy knowledge bases, Developing virtual environments for industrial training, Modelling and animating information systems dynamics

Cites Work

• A computational approach to fuzzy quantifiers in natural languages
• Automatic learning of fuzzy naming relations over finite languages
• System modelling with high-level Petri nets
• Fuzzy characterization of coronary disease
• A general approach to inference of context-free programmed grammars
• A non-left-to-right, non-directional parser for ambiguous lattices
• Quantified propositions in a linguistic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item