Od ponad pół wieku uczeni próbują zrealizować marzenie o skonstruowaniu sztucznego umysłu, który dorównywałby ludzkiemu mózgowi. Autor niniejszej książki krytycznie przygląda się próbom stworzenia sztucznej inteligencji bazującym na osiągnięciach logiki formalnej. Rozprawia się z licznymi nieporozumieniami i przesądami, które przez lata narosły wokół tego niezwykle intrygującego tematu. Dostarcza czytelnikowi informacji o przedmiocie badań nad sztuczną inteligencją, ich metodologii, historii i rezultatach, a także perspektywach rysujących się w tej dziedzinie.