Předmět Logika pro umělou inteligenci (KIP / XLZU2)
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 / XLZU2 - Logika pro umělou inteligenci, 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
Obsah
1 Rezoluční důkazy ve výrokové logice2 Rezoluční důkazy v predikátové logice3 Tablové formální důkazy ve výrokové logice4 Tablové důkazy v predikátové logice5 Formální dedukce v axiómatických systémech6 Gentzenovský axiómatický systém G7 Hilbertovský axiómatický systém H8 Axiómatický systém G1 predikátové logiky9 Hilbertovský axiómatický systém H110 Klauzulární logika11 Znalostní báze a její modely12 Axiómatický systém C1 klauzulární logiky13 Odvozování v klauzulární logice14 Cvičebnice
Získané způsobilosti
znalost základních formálních systémů výrokové predikátové a klauzulární logiky dovednost odvozovat formálními prostředky logické důsledky znalostních bází o dané doméně rozhodnutelnost, sémantická korektnost a úplnost formálních systémů
Literatura
nullLukasová, A. Formální logika v umělé inteligenci. Compter Press Brno, 2003. ISBN 80-251-0023-5.Lukasová, A. Logické základy umělé inteligence 2. Formalizace a automatizace dedukce. Ostravská univerzita v Ostravě. Lukasová, A. Formální logika v umělé inteligenci. Compter Press Brno, 2003. Genesereth, M.R. Logical Foundation of Artificial Intelligence. Morgan Kaufmann, 1987. ŠVEJDAR, V. Logika: neúplnost, složitost a nutnost. Academia Praha, 2002.
Požadavky
Předmět je ukončen zkouškou. V průběhu semestru student absolvuje 2 testy. Každý test je hodnocen max. 25 body. Tyto body spolu s body za zkoušku, která je ohodnocena max. 50 body tvoří celkové hodnocení. 0 - 50 bodů známka F (nevyhověl)51 - 60 bodů známka E61 - 70 bodů známka D71 - 80 bodů známka C81 - 90 bodů známka B91 - 100 bodů známka A
Garant
RNDr. Martin Kotyrba, Ph.D.prof. RNDr. Alena Lukasová, CSc.
Vyučující
RNDr. Martin Kotyrba, Ph.D.prof. RNDr. Alena Lukasová, CSc.RNDr. Martin Kotyrba, Ph.D.prof. RNDr. Alena Lukasová, CSc.