Sztuczna Inteligencja i Systemy Ekspertowe. |
Uprzejmie informuję, że w semestrze letnim 2024 roku prowadzę wykład kursowy (kod WDW) "Wstęp do Metod Sztucznej Inteligencji", przez jeden semestr (30 godzin).
Wykłady odbywają się w
czwartki, godz. 14:00-16:00, w sali COK-A.
Z powodu licznych konferencji związanych z AI w kwietniu i maju 2024
część wykładów będzie na moim Webexie.
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 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 i dr hab. Tomasza Piotrowskiego 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 będą 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. W uzasadnionych przypadkach mogę nie wpisać ocenę za pierwszy termin, tylko w to miejsce wpisać wynik z egzaminu poprawkowego.
Termin egzaminu: 26.6.2024, g. 15:00, w sali COK-A.
Wyniki z pierwszego terminu egzaminu w poprzedni m 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ę 11.09.2024 o godz. 15:00 w Sali COK A .
Wyniki: (%punktów,ocena) = (90-100;5), (80-90;4+), (70-80;4), (60-70,3+), (50-60;3), (< 50;2).
Klasyczna sztuczna inteligencja:
1. Wprowadzenie do metod AI |
2. Szukanie |
3. Zastosowania szukania |
4. Reprezentacja wiedzy |
5. Systemy doradcze |
Sieci neuronowe:
6. Uczenie maszynowe (machine learning) |
7. Analiza języka naturalnego |
8. Modele umysłu i ambitne projekty sztucznej inteligencji |
9. Narzędzia sztucznej inteligencji |
10. Filozoficzne problemy sztucznej inteligencji.
Notatki są w PDF i w 2024 roku będą zmieniane w czasie trwania wykładu. Sytuacja zupełnie się zmieniła.
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.
Liczne linki do ciekawych zagadnień dotyczących sztucznej inteligencji są tu:
AI + Machine Learning oraz
AI w NLP
oraz
architektury kognitywne i
inteligencja obliczeniowa (głównie uczenie maszynowe).
1 Wprowadzenie do zagadnień AI, slajdy w PDF |
2 Szukanie - sformułowanie problemu slajdy w PDF |
Aplety demonstrujące szukanie, planowanie itd | Smart Moves: Intelligent Path Finding (Bryan Stout, Game Developer Magazine), oraz wersja interaktywna na github..
3. Metody szukania. |
przesuwanka 15-tka
PathFinding visualization
4. Zastosowania metod opartych na szukaniu. |
Linki zewnętrzne: DARPA Urban Challenge, 3.11.2007 | Szachy z ciekawą wizualizacją
5. Reprezentacja wiedzy: wprowadzenie i reprezentacje logiczne. |
Podsumowanie wykładów 2-5
6. Inne formy reprezentacji wiedzy. |
Nagrane komentarze do slajdów: 6.1 Sieci semantyczne oraz komentarze do slajdów 6.2 i 6.3 .
25.04.2024
7. Systemy ekspertowe i ambitne projekty GOFAI. |
8.05.2024. Potraktujemy duże systemy ekspertowe tylko pobieżnie, chociaż nadal próbują utrzymać swoje znaczenie są trudno dostępne.
Nagranie wykładu: 7.1 i 7.2
oraz 7.3 i 7.4
Systemy Sztucznej Inteligencji
rutynowo stosowane w praktyce medycznej, archiwum
opencclinical.org.
Dowody twierdzeń wykonane za pomoca komputera: 4 barwy, geometria rzutowa, hipoteza Robbinsa - po 60 latach prób matematyków udowodnił ją program
komputerowy EQP!
Gregory Chaitin twierdzi, że matematyka powinna być quasi-empiryczna, czyli tylko nieco mniej empiryczna niż fizyka ...
Mind reader, czyli jasnowidzący komputer ...
CYCorp
08. GOFAI-Symboliczne modele umysłu. |
Zunifikowane teorie poznania. Architektura poznawcza człowieka;
Projekty SOAR,
Cog
09. Analiza języka naturalnego i duże modele językowe. |
25.05.2024
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 bez kłopotów.
10. Uczenie maszynowe. |
30.05.2024
11. Wielkie modele językowe. |
13.06.2024
Nie zdążymy zająć się BCI i filozoficznymi problemami AI.
Polecam swoje slajdy na tej stronie.
Podsumowanie debaty: czy komputery mogą myśleć w formie posterów.
Początkowo wykłady z AI były częścią cyklu 6 wykładów związanych z kognitywistyką.
Dwa poniższe wykłady wymagają pewnego przygotowania matematycznego.
Wszystkich wykładów można wysłuchać w miarę niezależnie.