Sztuczna inteligencja i systemy doradcze 1000-2N00SID
1. Inteligentne poszukiwanie rozwiązań w przestrzeni stanów (heurystyki zachłanne, algorytm A* etc.) oraz metody iteracyjnego poprawiania działające na przestrzeni rozwiązań (symulowane wyżarzanie, strategie ewolucyjne etc.), ze szczególnym uwzględnieniem problemów optymalizacyjnych z więzami.
2. Strategie w grach dwuosobowych, algorytm minimax, odcięcia alfa-beta, algorytm MCTS (Monte Carlo Tree Search), gry z ograniczoną informacją, dyskusja na temat tego, jak powyższe strategie można implementować w komputerowych realizacjach gier i czy gry to jedyne zastosowania tych metod.
3. Logiczna reprezentacja problemu i wiedzy z nim związanej, rachunek zdań, badanie spełnialności, logika I rzędu, metoda rezolucji, algorytmy forward- i backward-chaining w bazach wiedzy (z uwzględnieniem metod heurystycznych w realizacjach algorytmu backward-chaining), zastosowania logiki w planowaniu (w tym również sprowadzanie zadań planowania do problemu spełnialności), komunikacji w systemach wielo-agentowych, a także w systemach doradczych.
4. Związki uczenia maszynowego z uczeniem indukcyjnym, metody symboliczne (np. wyznaczanie reguł i drzew decyzyjnych z danych) oraz analityczne (np. sztuczne sieci neuronowe), uczenie bez nauczyciela (w tym przykłady związane z analizą skupień i mapami samo-organizującymi się), z nauczycielem i ze wzmocnieniem, zadania uczenia maszynowego jako problemy optymalizacyjne (np. znajdowanie minimalnych drzew decyzyjnych przy użyciu heurystyk oraz uczenie się sztucznych sieci neuronowych technikami iteracyjnego poprawiania rozwiązań, takimi jak propagacja wsteczna błędu i metody ewolucyjne). Także dyskusja o tym, że dziedziny uczenia maszynowego i sztucznej inteligencji nie są ze sobą tożsame, choć wiele mogą od siebie skorzystać (np. w grach etc.).
5. Wybrane podejścia do modelowania niepewności, w tym podstawy modeli probabilistycznych (np. model Naive Bayes, podstawy sieci Bayesowskich, przykłady użycia prawdopodobieństw i entropii w uczeniu maszynowym bazującym na nowoczesnych rozszerzeniach sztucznych sieci neuronowych), teoria i zastosowania logiki rozmytej (np. zastosowania w robotyce) z uwzględnieniem heurystyk do wyznaczania modeli rozmytych z danych, teoria i zastosowania zbiorów przybliżonych (np. zastosowania w analizie danych), wybrane elementy logik wielowartościowych, modalnych, temporalnych.
6. Otwarta dyskusja o obecnych trendach rozwoju i zastosowań sztucznej inteligencji w różnych dziedzinach praktycznych, z uwzględnieniem aspektów współpracy i interakcji pomiędzy ludźmi i systemami inteligentnymi.
Kierunek podstawowy MISMaP
matematyka
Rodzaj przedmiotu
monograficzne
fakultatywne
Tryb prowadzenia
mieszany: w sali i zdalnie
zdalnie
Wymagania (lista przedmiotów)
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Celem zajęć jest przedstawienie podstaw oraz zastosowań wybranych metod sztucznej inteligencji i systemów doradczych. Student powinien nabyć umiejętność rozwiązywania złożonych problemów obliczeniowych przy użyciu omawianych metod (K_W01, K_W03, K_W04, K_W05, K_W06, K_W09). Powinien posiąść wiedzę, na ile omawiane metody mogą być przydatne w projektach, w których bierze udział, a także w potencjalnych przyszłych projektach związanych z jego zainteresowaniami (K_U01, K_U03, K_U08, K_U09, K_U35 K_U38). W zakresie kompetencji społecznych student powinien być w stanie uważnie słuchać innych ludzi a także brać udział w dyskusji (K_K01, K_K07). Szczegółowe efekty uczenia się sprowadzają się do wiedzy oraz umiejętności rozwiązywania zadań związanych z sześcioma głównymi zakresami w opisie przedmiotu.
Kryteria oceniania
Na pomyślne zaliczenie przedmiotu składają się ćwiczenia (zaliczenie) oraz egzamin (ocena). Zaliczenie ćwiczeń jest warunkiem koniecznym i dostatecznym dla przystąpienia do egzaminu. Zaliczenie ćwiczeń jest czysto zero-jedynkowe, nie wiąże się ono z żadną dodatkową punktacją, która mogłaby dodatkowo wpłynąć na ostateczną ocenę z przedmiotu.
Istotnymi warunkami dla zaliczenia ćwiczeń jest regularna obecność na ćwiczeniach oraz zaliczenie (zero-jedynkowe) kolokwium, na którym studenci rozwiązują zadania na zastosowanie metod sztucznej inteligencji. Warunkiem dodatkowym lub alternatywnym może być rozwiązywanie prac domowych. Dalsze szczegóły ustalają osoby prowadzące poszczególne grupy ćwiczeniowe.
Uczęszczanie na wykład nie jest obowiązkowe, lecz wskazane dla pełnego zrozumienia materiału. Egzamin ma formę pisemną. Jest złożony z zadań na zastosowanie metod sztucznej inteligencji. Na egzaminie można korzystać z materiałów własnych, ale zadania trzeba rozwiązywać indywidualnie. W terminie poprawkowym egzamin może przyjąć postać egzaminu ustnego.
Literatura
1. Mariusz Flasiński: Wstęp do Sztucznej Inteligencji (PWN 2011)
2. Stuart Russell, Peter Norvig: Artificial Intelligence: A Modern Approach
3. George Luger: AI: Structures and Strategies for Complex Problem Solving
4. Tom Mitchell: Machine Learning
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
- Informatyka, stacjonarne, pierwszego stopnia
- Bioinformatyka i biologia systemów, stacjonarne drugiego stopnia
- Informatyka, stacjonarne, drugiego stopnia
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: