User Tools

Site Tools


teaching:is:main_is

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
teaching:is:main_is [2024/05/17 09:38]
Franconi Enrico [Slides & Reference Material]
teaching:is:main_is [2024/06/14 09:41] (current)
Franconi Enrico [Slides & Reference Material]
Line 48: Line 48:
 /*  * Slides: Multiagent Systems and Games {{ :teaching:is:lect.10.1_v4.pdf |part 1}} /*  * Slides: Multiagent Systems and Games {{ :teaching:is:lect.10.1_v4.pdf |part 1}}
     * Material: chapter 10 of //Poole and Mackworth// */     * Material: chapter 10 of //Poole and Mackworth// */
 +  * Slides: Individuals and Relations {{:teaching:is:lect.12.1.pdf|part 1}}, {{:teaching:is:lect.12.2.pdf|part 2}}, {{:teaching:is:lect.12.3.pdf|part 3}}, {{:teaching:is:lect.12.4.pdf|part 4}} 
 +    * Material {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_276.html|chapter 12}} of //Poole and Mackworth// 
 +  * Slides: {{:teaching:is:lect.12.nl.pdf| Natural Language Understanding}} 
 +    * Material {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_276.html|chapter 12}} of //Poole and Mackworth// 
 +  * <del>Slides: Supervised learning and Decision Trees: {{ :teaching:is:lect1.pdf |part 1}}, {{ :teaching:is:lect2_ef.pdf |part 2}}, {{ :teaching:is:lect3_ef.pdf |part 3}}</del>
 +    * <del>Material {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_169.html|chapter 7}} of //Poole and Mackworth// </del> 
 +  * <del>Slides: {{:teaching:is:lezione_machine_learning_bz_7_6_2019.pdf |Introduction to Machine Learning}}</del>
  
 ===== Lab ===== ===== Lab =====
Line 106: Line 112:
        * Exercises: [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_137.html|5.5, 5.6, 5.7, 5.9, 5.13]]  ([[teaching:is:diag-rules-solutions|solutions]])         * Exercises: [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_137.html|5.5, 5.6, 5.7, 5.9, 5.13]]  ([[teaching:is:diag-rules-solutions|solutions]]) 
 * <color #22b14c>LAB 8</color>: Planning with Certainty * <color #22b14c>LAB 8</color>: Planning with Certainty
-  * Do {{ :teaching:is:ex_strips.pdf |Practice Exercise 8.A}} and {{ :teaching:is:ex_csp_planning.pdf |Practice Exercise 8.B}}.  +  * Do {{ :teaching:is:ex_strips.pdf |Practice Exercise 8.A}} and {{ :teaching:is:ex_csp_planning.pdf |Practice Exercise 8.B}} ({{ :teaching:is:ex_strips_sol.pdf |Practice Exercise 8.A solution}} and {{ :teaching:is:ex_csp_planning_sol.pdf |Practice Exercise 8.B solution}})
-  * Using the {{ :teaching:is:stripstocsp.jar.zip |STRIPS-to-CSP applet}} exercise with the coffee delivery problems (simple and complete) pre-loaded on the applet - [[https://aispace.org/strips_to_csp/|tutorial]].  /({{ :teaching:is:ex_strips_sol.pdf |Practice Exercise 8.A solution}} and {{ :teaching:is:ex_csp_planning_sol.pdf |Practice Exercise 8.B solution}}) */ +  * Using the {{ :teaching:is:stripstocsp.jar.zip |STRIPS-to-CSP applet}} exercise with the coffee delivery problems (simple and complete) pre-loaded on the applet - [[https://aispace.org/strips_to_csp/|tutorial]] 
 +    NOTE: the translator from STRIPS to CSP is buggy: use {{:teaching:is:delivery-simple-csp_fixed.zip|this file}} as an example of a STRIPS definition for the simple delivery problem with its corresponding CSP version; use the {{:teaching:is:constraint.jar.zip|CSP applet}}   
 +      * 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 (partialstarting state, or giving a (partial) end state, or both, with an horizon of 3. 
 +<color #22b14c>LAB 9</color>: Individuals and Relations 
 +    * Keep using [[https://artint.info/code/ailog/ailog_man.html|AILog2]] 
 +    * Go through Section 8 of the [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_man.html|manual]] 
 +    * Understand the bottom-up and top-down derivations with the relational representation of the [[https://artint.info/code/ailog/ailog_code/ch12/elect_relational.ail|electrical environment]] and with the [[https://artint.info/code/ailog/ailog_code/ch12/before.ail|AM and PM time representations]] 
 +    * Do the following  exercises (you may use the AILog2 KBs listed in the [[https://artint.info/online.html|resources for Chapter 12]]):  
 +/*       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_308.html|12.1,12.2]] (model theory) */ 
 +       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_308.html|12.3]] (bottom-up derivation) 
 +       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_308.html|12.4,12.5,12.6]] (top-down derivation) with the [[https://artint.info/code/ailog/ailog_code/ch12/west.ail|knowledge base about rooms]]  
 +       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_308.html|12.8,12.9,12.14]] (SLD-resolution with functions) /*do also 12.15*/  
 +       * ([[teaching:is:ind-solutions|solutions]])
teaching/is/main_is.1715931495.txt.gz · Last modified: 2024/05/17 09:38 by Franconi Enrico