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/31 23:24] msl [Laboratoria] |
pl:dydaktyka:krr:start [2017/03/07 21:13] ligeza [Knowledge Representation and Reasoning 2016] |
||
|---|---|---|---|
| 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 56: | Linia 61: | ||
| 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ń. | 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|logika deskrypcyjna jako język formalny]], 01-06-2016 | + | - [[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 ====== | ||
