Předmět Reprezentace znalostí (KIP / QREZA)
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 / QREZA - Reprezentace znalostí, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Literatura
Lukasová, A., Habiballa, H., Telnarová, Z., Vajgl, M. Formální reprezentace znalostí. Ed. UNIVERSUM, Ostravská universita v Ostravě, 2010. ISBN 978-80-7368-900-1.Sowa, J.F. Knowledge representation: logical, philosophical, and computational foundations. Brooks/Cole, 2000. Nilsson, Nils. Artificial Intelligence: A New Synthesis. Morgan Kaufmann Publishers Inc., 1998. Staab, S., Studer, R. Handbook on Ontologies. Springer-Verlag, 2004. ISBN 3-540-40834-7.Allemang & Hendler. Semantic Web for the Working Ontologist, Effective Modeling in RDFS and OWL. Morgan Kaufmann, 2011. ISBN 9780123859655.&. Lukasová, A. : Sylaby k předmětu REZNA Vladimír Mařík, Olga Štěpánková, Jiří Lažanský a kol.:Umělá inteligence I.,II.,III., Academia Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A. : Reasoning in Description Logic. A Great Collection U. Gnowho and U. Gnowho-else, eds, CSLI Publications, 1997 Kremer, R. : Visual Languages for Knowledge Representation. Procc. of KAW 98, Eleventh Workshop on Knowledge Aquisition, Voyager Inn, Banff, Alberta, Canada, 1998. Ohlbach, H.J., Koehler, J. : Modal logics, description logics and arithmetic reasoning. Artificial Intelligence 109, 1999, pp 1-31. . &, &.
Požadavky
splnění 1 testu během semestruZáklady formálních systémů logiky 1. řádu
Garant
prof. RNDr. Alena Lukasová, CSc.
Vyučující
prof. RNDr. Alena Lukasová, CSc.