Seminarium będzie rozwinięciem pewnych wątków przedmiotu Sztuczna inteligencja, w szczególności zagadnienia uczenia ze wzmocnieniem, dowodzenia twierdzeń, sieci Bayesowskich, rozwiązywania więzów. Niektóre tematy wystąpień będą prezentacją klasycznych wyników, ale pojawią się rówwnież tematy nawiązyjące do obecnych badań naukowych z tej dziedziny.
W przypadku, gdy na seminarium zapisze się osoba nie mówiąca po polsku, wówczas zajęcia będą prowadzone w języku angielskim.