A computational paradigm that integrates rule-based and model-based reasoning in expert systems

DOI10.1002/int.4550050202zbMath0706.68085MaRDI QIDQ3486878

Newton S. Lee

Publication date: 1990

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.4550050202

zbMATH Keywords

expert systems; unification algorithm; semantic unification; rule-based reasoning; model-based reasoning

Mathematics Subject Classification ID

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)