1. 23.02.2016: Przeszukiwanie grafów:
   • Algorytmy BFS i DFS. Algorytm Dijkstry. Grafy: reprezentacja, BFS, DFS, algorytm Dijkstry
   • Algorytmy szukania. Problem Solving as Search
   • Metody szukania heurystycznego. Algorytm A*. Algorytmy inspirowane biologicznie.
   • Wprowadzenie do programowania z ograniczeniami. Backtrack Search.

Poniższe laboratoria będą poświęcone reprezentacji problemów z rodziny satysfakcji ograniczeń i optymalizacji dyskretnej przy użyciu metod programowania z ograniczeniami. Po ich ukończeniu student powinien nabyć zdolności do modelowania problemów poprzez identyfikację występujących w nich zmiennych oraz stałych wraz z dotyczącymi ich ograniczeniami. Poruszona również zostanie kwestia skutecznego przeszukiwania przestrzeni stanów.

1. Wprowadzenie do problematyki i programowania z ograniczeniami, 24.02.2016

Problemy planowania i gry

Dział będzie dotyczył problemów planowania, zarówno w kontekście ogólnym jak też szczególnemu przypadkowi gier z wieloma graczami. W trakcie laboratoriów student nabędzie umiejętności definiowania problemów planowania przy użyciu standardu PDDL oraz zapozna się z deklaratywnym opisem gier wraz z podstawowymi algorytmami służącymi automatycznego grania.

Logiczna reprezentacja wiedzy i wnioskowanie

Poniższy dział będzie dotyczył modelowania wiedzy przy zastosowaniu logik deskryptywnych. Poruszona zostanie kwestia zapisu wiedzy w postaci zdań logicznych oraz sposoby wnioskowania z danego zbioru zdań.