Umělá inteligence I - cvičení
07 Proof/inference systems, resolution (general, SLD, Prolog basics)
This week's topic are the basics of (first order) predicate logic . We'll focus namely on:
- General resolution in propositional and predicate logic
- SLD resolution and its applications
- Basics of Prolog
Assignments for the labs:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2022/PB016/um/cviceni_logika/cv07_zadani.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2022/PB016/um/cviceni_logika/cv07_reseni.pdf
Supplementary materials: