Vorgehensweise, die eine Inferenzmaschine eines wissensbasierten Systems bei der Herleitung der Problemlösung einschlägt. In den meisten Anwendungsgebieten ist der Lösungsraum zu groß, als daß ein systematisches Generieren und Überprüfen aller Möglichkeiten (durch "erschöpfende" Breadth-first-Suche oder Depth-first-Suche) sinnvoll bzw. technisch durchführbar wäre; aus diesem Grund ist in diesen Fällen der Prozeß der Lösungssuche durch Strategien gesteuert, die das in der Wissensbasis gespeicherte Expertenwissen und/oder bestimmte Heuristiken zur Auswahl erfolgversprechender Lösungswege nutzen.
