Sztuczna inteligencja i logika

Książka Andrzeja Kisielewicza poświęcona związkom między badaniami nad sztuczną inteligencją a logiką formalną. Od ponad pół wieku uczeni starają się urzeczywistnić ideę sztucznego umysłu dorównującego ludzkiemu mózgowi. Autor krytycznie analizuje te próby, które opierają się na osiągnięciach logiki, i rozprawia się z nieporozumieniami oraz przesądami, jakie przez lata narosły wokół tego tematu.

Czytelnik znajdzie tu omowienie przedmiotu badań nad sztuczną inteligencją, stosowanej w nich metodologii, historii dyscypliny i uzyskanych rezultatów, a także perspektyw rysujących się przed tą dziedziną. Wywód pokazuje zarówno możliwości, jak i ograniczenia podejścia formalnego.

Publikacja jest przeznaczona dla studentów informatyki i matematyki, ale także innych kierunków, w tym humanistycznych. Autor podkreśla bowiem, że dalsze prace nad sztuczną inteligencją wymagają współdziałania specjalistów z wielu obszarów wiedzy.