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 [2023/05/24 11:49]
Franconi Enrico [Slides & Reference Material]
teaching:is:main_is [2024/04/23 09:51] (current)
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.1684921784.txt.gz · Last modified: 2023/05/24 11:49 by Franconi Enrico