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 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 TPTP. Podívejte se na video z on-line cvičení ze dne 6.4.2020. Použít lze i doprovodný materiál studijní materiál k situačnímu kalkulu.
Praktická část: Budete řešit Task 4. Hlavními zdroji jsou TPTP, databáze TPTP plánovacích úloh a řešení úlohy opice a banán z přednášky (jednoduchá implementace, složitější implementace). Další úlohou k náhlednutí jsou hanojské věže (opět implementace se situačním kalkulem a s jeho náznakem). Využít lze i krátký TPTP manuál.
Konzultace: Dotazy pokládejte především na fóru v tomto vláknu. Výhodou je, že odpovědi jsou snadno dostupné pro všechny. Součástí minibloku jsou i online konzultace, které budou:
pro pondělní cvičení: v pondělí 13.4. od 16:15 do 17:15 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.