Schlußfolgerungsmaschine

Diesem Artikel fehlen folgende wichtige Informationen: Der Artikel erklärt wenig (um welche Schlussregeln geht es?), leidet zudem unter den gleichen Mängeln wie der entsprechende - wesentlich ausführlichere - Artikel in en: Eigentlich eher ein Löschkandidat... Du kannst Wikipedia helfen, indem du sie recherchierst und einfügst.

Eine Inferenzmaschine (englisch Inference engine) ist eine Software aus dem Bereich der künstlichen Intelligenz, die durch Schlussfolgerung neue Aussagen aus einer bestehenden Wissensbasis ableitet. Damit sind Inferenzmaschinen Kernbestandteil von Expertensystemen und anderen wissensbasierten Systemen.

Um neues Wissen aus den ihr bekannten Fakten zu generieren, stehen der Inferenzmaschine 5 Inferenzregeln zur Verfügung.

Siehe auch

• Logische Programmierung, Prolog (Programmiersprache)
• Aussagenlogik, Prädikatenlogik