This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
teaching:is:main_is [2024/05/03 09:16] Franconi Enrico [Lab] |
teaching:is:main_is [2024/06/14 09:41] (current) Franconi Enrico [Slides & Reference Material] |
||
---|---|---|---|
Line 42: | Line 42: | ||
* Slides: Features and Constraints {{: | * Slides: Features and Constraints {{: | ||
* Material: chapter 4 of //Poole and Mackworth// | * Material: chapter 4 of //Poole and Mackworth// | ||
- | * Slides: Propositions and Inference {{: | + | * Slides: Propositions and Inference {{: |
* Material: chapter 5 of //Poole and Mackworth// | * Material: chapter 5 of //Poole and Mackworth// | ||
- | * Slides: Deterministic Planning | + | * Slides: Deterministic Planning {{ : |
* Material: chapter 6 of //Poole and Mackworth// | * Material: chapter 6 of //Poole and Mackworth// | ||
/* * Slides: Multiagent Systems and Games {{ : | /* * Slides: Multiagent Systems and Games {{ : | ||
* Material: chapter 10 of //Poole and Mackworth// */ | * Material: chapter 10 of //Poole and Mackworth// */ | ||
+ | * Slides: Individuals and Relations {{: | ||
+ | * Material {{http:// | ||
+ | * Slides: {{: | ||
+ | * Material {{http:// | ||
+ | * < | ||
+ | * < | ||
+ | * < | ||
===== Lab ===== | ===== Lab ===== | ||
Line 88: | Line 94: | ||
* Mac: < | * Mac: < | ||
* Play with the [[https:// | * Play with the [[https:// | ||
- | * Do Exercises [[http:// | + | * Do Exercises [[http:// |
- | /* * Find other AILog knowledge base examples [[https:// | + | * Find other AILog knowledge base examples[[https:// |
+ | |||
+ | * <color # | ||
+ | * Excercises {{ : | ||
+ | |||
+ | * <color # | ||
+ | * Keep using [[https:// | ||
+ | * Go through Sections 6, 7, 9 of the [[http:// | ||
+ | * Play with the following knowledge bases: | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | * Exercises: [[http:// | ||
+ | * <color # | ||
+ | * Do {{ : | ||
+ | * Using the {{ : | ||
+ | * NOTE: the translator from STRIPS to CSP is buggy: use {{: | ||
+ | * understand the role of of all the variables and constraints | ||
+ | * find the original STRIPS definition from the CSP version of it | ||
+ | * find **all** the plans giving a (partial) starting state, or giving a (partial) end state, or both, with an horizon of 3. | ||
+ | * <color # | ||
+ | * Keep using [[https:// | ||
+ | * Go through Section 8 of the [[http:// | ||
+ | * Understand the bottom-up and top-down derivations with the relational representation of the [[https:// | ||
+ | * Do the following | ||
+ | /* * [[http:// | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | * ([[teaching: |