Předmět Reprezentace znalostí (KIP / XREPN)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KIP / XREPN - Reprezentace znalostí, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).

Materiál	Typ	Datum	Počet stažení

Obsah

1. Reprezentace znalostí2. Asociativních sítích3. Reprezentace znalostí konceptuálními grafy4. Deskripční logika5. Modální logika prvního řádu a default pravidlo6. Nemonotónní systémy reprezentace znalostí7. Budování revidovatelných teorií8. Sémantický web9. Formální ontologie10. Metody tvorby ontologií11. RDF model12. OWL jazyky13. Protégé a další nástroje.

Získané způsobilosti

znalost netradičních směrů v predikátové logice, jako jsou nemonotónní logiky, modální logika, deskripční logikaznalost nových sémanticky orientovaných přístupů k pojetí webu jako rozsáhlé znalostní bázemodely a jazyky pro sémantický web

Literatura

Žáček, Martin. Reprezentace znalostí, inovovaný text, Ostravská univerzita v Ostravě 2013. Antoniou, G. Nonmonotonic Reasoning. MIT Press, 1997. Fagin, R., Halpern, J.Y., Moses, Y., Vardi. Reasoning about Knowledge. MIT Press, 1995. Staab,S.Studer, R. (eds.). Handbook on Ontologies. Springer-Verlag, 2004. Beader et col.(eds.). The Description Logic Handbook-Theory, Interprelation and Applications. Cambridge Univ.Press, 2003.

Požadavky

Předmět navazuje na předmět Logické základy pro umělou inteligenci ve smyslu základů formálních systémů logiky 1. řádu.Zkouška je studentovi udělen v souladu s platným Studijním řádem, zejména s důrazem na čl. 31 a čl. 33 Studijního a zkušebního řádu OU. V průběhu semestru student vypracuje semestrální práci, která bude hodnocena Splněno/Nesplněno. Po splnění semestrální práce bude student připuštěn k ústní zkoušce, která bude hodnocena maximálně 100 body.

Garant

prof. RNDr. Alena Lukasová, CSc.

Vyučující

RNDr. Martin Žáček, Ph.D.RNDr. Martin Žáček, Ph.D.