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
Next revision Both sides next revision
teaching:is:main_is [2023/05/24 11:49]
Franconi Enrico [Slides & Reference Material]
teaching:is:main_is [2024/04/23 09:51]
Franconi Enrico [Slides & Reference Material]
Line 1: Line 1:
-====== Foundations of Artificial Intelligence (FoundAI) ======+====== Foundations of Artificial Intelligence ======
  
 ===== Watch the page ===== ===== Watch the page =====
Line 6: Line 6:
 To do that, click the [[https://www.inf.unibz.it/~franconi/space/doku.php?id=teaching:is:main_is&do=subscribe|Manage Subscriptions]] link. To do that, click the [[https://www.inf.unibz.it/~franconi/space/doku.php?id=teaching:is:main_is&do=subscribe|Manage Subscriptions]] link.
 ===== Official course presentation form ===== ===== Official course presentation form =====
-  * The course {{{{ :teaching:is:artificial_intelligence_21-22.pdf|presentation form}}.+  * The course [[https://webservices.scientificnet.org/rest/uisdata/api/v1/coursedescriptions/82219|presentation form]].
    
-===== Open Learning Environment (OLE) web page ===== 
-  * The official course [[https://ole.unibz.it/course/view.php?id=9749|page in OLE]]. 
 ===== Timetable ===== ===== Timetable =====
  
-The official week-by-week Faculty timetable: [[https://www.unibz.it/en/timetable/?searchByKeywords=Foundation+Artificial+Intelligence&sourceId=unibz&department=22&degree=13441%2C13584&toDate=2022-06-28|lectures and labs]] of the course. +The official week-by-week Faculty timetable: [[https://www.unibz.it/en/timetable/?searchByKeywords=Artificial+Intelligence&sourceId=unibz&department=224&degree=13618%2C13778&studyPlan=18364%2C18928&toDate=2024-07-31&page=1|lectures and labs]] of the course. 
-Note that sometimes a LAB may be transformed into a LECTURE and vice-versa.+Note that a LAB may be transformed into a LECTURE and vice-versa.
  
 Office hours: anytime, by previous appointment by email to the lecturer ([[mailto:franconi@inf.unibz.it|Enrico Franconi]]). Office hours: anytime, by previous appointment by email to the lecturer ([[mailto:franconi@inf.unibz.it|Enrico Franconi]]).
 In any case the lecturer is always available for the period after any lecture. In any case the lecturer is always available for the period after any lecture.
  
-Some lectures and labs are offered online using [[https://teams.microsoft.com|Microsoft Teams]]. There is a video on [[https://scientificnet.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=0255760e-986d-4b0a-be55-ab7200def6ca|how to start with Teams]].+Some lectures and labs may be available on Microsoft Teams.  
 =====Language used in the course===== =====Language used in the course=====
  
   * Exclusively English.   * Exclusively English.
  
-/*=====A note on video-recording lectures (COVID-19 emergency)===== 
- 
-Online lectures are video-recorded for the convenience of students. Students should switch off their video-camera. 
-In any case, participation to a video-recorded online lecture indicates the student's consent to be included in the recording of the online lecture. 
-Students can watch and use the the video-recorded online lectures only for learning purposes and for their exclusive personal use. Any other use, such as reproduction, distribution or sharing of the didactic material, is illegal. 
- 
-All information concerning the personal data processing can be found under the following link: https://guide.unibz.it/en/covid-19/.*/ 
 ===== Textbook ===== ===== Textbook =====
  
-  * **Main book**: David Poole and Alan Mackworth. //Artificial Intelligence: Foundations of Computational Agents//. Cambridge University Press, 20102nd edition 2017.+  * **Main book**: David Poole and Alan Mackworth. //[[https://artint.info/|Artificial Intelligence: Foundations of Computational Agents]]//. Cambridge University Press, 20233rd edition 2017. The book is fully available online.
   * //Auxiliary book//: Stuart Jonathan Russell and Peter Norvig. //Artificial Intelligence: A Modern Approach//. Prentice Hall, 4th edition 2020.   * //Auxiliary book//: Stuart Jonathan Russell and Peter Norvig. //Artificial Intelligence: A Modern Approach//. Prentice Hall, 4th edition 2020.
-  * Reading list from the UniBZ Library: [[https://eu.alma.exlibrisgroup.com/leganto/readinglist/lists/29916890000001241|76251A_21-22-2_CS Artificial Intelligence / Artificial Intelligence: Foundation of Artificial Intelligence]] +  * Reading list from the UniBZ Library: [[https://eu.alma.exlibrisgroup.com/leganto/readinglist/lists/29916890000001241| Artificial Intelligence / Artificial Intelligence: Foundation of Artificial Intelligence]]
- +
-Below you can download the relevant chapters of the book used in the various parts of the course. +
  
 ===== Slides & Reference Material ===== ===== Slides & Reference Material =====
Line 44: Line 33:
  
 The following is the standard material, it may be adjusted during the course. The following is the standard material, it may be adjusted during the course.
 +/* The striked-through text (i.e., <del>text</del>) corresponds to parts not done this year. */
  
-  * Slides: {{lect.1.0.pdf|Welcome Aboard}} +  * Slides: {{ :teaching:is:lect_01_0_h.pdf |Welcome Aboard}} 
-  * Slides: Artificial Intelligence and Agents {{:teaching:is:lect.1.1.pdf|part 1}}, {{:teaching:is:lect.1.2.pdf|part 2}}, {{:teaching:is:lect.1.3.pdf|part 3}},  {{:teaching:is:lect.1.4.pdf|part 4}} +  * Slides: Artificial Intelligence and Agents {{ :teaching:is:lect_01_1.pdf |parts 2}}, {{ :teaching:is:lect_01_3_h.pdf |part 3}}, {{ :teaching:is:lect_01_4_h.pdf |part 4}} 
-    * Material: {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_2.html|chapter 1}} of //Poole and Mackworth// +    * Material: chapter 1 of //Poole and Mackworth// 
-  * Slides: Agent Architectures and Hierarchical Control {{:teaching:is:lect.2.1.pdf|part 1}}, {{:teaching:is:lect.2.2.pdf|part 2}} +  * Slides: States and Searching {{:teaching:is:lect.3.1.pdf|part 1}}, {{:teaching:is:lect.3.2.pdf|part 2}}, {{:teaching:is:lect.3.3.pdf|part 3}}, {{:teaching:is:lect.3.4.pdf|part 4}}  
-    * Material: {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_33.html|chapter 2}} of //Poole and Mackworth// +    * Material: chapter 3 of //Poole and Mackworth// 
-  * Slides: States and Searching {{:teaching:is:lect.3.1.pdf|part 1}}, {{:teaching:is:lect.3.2.pdf|part 2}}, {{:teaching:is:lect.3.3.pdf|part 3}}, {{:teaching:is:lect.3.4.pdf|part 4}} +  * Slides: Features and Constraints {{:teaching:is:lect.4.1.pdf|part 1}}, {{:teaching:is:lect.4.2.pdf|part 2}} 
-    * Material {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_46.html|chapter 3}} of //Poole and Mackworth// +    * Material: chapter 4 of //Poole and Mackworth// 
-  * Slides: Features and Constraints {{:teaching:is:lect.4.1.pdf|part 1}}, <del>{{:teaching:is:lect.4.2.pdf|part 2}}</del>,  +  * Slides: Propositions and Inference {{:teaching:is:lect.5.1.pdf|part 1}}, {{:teaching:is:lect.5.2.pdf|part 2}}, {{:teaching:is:lect.5.3.pdf|part 3}}, {{:teaching:is:lect.5.4.pdf|part 4}} \\ Slides: Diagnosis /* {{:teaching:is:lect.5.5.pdf|part 1}}, {{:teaching:is:lect.5.6.pdf|part 2}}, {{:teaching:is:lect.5.7.pdf|part 3}}, {{:teaching:is:lect.5.8.pdf|part 4}}, {{:teaching:is:lect.5.9.pdf|part 5}} *
-    * Material {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_72.html|chapter 4}} of //Poole and Mackworth// +    * Material: chapter 5 of //Poole and Mackworth// 
-  * Slides: Propositions and Inference {{:teaching:is:lect.5.1.pdf|part 1}}, {{:teaching:is:lect.5.2.pdf|part 2}}, {{:teaching:is:lect.5.3.pdf|part 3}}, {{:teaching:is:lect.5.4.pdf|part 4}} \\ Slides: Diagnosis {{:teaching:is:lect.5.5.pdf|part 1}}, <del>{{:teaching:is:lect.5.6.pdf|part 2}}</del>, {{:teaching:is:lect.5.7.pdf|part 3}}, <del>{{:teaching:is:lect.5.8.pdf|part 4}}</del><del>{{:teaching:is:lect.5.9.pdf|part 5}}</del> +  * Slides: Deterministic Planning /* {{ :teaching:is:lect.8.1 v4.pdf |part 1}}, {{ :teaching:is:lect.8.2 v4.pdf |part 2}}, {{ :teaching:is:lect.8.3 v4.pdf |part 3}}, {{ :teaching:is:lect.8.4 v4.pdf |part 4}} */ 
-    * Material {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_100.html|chapter 5}} of //Poole and Mackworth// +    * Material: chapter of //Poole and Mackworth// 
-  * <del>Slides: Planning with Certainty {{ :teaching:is:lect.8.1 v4.pdf |part 1}}, {{ :teaching:is:lect.8.2 v4.pdf |part 2}}, {{ :teaching:is:lect.8.3 v4.pdf |part 3}}, {{ :teaching:is:lect.8.4 v4.pdf |part 4}} +/*  * Slides: Multiagent Systems and Games {{ :teaching:is:lect.10.1_v4.pdf |part 1}} 
-    * Material {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_200.html|chapter 8}} of //Poole and Mackworth//</del> +    * Material: chapter 10 of //Poole and Mackworth// */
-  * <del>Slides: Multiagent Systems and Games {{ :teaching:is:lect.10.1_v4.pdf |part 1}}</del> +
-    * <del>Material {{http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_234.html|chapter 10}} of //Poole and Mackworth//</del>+
  
  
 ===== Lab ===== ===== Lab =====
  
-  * <color #22b14c>LAB 1</color>: [[http://aispace.org/robot/|Robot Control]] ({{:teaching:is:robot_applet.zip|applet}}) -- Download Java if you need it from [[https://www.oracle.com/java/technologies/downloads/|here]]. +  * <color #22b14c>LAB 1</color>: Graph Searching with uninformed techniques ({{ :teaching:is:search_applet.zip |Java applet}})
-    * {{ :teaching:is:robot_1_-_quickstart.pdf |Quick start}} +
-    * {{ :teaching:is:robot_2_-_general_help.pdf |General help}} +
-    * {{ :teaching:is:robot_3_-_tutorial_1.pdf |Tutorial 1}} with [[http://aispace.org/robot/help/CreateAnEnvTutorial.avi|video]] +
-    * {{ :teaching:is:robot_4_-_tutorial_2.pdf |Tutorial 2}} with [[http://aispace.org/robot/help/RunRobotTutorial.avi|video]] +
-    * {{ :teaching:is:robot_5_-_tutorial_3.pdf |Tutorial 3}} with [[http://aispace.org/robot/help/DebugTutorial.avi|video]] +
-  * <color #22b14c>LAB 2</color>: Graph Searching with uninformed techniques ({{ :teaching:is:search_applet.zip |applet}})+
     * Manuals:     * Manuals:
       * {{ :teaching:is:search_1_-_quick_start.pdf |Quick start}}       * {{ :teaching:is:search_1_-_quick_start.pdf |Quick start}}
Line 83: Line 65:
     * Create your own problem graph for a delivery robot starting from a map with edge costs.     * Create your own problem graph for a delivery robot starting from a map with edge costs.
     * Create a problem graph for a simple problem chosen by you.     * Create a problem graph for a simple problem chosen by you.
-  * <color #22b14c>LAB 3</color>: Graph Searching with Heuristics+    * IMPORTANT: learn how to write on paper the frontier evolution for each search. 
 +* <color #22b14c>LAB 2</color>: Graph Searching with Heuristics
     * Explore the **Delivery Robot (Acyclic)**, the **Delivery Robot (cyclic)**, the **Vancouver Neighbourood**, the **Module 4** sample problem graphs: with //Best First, Heuristic Depth First, A*, Branch and Bound// search strategies, with or without //Multiple-Path Pruning// or //Loop Detection//, using different //Neighbour Ordering Strategies//. Explore also the behaviour with the abovementioned search graphs with potentially non terminating depth first strategies (e.g., //Depth First// or //Heuristic Depth First//) without cycle checking, and with loop detection or multiple path pruning.     * Explore the **Delivery Robot (Acyclic)**, the **Delivery Robot (cyclic)**, the **Vancouver Neighbourood**, the **Module 4** sample problem graphs: with //Best First, Heuristic Depth First, A*, Branch and Bound// search strategies, with or without //Multiple-Path Pruning// or //Loop Detection//, using different //Neighbour Ordering Strategies//. Explore also the behaviour with the abovementioned search graphs with potentially non terminating depth first strategies (e.g., //Depth First// or //Heuristic Depth First//) without cycle checking, and with loop detection or multiple path pruning.
     * Do the [[http://www.aispace.org/exercises.shtml|Practice Exercises]] 3.C, 3.D, 3.E.      * Do the [[http://www.aispace.org/exercises.shtml|Practice Exercises]] 3.C, 3.D, 3.E. 
-    * Exercise: [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_71.html|3.4]]([[teaching:is:heuristics-solution|solution]]). +    * Exercise: [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_71.html|3.4]] ([[teaching:is:heuristics-solution|solution]]). 
-  * <color #22b14c>LAB 4</color>: Constraints - Consistency+    * IMPORTANT:  
 +      * learn how to write on paper the frontier evolution for each search; 
 +      * check whether the heuristics are admissible and monotone. 
 +* <color #22b14c>LAB 3</color>: Constraints - Consistency
     * [[http://aispace.org/constraint/|Consistency Based CSP Solver]] ({{:teaching:is:constraint.jar.zip|applet}}):     * [[http://aispace.org/constraint/|Consistency Based CSP Solver]] ({{:teaching:is:constraint.jar.zip|applet}}):
      * Explore with the CSP applet the sample problems: Simple Problem 1, Simple Problem 2, Scheduling Problem 1, Crossword Problem 1, Crossword Problem 2. These sample problems have been seen already in the course lectures; for the crossword problems, try to reconstruct the crossword graphical structure.      * Explore with the CSP applet the sample problems: Simple Problem 1, Simple Problem 2, Scheduling Problem 1, Crossword Problem 1, Crossword Problem 2. These sample problems have been seen already in the course lectures; for the crossword problems, try to reconstruct the crossword graphical structure.
     * Do the [[http://www.aispace.org/exercises.shtml|Practice Exercises]] 4.A, 4.B.      * Do the [[http://www.aispace.org/exercises.shtml|Practice Exercises]] 4.A, 4.B. 
-    * Exercises: [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_99.html|4.2, 4.3 (only a,b), 4.5]] - CSP and arc consistency /*([[teaching:is:csp-solutions|solutions]])*/. +    * Exercises: [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_99.html|4.2, 4.3 (only a,b), 4.5]] - CSP and arc consistency ([[teaching:is:csp-solutions|solutions]]).
-  * <color #22b14c>LAB 5</color>: Propositions and Inference +
-    * Getting started with [[https://artint.info/code/ailog/ailog_man.html|AILog2]], a representation and reasoning system for definite clauses, with declarative debugging tools. +
-      * Download the file [[https://artint.info/code/ailog/ailog2.pl|ailog2.pl]], install and launch [[https://www.swi-prolog.org/download/stable|SWI Prolog]], and load (consult) AILog2 in Prolog: +
-        * Windows: <html><tt>?- consult("C:\\path-to-file\\ailog2.pl").</tt></html> +
-        * Mac: <html><tt>?- consult('/path-to-file/ailog2.pl').</tt></html> +
-      * Go through the [[https://artint.info/code/ailog/ailog_man.html|AiLog2 manual]], from Section 1 to Section 6. +
-        * To load a knowledge base file from AILog2: +
-          * Windows: <html><tt>ailog: load 'C:\\path-to-kbfile\\kbfile.ail'.</tt></html> +
-          * Mac: <html><tt>ailog: load '/path-to-kbfile/kbfile.ail'.</tt></html> +
-    * Play with the [[https://artint.info/code/ailog/ailog_code/ch05/elect_prop.ail|elect_prop.ail]] electrical wiring example 5.7 from Section 5.3 of the book and the slides. +
-    * Do Exercises [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_137.html|5.1, 5.2 (not question b), 5.3, 5.4]] ([[teaching:is:prop-rules-solutions|solutions]]) +
-/*    * Find other AILog knowledge base examples [[https://www.cs.ubc.ca/~poole/aibook/code/ailog/ailog_code/ailog_code.html|here]] */ +
-  * <color #22b14c>LAB 6</color>: Debug, Diagnosis, Abduction +
-     * Keep using [[https://artint.info/code/ailog/ailog_man.html|AILog2]] +
-     * Go through Sections 6, 7, 9 of the [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_man.html|manual]] +
-     * Play with the following knowledge bases: +
-       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch05/elect_ask.ail|elect_ask.ail]] electrical wiring example with askables; Example 5.10 from [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_113.html|Section 5.3.2]] +
-       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch05/elect_bug.ail|elect_bug.ail]] the buggy electrical wiring knowledge base from Example 5.14 in [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_118.html|Section 5.3.4.1]] +
-       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch05/elect_bug2.ail|elect_bug2.ail]] the buggy electrical wiring example from Exercise 5.6  +
-       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch05/elect_bug3.ail|elect_bug3.ail]] a buggy electrical wiring example, which fails to prove lit_l2, but should succeed  +
-       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch05/elect_cbd.ail|elect_cbd.ail]] electrical wiring example for consistency-based diagnosis; Example 5.20 in [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_124.html|Section 5.4.3]] +
-       * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch05/elect_abd.ail|elect_abd.ail]] electrical wiring example with abduction; Example 5.31 in [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_133.html|Section 5.6]] +
-       * 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]]) +
-  * <del><color #22b14c>LAB 7</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}}; you can use the {{ :teaching:is:stripstocsp.jar.zip |STRIPS-to-CSP applet}} and exercise some of the sample problems pre-loaded on the applet ({{ :teaching:is:ex_strips_sol.pdf |Practice Exercise 8.A solution}} and {{ :teaching:is:ex_csp_planning_sol.pdf |Practice Exercise 8.B solution}}) +
-  * <color #22b14c>LAB 8</color>: Multiagent Systems and Games</del> +
-    * <del>xxx</del> +
- +
  
teaching/is/main_is.txt · Last modified: 2024/05/08 17:06 by Franconi Enrico