DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE

DOI10.1080/01969729008902234zbMath0728.68126OpenAlexW2021634589WikidataQ124792479 ScholiaQ124792479MaRDI QIDQ3352551

Francesc Ribas, Karmelo Urzelai, Francisco J. Garijo

Publication date: 1990

Published in: Cybernetics and Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/189524

zbMATH Keywords

design and implementationreasoning enginecontrol knowledgeFlorian rule languageObject-level rules

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Abstract data types; algebraic specification (68Q65)

Cites Work

• Prolegomena to a theory of mechanized formal reasoning
• Unnamed Item
• Unnamed Item

This page was built for publication: DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE