Předmět Logika pro umělou inteligenci (KIP / LZUI2)
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 / LZUI2 - 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.Š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.
Vyučující
RNDr. Martin Kotyrba, Ph.D.RNDr. Martin Kotyrba, Ph.D.