Sztuczna Inteligencja [0800-SZIN] |
Uprzejmie informuję, że w semestrze letnim 2026 roku prowadzę przez jeden semestr (30 godzin +24 godz laboratoria) wykład kursowy "Sztuczna Inteligencja", kod [0800-SZIN].
Wykłady odbywają się we wtorki, godz. 16:00-18:00, w sali B.2.30 Instytutu Fizyki UMK.
Z powodu licznych konferencji związanych z AI
kilka wykładów zrobimy być może w innym terminie lub zdalnie na moim TEAMS.
Proszę śledzić emaile wysyłane przez USOS. Jeśli są osoby, które nie są wpisane do USOS proszę mi podesłać informację.
Zajęcia mają aż 6 punktów ECTS.
W tym roku musimy radykalnie przeorganizować nasze zajęcia.
Wstępne informacje o symbolicznym podejściu do AI (GOFAI) zostaną skrócone, spróbujemy znacznie więcej omawiać ostatnich doniesień. Zbieram nowości na moim Filpboard w kilku kategoriach, niektóre będę omawiał na wykładzie.
Wykładom towarzyszy pracownia komputerowa (24 godziny), prowadzona przez
prof. Oleksandar Sokolova (czwartek, 10-12 i 14-16) i przez prof. Tomasza Piotrowskiego (poniedziałek, 10-12) z Katedry Informatyki Stosowanej.
Informacje z
USOS są tutaj.
Jeśli będzie taka potrzeba możemy też założyć forum dyskusyjne w Moodle.
Egzamin będzie w formie pisemnej, na końcu wielu wykładów są przykładowe ogólne pytania, na egzaminie mogą być bardziej szczegółowe. Bez szczegółowego przestudiowania notatek nie ma szans, by ten egzamin zdać. Przekonują się o tym co roku kolejni studenci. Ponieważ egzamin będzie pisemny (mieszanie ustnych i pisemnych egzaminów nie pozwala na ich standaryzację), nie ma możliwości zdawania w innym terminie, ani przekładania, ani też zdawania po raz trzeci czy czwarty, aż do skutku. Przygotowanie i przeprowadzenie egzaminu zajmuje mi czas, a mam go bardzo mało. Nie będzie więc żadnych dodatkowych terminów!
Nie będzie więc żadnych dodatkowych terminów!
Jeśli ktoś nie może zdawać w pierwszym terminie, pozostaje egzamin poprawkowy.
Termin egzaminu: ??.6.2026, g. 10:00, w sali B.2.30.
Wyniki z pierwszego terminu egzaminu w poprzednim roku nie były dobre ... niestety część osób nie brała udziału w zajęciach i liczyła na to, że szybko coś skopiuje w Internetu. W efekcie systemy produkcyjne w AI pomyliły im się z produkcją z podręcznika ekonomii.
Egzamin poprawkowy odbędzie się ??.09.2026 o godz. 10:00 w Sali B.2.30 .
Wyniki: (%punktów,ocena) = (90-100;5), (80-90;4+), (70-80;4), (60-70,3+), (50-60;3), (< 50;2).
Infografika o sztucznej i naturalnej inteligencji.
Stare slajdy z ubiegłego roku.
A1. Wprowadzenie do zagadnień AI | A2. Rozwiązywanie problemów | A3. Hurystyki, ludzkie myślenie, teoria systemów opartych na wiedzy | A4. Reprezentacja wiedzy i wnioskowanie | A5. Systemy wspomagające decyzje | A6. Wielkie projekty GOFAI: CyC, SOAR, architektury kognitywne.
B7. Niesymboliczne dane w systemach AI B8. Uczenie maszynowe (machine learning) | B9. Uczenie nienadozorowane | B10. Ucznenie strategii, RF | B11. Uczenie głębokie | B12. Narzędzia predykcyjnej sztucznej inteligencji |
C13. Język naturalny, próby w ramach NLP|
C14. Transformery i duże modele językowe/multimodalne |
C15. Modele dyfuzyjne, wieloagentowe, nowe algorytmy uczenia dużych modeli językowych.
C16. HCI, interakcja człowiek-maszyna |
Globalne wyzwania i AI.
Notatki są w PDF i w 2026 roku będą zmieniane w czasie trwania wykładu. Sytuacja zupełnie się zmieniła, w czasie semestru zmienię całą strukturę i dodam kolejne wykłady.
Portale i nowości: Rządowy portal SI | Sztuczna Inteligencja - nowości (OPI) | Raporty State of AI | Historia AI | Dokąd zmierza inteligencja obliczeniowa? |
Polecam też nowości o AI/ML na mojej stronie Flipboard.
A. GOFAI: Symboliczna sztuczna inteligencja |
1. Infografika do wykładu | slajdy w PDF Wprowadzenie do zagadnień AI i krótko Ewolucja AI. |
2. Podstawy. Infografika | Slajdy: Szukanie i rozumowanie | Dłuższa wersja | Szukanie a ludzkie myślenie |
Aplety demonstrujące szukanie, planowanie itd | Smart Moves: Intelligent Path Finding (Bryan Stout, Game Developer Magazine). PathFinding Visualizer na github..
3. Metody szukania. |
Infografika | Więcej slajdów | Szukanie heurystyczne, wideo.
Przesuwanka 15-tka
PathFinding visualization
4. Zastosowania metod opartych na szukaniu. |
Linki zewnętrzne: DARPA Urban Challenge, 3.11.2007 | Szachy z ciekawą wizualizacją
B. Predykcyjna sztuczna inteligencja |
Dane w systemach AI: akwizycja, oczyszczanie, niepewność, rozkłady probabilistyczne, tw. Bayesa, rozpoznawanie wzorców i miary poprawności, reprezentacje wektorowe – Word2Vec, Glove, mechanizm uwagi.
`
5+6. Reprezentacja wiedzy w systemach GOFAI. |
7. Systemy ekspertowe i ambitne projekty GOFAI. |
Zunifikowane teorie poznania. Architektura poznawcza człowieka;
Projekty SOAR,
Cog
Nagrałem dwa wykłady, sprawdźcie też slajdy bo są nieco nowsze.
Systemy ekspertowe są nadal ważne, mają liczne zastosowania, obecnie współpracują z dużymi modelami językowymi weryfikując ich skojarzenia i prowadząc rozumowanie na poziomie symbolicznym. Nie są łatwo dostępne i nie można ich używać tak łatwo jak generatywnej AI.
Nagrania wideo wykładów: 7.1 oraz 7.2.
Uczenie maszynowe: rodzaje, uczenie nadzorowane, uczenie nienadzorowane: wizualizacja wielowymiarowych danych, PCA, ICA, MDS, UMAP, t-SNE, manifolds. Drzewa decyzji, regresja, SVM, klasteryzacja-średnich, hierarchiczna, eksploracja danych i oceny podobieństwa, klasyfikacja i regresja z użyciem sieci neuronowych.
Pamięci skojarzeniowe, model Hopfielda i maszyny Boltzmanna, modele dyfuzyjne, przykłady generatywnej sztuki i muzyki.
Systemy Sztucznej Inteligencji
rutynowo stosowane w praktyce medycznej, strona z mojego archiwpokazująca jak takie systemy wyglądały na początku XXI wieku.
Strona Github OpenClinical.
Archiwalne dowody twierdzeń wykonane za pomocą komputera, strona "Automated Deduction at Argonne":
4 barwy, geometria rzutowa, hipoteza Robbinsa - po 60 latach prób matematyków udowodnił ją program
komputerowy EQP! Teraz rozumujące programy generatywnej AI rozwiązują zadania z Olimpiady Matematycznej, ale z dowodami nadal są trudności.
Ciekawostka: Mind reader, czyli jasnowidzący komputer ...
C. Analiza języka naturalnego. |
Dowiązania zewnętrzne:
Rozumienie języka naturalnego oraz
AI w szukaniu informacji i NLP.
Konkurs Loebnera, 100,000$ dla twórcy programu do konwersacji, który oszuka sędziów; odbywał się do 2019 roku! Teraz GPT-3.5 i nowsze systemy zdają ten test jak i test Ruringa bez kłopotów.
29.05.2026
Nie zdążymy zająć się BCI i filozoficznymi problemami AI.
Polecam moje referaty tej stronie.
Początkowo wykłady z AI były częścią cyklu 6 wykładów związanych z kognitywistyką.