Logic production systems: Analysis and synthesis

DOI10.1007/BF02366557zbMath0835.03007OpenAlexW2054227097MaRDI QIDQ1905167

V. I. Donskoy

Publication date: 22 April 1996

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

Full work available at URL: https://doi.org/10.1007/bf02366557

zbMATH Keywords

functional completenessdeductive systemsalgorithmic completenesslogical algorithmic deductive machinelogical productions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Turing machines and related notions (03D10) Thue and Post systems, etc. (03D03)