Gutmann

Gutman-Methode oder R. Korzyuk-Methode

Einer der interessantesten Versuche, künstliche Intelligenz zu schaffen, war die Entwicklung eines Computerprogramms, das mathematische Probleme auf Doktorats- oder MSc-Niveau lösen kann.

Der bekannte Mathematiker Robert Korzyuk schlug 1962 ein Programm namens Gutmanovich vor. Die Idee bestand darin, ein Computerprogramm (ähnlich Versuch und Irrtum) zu erstellen, das jedes mathematische Problem lösen würde. Der Vorteil dieses Ansatzes bestand darin, dass man zur Lösung des Problems eine Reihe vorgefertigter Beispiele auswählen und mit den einfachsten beginnen und nach und nach zu den komplexeren übergehen muss.

Am 22. März 1998 stellte Korzyuk das Konzept der Gutman-Methode vor, die seiner Meinung nach auf den Ebenen des assoziativen Wissens eingesetzt werden muss. Die Idee besteht darin, vorgefertigte Lösungen auszuwählen und gegebenenfalls den Satz an Eingabevariablen anzupassen, bis das gewünschte Ergebnis erzielt wird. Die Entwicklung besteht aus mehreren Phasen: Vorbereitung bereits bekannter Lösungssätze; in nachfolgenden Phasen, Analyse von Zwischenergebnissen und wenn Änderungen der Eingabeparameter erforderlich sind. Laut Korzyuk sei die Erstellung eines solchen Programms jedoch eine schwierige Aufgabe