Ścieżka “Sztuczna inteligencja i logika”

Nasza przygoda to w rzeczywistości wielka herezja,
mamy pojąć istotę wiedzącą jako obliczająca maszynę.
Warren McCulloch (1948)

Jednym z filarów tworzącej się w Iszej połowie XXw. kognitywistyki było przekonanie, że za pomocą maszyn (komputerów) można osiągnąć wiele z efektów, które dotychczas osiągał jedynie człowiek z jego umysłem. Pierwotne pytanie Sztucznej inteligencji “Czy komputer może myśleć?” zastąpiło współcześnie pytanie o to, ile o umyśle ludzkim możemy się dowiedzieć dzięki komputerom właśnie. Zaawansowane architektury pozwalają na modelowanie teorii psychologicznych czy symulowanie działania mózgu.

Ścieżka “Sztuczna inteligencja i logika” pozwala studentom zapoznać się – w rozszerzonym zakresie – z podstawami logicznymi sztucznej inteligencji, metodami rozwiązywania problemów, poznać dokładnie specjalne języki programowania wykorzystywane w badaniach nad sztuczną inteligencją (LISP, PROLOG) czy zaawansowane architektury poznawcze (ACT, Soar, SNePS/GLAIR). Pod okiem specjalistów z Instytutu Informatyki studenci poznają i przećwiczą modelowanie funkcjonowania mózgu w postaci tzw. sieci neuronowych. Zwiększona liczba godzin laboratoryjnych i dostępna dla studentów poza godzinami zajęć Pracownia Komputerowa umożliwią studentom tej ścieżki samodzielne tworzenie elementów systemów poznawczych.

Przedmioty obowiązkowe wyłącznie dla ścieżki “Sztuczna inteligencja i logika”

• Logika formalna
• Technologie informacyjne – kurs rozszerzony (ang.)
• Programowanie I: LISP – kurs rozszerzony (ang.)
• Programowanie II: PROLOG – kurs rozszerzony (ang)
• Sieci neuronowe – kurs rozszerzony

Dodatkowo student:

• wybiera przedmioty fakultatywne, w tym przynajmniej 5 kursów dedykowanych ścieżce “sztuczna inteligencja i logika”
• odbywa 60 h zajęć na innych Wydziałach (wybór w porozumieniu z opiekunem naukowym)

Program studiów dla ścieżki “Sztuczna inteligencja i logika” do pobrania (PDF)