Umělá inteligence I - cvičení
Semantics of predicate logic, resolution in propositional logic
This week's topic is Semantics of predicate logic, resolution in propositional logic. We'll focus namely on:
- Semantics of predicate logic
- Basics of resolution in propositional logic - general resolution, LI resolution
- SLD resolution and Prolog in propositional logic
Assignments for the labs:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2021/PB016/um/cviceni_logika/cv04_zadani.pdf
Supplementary materials: