Logika pro umělou inteligenci (KIP/LZUI2)

v LS 2013/2014
Prof. RNDr. Alena Lukasová, CSc.
alena.lukasova@osu.cz

Konzultační hodiny: -

RNDr. Martin Kotyrba, Ph.D.
martin.kotyrba@osu.cz

Konzultační hodiny: -



Přednáška: St: 10:50-12:25, místnost: A-316

Cvičení: St: 12:30-14:05, místnost: A-316



Podklady k přednáškám: Formální logika a sémantický web



1. přednáška: Sémantický web
Termín konání: středa 12. února 2014
1. cvičení
Termín konání: středa 12. února 2014

2. přednáška: Vývoj prostředků automatizace usuzování
Termín konání: středa 19. února 2014
2. cvičení
Termín konání: středa 19. února 2014

3. přednáška: Postupná realizace sémantického webu
Termín konání: středa 26. února 2014
3. cvičení
Termín konání: středa 26. února 2014

4. přednáška: Základy reprezentace znalostí formální logikou
Termín konání: středa 5. března 2014
4. cvičení
Termín konání: středa 5. března 2014

5. přednáška: Logika prvního řádu a sémantický web
Termín konání: středa 12. března 2014
5. cvičení
Termín konání: středa 12. března 2014

6. přednáška: Sowův zobecněný pohled na sémantické sítě
Termín konání: středa 19. března 2014
6. cvičení
Termín konání: středa 19. března 2014

7. přednáška: Reprezentace znalostí klauzulární logikou
Termín konání: středa 26. března 2014
7. cvičení
Termín konání: středa 26. března 2014

8. přednáška: Asociativní síť jako formální systém logiky prvního řádu
Termín konání: středa 2. dubna 2014
8. cvičení
Termín konání: středa 2. dubna 2014

9. přednáška: Grafový formální systém klauzulární logiky
Termín konání: středa 9. dubna 2014
9. cvičení
Termín konání: středa 9. dubna 2014

10. přednáška: RDF modelování světa
Termín konání: středa 16. dubna 2014
10. cvičení
Termín konání: středa 16. dubna 2014

11. přednáška: Odvozování v grafové verzi RDF
Termín konání: středa 23. dubna 2014
11. cvičení
Termín konání: středa 23. dubna 2014

12. přednáška: Rezoluční důkazy v RDF klauzulární logice
Termín konání: středa 30. dubna 2014
12. cvičení
Termín konání: středa 30. dubna 2014

13. přednáška: Budování nemonotónní default teorie v grafové verzi RDF CFL
Termín konání: středa 7. května 2014
13. cvičení
Termín konání: středa 7. května 2014

14. přednáška: Propojená data
Termín konání: nerozvrhováno

15. přednáška: Dotazovací jazyk SPARQL
Termín konání: nerozvrhováno








Projekt ESF OPVK č. CZ.1.07/2.2.00/28.0216
"Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia"
je spolufinancován z Evropského sociální fondu a státního rozpočtu České republiky.