Turbo-Prolog - Einführung in die Anwendung

Meer over het boek

Die Künstliche Intelligenz beschäftigt sich mit der Nachbildung intelligenten menschlichen Verhaltens durch Computer. Ein Teilgebiet ist das Automatische Beweisen, bei dem die Tätigkeit des Beweisens mathematischer Aussagen simuliert wird. Hierbei wird untersucht, ob eine Formel der Prädikatenlogik mechanisch aus vorgegebenen Formeln abgeleitet werden kann. Ein Prolog-Interpreter oder -Compiler fungiert als solches Beweisprogramm, wobei das Prolog-Programm selbst als Wissensbasis dient. Prolog ist ein dialogorientiertes System, in dem der Benutzer ein Problem oder eine Frage stellt und eine Antwort erhält, nachdem das Inferenzverfahren die Ableitbarkeit aus der Wissensbasis geprüft hat. Prolog ist eine deskriptive Programmiersprache, die ein Problem nur beschreibt und die Grundregeln sowie -bedingungen angibt, ohne Schritt für Schritt vorzugeben, wie eine Lösung zu finden ist. Ein wissensbasiertes System besteht aus mindestens einer Wissensbasis und einem Inferenzmechanismus. Jedes Prolog-Programm zusammen mit seinem Interpreter oder Compiler kann als wissensbasiertes System betrachtet werden, wobei das Programm die Wissensbasis und das Prolog-System den Inferenzmechanismus bereitstellt. Ein Expertensystem simuliert die Problemlösefähigkeit eines Experten.