Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:dydaktyka:krr:start [2016/05/11 03:28] msl [Laboratoria] |
pl:dydaktyka:krr:start [2019/06/27 15:50] (aktualna) |
====== 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 ==== |
| |
- **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.** [10.05.2016] | - **Systemy regułowe. Synteza i analiza. Narzędzia i przykłady.** [10.05.2016] |
- Przykłady systemów regułowych. Automatyczne planowanie. 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] | - Egzamin zerowy testowy. [31.05.2016] |
- Answer Set Programming (ASP). | - Answer Set Programming (ASP). |
- [[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 - tworzenie bota opartego o algorytm MiniMax]], 11-05-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 ====== |
| |