A linear control algorithm for a class of rule-based systems

DOI10.1016/0743-1066(91)90015-HMaRDI QIDQ3983122zbMATH OpenFDO

Authors Malik Ghallab, Gonzalo Escalada-Imaz

Publication date 27 June 1992

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(91)90015-H

zbMATH Keywords

control algorithmrule-based systemsextended non-Horn formHorn-clause typemonotonic inference

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 825175
• Synthesis of a control algorithm in a system of production rules with time parameter
• scientific article; zbMATH DE number 4170744
• Logical foundations for rule-based systems.
• Controlling backward inference

Cited in

(8)

• Algorithms for solution inference based on unified logical control models
• scientific article; zbMATH DE number 67437 (Why is no real title available?)
• scientific article; zbMATH DE number 4106290 (Why is no real title available?)
• Controlling backward inference
• scientific article; zbMATH DE number 1343490 (Why is no real title available?)
• A fast consequence recognition algorithm for monadic logical programs
• A linear algorithm for renaming a set of clauses as a Horn set
• Unique Horn renaming and Unique 2-Satisfiability

This page was built for publication: A linear control algorithm for a class of rule-based systems

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