====== Cvičení 8 a 9 - Logická AI ======

**Přednáška:** Základním studijním materiálem je přednáška Logická AI, jde o přednášku č.7, materiály jsou k dispozici v sekci [[courses:b4b36zui:prednasky|přednášky]].

**Náhrada cvičení:** Cílem cvičení je základní seznámení s tvorbou logických agentů řešících úlohy v dynamickém prostředí. Hlavním nástrojem bude predikátová logika prvního řádu a situační kalkul. Budeme používat solver Prover9, dostupný přes stránku [[http://www.tptp.org/|TPTP]]. Podívejte se na [[https://drive.google.com/file/d/1Tl5g2rAhbn2qphPOcVApOYCxya8027Px/view|video]] z on-line cvičení ze dne 6.4.2020. Použít lze i doprovodný materiál studijní materiál k [[https://artint.info/2e/html/ArtInt2e.Ch15.S1.SS1.html|situačnímu kalkulu]].
 
**Praktická část:** Budete řešit [[https://cw.fel.cvut.cz/wiki/courses/b4b36zui/tasks/task4|Task 4]]. Hlavními zdroji jsou [[http://www.tptp.org/|TPTP]], [[http://www.tptp.org/cgi-bin/SeeTPTP?Category=Problems&Domain=PLA|databáze TPTP plánovacích úloh]] a řešení úlohy {{ :courses:b4b36zui:monkey.zip |opice a banán}} z přednášky (jednoduchá implementace, složitější implementace). Další úlohou k náhlednutí jsou {{ :courses:b4b36zui:hanoi.zip |hanojské věže}} (opět implementace se situačním kalkulem a s jeho náznakem). Využít lze i krátký {{:courses:b4b36zui:ZUI_TPTP_minimanual.pdf|TPTP manuál}}. 

**Konzultace:** Dotazy pokládejte především na fóru v tomto [[https://cw.felk.cvut.cz/forum/thread-4867.html|vláknu]]. Výhodou je, že odpovědi jsou snadno dostupné pro všechny. Součástí minibloku jsou i //online// konzultace, které budou: \\
<del>pro pondělní cvičení: v pondělí 13.4. od 16:15 do 17:15</del> **Oprava:** velikonoční pondělí, zrušeno a spojeno s úterním termínem níže,\\
pro úterní cvičení: v úterý  14.4. od 14:30 do 15:30\\
K online kozultaci se připojíte na [[https://meet.google.com/fzj-zzso-pqp]].