Zautomatyzowany matematyk - Automated Mathematician

Automated Matematyk (AM) jest jednym z pierwszych udanych systemów wykrywania . Został stworzony przez Douglasa Lenata w Lisp , aw 1977 roku Lenat otrzymał nagrodę IJCAI Computers and Thought Award .

AM pracował nad generowaniem i modyfikowaniem krótkich programów Lispa, które były następnie interpretowane jako definiujące różne koncepcje matematyczne; na przykład program, który testował równość między długościami dwóch list, był uważany za reprezentujący pojęcie równości liczbowej, podczas gdy program, który utworzył listę, której długość była iloczynem długości dwóch innych list, był interpretowany jako reprezentujący pojęcie mnożenie. System posiadał rozbudowaną heurystykę wyboru programów do rozszerzenia i modyfikacji, opartą na doświadczeniach pracujących matematyków w rozwiązywaniu problemów matematycznych.

Spór

Lenat twierdził, że system składa się z setek struktur danych zwanych „konceptami” wraz z setkami „reguł heurystycznych” i prostym przepływem kontroli: „AM wielokrotnie wybiera najważniejsze zadanie z programu i próbuje je wykonać. to cała struktura kontrolna! ” Jednak reguły heurystyczne nie zawsze były przedstawiane jako oddzielne struktury danych; niektóre musiały być powiązane z logiką przepływu sterowania. Niektóre reguły miały warunki wstępne, które zależały od historii lub w inny sposób nie można ich było przedstawić w ramach wyraźnych reguł.

Co więcej, opublikowane wersje zasad często zawierają niejasne terminy, które nie są dalej zdefiniowane, takie jak „Jeśli dwa wyrażenia są strukturalnie podobne, …” (Reguła 218) lub „… zastąp uzyskaną wartość inną ( bardzo podobna) wartość… ”(zasada 129).

Innym źródłem informacji jest użytkownik, zgodnie z regułą 2: „Jeśli użytkownik niedawno odwołał się do X, zwiększ priorytet wszystkich zadań związanych z X.” Dlatego wydaje się całkiem możliwe, że znaczna część prawdziwej pracy odkrywczej jest pogrzebana w niewyjaśnionych procedurach.

Lenat twierdził, że system na nowo odkrył zarówno przypuszczenie Goldbacha, jak i podstawowe twierdzenie arytmetyki . Później krytycy zarzucali Lenatowi nadinterpretację dorobku AM. W swoim artykule Dlaczego AM i Eurisko wydają się działać , Lenat przyznał, że każdy system, który generował wystarczająco krótkie programy w Lispie, generowałby takie, które mogłyby być interpretowane przez zewnętrznego obserwatora jako reprezentujące równie wyrafinowane koncepcje matematyczne. Twierdził jednak, że ta właściwość jest sama w sobie interesująca – i że obiecującym kierunkiem dalszych badań byłoby poszukiwanie innych języków, w których krótkie losowe ciągi mogą być przydatne.

Następca

Ta intuicja była podstawą następcy AM, Eurisko , który próbował uogólnić poszukiwanie pojęć matematycznych na poszukiwanie użytecznych heurystyk .

Zobacz też

Bibliografia

Linki zewnętrzne