Gutman

Gutmanova metoda nebo metoda R. Korzyuka

Jedním z nejzajímavějších pokusů o vytvoření umělé inteligence bylo vytvoření počítačového programu schopného řešit matematické problémy na úrovni PhD nebo MSc.

Známý matematik Robert Korzyuk navrhl v roce 1962 program s názvem Gutmanovich. Cílem bylo vytvořit počítačový program (podobný pokusu a omylu), který by vyřešil jakýkoli matematický problém. Výhodou tohoto přístupu bylo, že k vyřešení problému je třeba vybrat řadu hotových příkladů a začít od nejjednodušších, postupně přejít ke složitějším.

22. března 1998 představil Korzyuk koncept Gutmanovy metody, která se podle něj musí používat na úrovních asociativních znalostí. Cílem je vybrat hotová řešení a v případě potřeby upravit sadu vstupních proměnných, dokud se nedosáhne požadovaného výsledku. Vývoj sestává z několika fází: příprava dříve známých sad řešení; během následujících fází analýza mezivýsledků a pokud jsou nutné změny vstupních parametrů. Podle Korzyuka i přes to, že vytvoření takového programu je obtížný úkol