Informace o projektu
Inovace předmětu Computational Logic
(Inovace předmětu Computational Logic)
- Kód projektu
- FRVS/2363/2009
- Období řešení
- 1/2010 - 12/2010
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- Fond rozvoje vysokých škol
- F - Inovace studijních programů
- Fakulta / Pracoviště MU
- Fakulta informatiky
Předmět obsahuje v současné době tři části - Deduktivní odvozování, Induktivní odvozování a Reprezentaci znalostí a manipulace s nimi.
Část Deduktivní inference bude zredukován a jeho část - rezoluční metoda - bude vyučována pouze v bakalářském kurzu Úvod do logiky a logického programování. To je umožněno změnou náplně tohoto bakalářského kursu.
Tato část bude doplněna sekcí o neklasických logikách a důkazových technikách v těchto logikách. Bude rozšířena partie o teoretických základech induktivním odvozování a o logikách pro zpracování přirozeného jazyka a přidána přednáška o deskripční logice.
Budou vytvořeny nové výukové materiály včetně materiálů do e-learningového modulu IS MU a též animace pro základní techniky
Předmět je též součástí studijního programu nově akreditovaného na přirodovědecké fakultě MU (akreditace probíhá) a určeného pro studenty ze tří fakult MU - přirodovědecké, filosofické a fakulty informatiky.