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. Książka jest skierowana nie tylko do studentów informatyki i matematyki, ale również innych kierunków, w tym także humanistycznych, gdyż kontynuowanie prac nad sztuczną inteligencją wymaga współpracy specjalistów z wielu dziedzin.