Umělá inteligence I - cvičení
Resolution in predicate logic
This week's topic is Resolution in predicate logic. We'll focus namely on:
- Normal forms in predicate logic (PNF, Skolem NF)
- General resolution in predicate logic
- SLD resolution in predicate logic, Prolog
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/cv05_zadani.pdf
Supplementary materials: