Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:krr:start [2016/05/07 12:14] ligeza [Wykłady_KRR:2016] |
pl:dydaktyka:krr:start [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Knowledge Representation and Reasoning 2016 ====== | + | ====== Knowledge Representation and Reasoning 2017 ====== |
| + | Wykłady z KRR w roku 2017 prowadzone są w oparciu o materiał kursu w języku angielskim. | ||
| + | |||
| + | [[http://ai.ia.agh.edu.pl/wiki/en:dydaktyka:krr:start|Plan wykładów 2017]] | ||
| + | |||
| + | Wskazane poniżej materiały są aktualne. Nowe materiały pomocnicze będą uzupełniane na stronie j.w. | ||
| ==== Wykłady_KRR:2016 ==== | ==== Wykłady_KRR:2016 ==== | ||
| Linia 13: | Linia 18: | ||
| - **Constraint Programming: Shift-Work Scheduling (NRP). Systemy regułowe - wprowadzenie.** [12.04.2016: ALi] | - **Constraint Programming: Shift-Work Scheduling (NRP). Systemy regułowe - wprowadzenie.** [12.04.2016: ALi] | ||
| - **Systemy regułowe. Reprezentacja wiedzy, wnioskowanie, sterowanie wnioskowaniem. Wybrane narzędzia.** [19.04.2016] | - **Systemy regułowe. Reprezentacja wiedzy, wnioskowanie, sterowanie wnioskowaniem. Wybrane narzędzia.** [19.04.2016] | ||
| - | - Systemy regułowe. Synteza i analiza. Narzędzia i przykłady. Automatyczne planowanie. [10.05.2016] | + | - **Systemy regułowe. Synteza i analiza. Narzędzia i przykłady.** [10.05.2016] |
| - | - Diagnostyka systemów. Wnioskowanie abdukcyjne i wnioskowanie na bazie niespójności. | + | - **Przykłady systemów regułowych. Automatyczne planowanie. Zbiory rozmyte. ** [17.05.2016] |
| - | - Zbiory, relacje i systemy rozmyte. Rozmyte systemy regułowe. Logika rozmyta. | + | - Zbiory, relacje i systemy rozmyte. Rozmyte systemy regułowe. Logika rozmyta. Diagnostyka systemów. Wnioskowanie abdukcyjne i wnioskowanie na bazie niespójności. [24.05.2016] |
| + | - Egzamin zerowy testowy. [31.05.2016] | ||
| - Answer Set Programming (ASP). | - Answer Set Programming (ASP). | ||
| - Metody optymalizacji w obszarze AI. Metaheurystki. | - Metody optymalizacji w obszarze AI. Metaheurystki. | ||
| Linia 47: | Linia 53: | ||
| - [[pl:dydaktyka:planning:pddl_2|Rozszerzenie problemów PDDL o fluenty]], 20-04-2016 | - [[pl:dydaktyka:planning:pddl_2|Rozszerzenie problemów PDDL o fluenty]], 20-04-2016 | ||
| - [[pl:dydaktyka:ggp:gdl|Regułowa reprezentacja gier w języku GDL]], 27-04-2016 | - [[pl:dydaktyka:ggp:gdl|Regułowa reprezentacja gier w języku GDL]], 27-04-2016 | ||
| + | - [[pl:dydaktyka:ggp:game_tree|Drzewo gry - algorytm MiniMax z cięciami Alpha-Beta]], 11-05-2016 | ||
| + | - [[pl:dydaktyka:ggp:mcts|Drzewo gry - Monte Carlo Tree Search]], 18-05-2016 | ||
| + | - Kolokwium, 25-05-2016 | ||
| **Logiczna reprezentacja wiedzy i wnioskowanie** | **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ń. | + | Poniższy dział będzie dotyczył modelowania wiedzy przy zastosowaniu logik deskrypcyjnych. Poruszona zostanie kwestia zapisu wiedzy w postaci zdań logicznych oraz sposoby wnioskowania z danego zbioru zdań. |
| + | - [[pl:dydaktyka:krr:lab_dl|(dość formalny) wstęp do logik deskrypcyjnych]], 01-06-2016 | ||
| + | - [[pl:dydaktyka:krr:lab_dl_reasoning|Wnioskowanie w logikach deskrypcyjnych]], 08-06.2016 | ||
| ====== KRR: lata 2013-2015 ====== | ====== KRR: lata 2013-2015 ====== | ||
