Anomalia Sussmana

Anomalia Sussmana to problem sztucznej inteligencji , po raz pierwszy opisany przez Geralda Sussmana , który ilustruje słabość algorytmów planowania bez przeplotu , które były widoczne na początku lat 70. Większość nowoczesnych systemów planowania nie ogranicza się do planowania bez przeplotu i dlatego może obsłużyć tę anomalię. Chociaż znaczenie/wartość problemu jest obecnie kwestią historyczną, nadal jest przydatne do wyjaśnienia, dlaczego planowanie nie jest trywialne. W zadaniu trzy klocki (oznaczone A, B i C) leżą na stole. Agent musi układać klocki w taki sposób, aby A znajdował się na szczycie B, który z kolei znajduje się na szczycie C. Jednak może przesuwać tylko jeden blok na raz. Problem zaczyna się od B na stole, C na A i A na stole:

Sussman-anomaly-1.svg

Jednak planiści bez przeplotu zwykle dzielą cel (stos A na szczycie B na szczycie C) na cele podrzędne, takie jak:

  1. dostać A na B
  2. zdobądź B na C

Załóżmy, że planista zaczyna od realizacji Celu 1. Prostym rozwiązaniem jest usunięcie C z drogi, a następnie przeniesienie A na B. Ale podczas gdy ta sekwencja osiąga Cel 1, agent nie może teraz dążyć do Celu 2 bez cofnięcia Celu 1, ponieważ oba A a B należy przesunąć na wierzch C:

Sussman-anomaly-2.svg

Jeśli zamiast tego planista zaczyna od Celu 2, najskuteczniejszym rozwiązaniem jest ruch B. Ale ponownie, planista nie może dążyć do Celu 1 bez cofnięcia Celu 2:

Sussman-anomaly-3.svg

Problem został po raz pierwszy zidentyfikowany przez Sussmana w ramach jego badań doktoranckich. Sussman (i jego przełożony Marvin Minsky ) uważali, że wywiad wymaga listy wyjątków lub sztuczek, i opracowali modułowy system planowania do „debugowania” planów.

Zobacz też

Źródła

  •   Russell, Stuart J .; Norvig, Peter (2003), Sztuczna inteligencja: nowoczesne podejście (wyd. 2), Upper Saddle River, New Jersey: Prentice Hall, s. 414, ISBN 0-13-790395-2
  • GJ Sussman (1975) Komputerowy model nabywania umiejętności Elsevier Science Inc. Nowy Jork, NY, USA. Wersja książkowa jego pracy doktorskiej.