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_old [2021/03/17 11:56] Franconi Enrico [Lab] |
teaching:is:main_is_old [2022/02/28 15:45] (current) Franconi Enrico ↷ Page name changed from teaching:is:main_is to teaching:is:main_is_old |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Artificial Intelligence (AI) ====== | + | ====== Artificial Intelligence (AI) - old course, valid until 2020/ |
===== Watch the page ===== | ===== Watch the page ===== | ||
Line 33: | Line 33: | ||
* **Main book**: David Poole and Alan Mackworth. // | * **Main book**: David Poole and Alan Mackworth. // | ||
- | * //Auxiliary book//: Stuart Jonathan Russell and Peter Norvig. // | + | * //Auxiliary book//: Stuart Jonathan Russell and Peter Norvig. // |
* Reading list from the UniBZ Library: [[https:// | * Reading list from the UniBZ Library: [[https:// | ||
Line 54: | Line 54: | ||
* Slides: Features and Constraints {{: | * Slides: Features and Constraints {{: | ||
* Material {{http:// | * Material {{http:// | ||
- | * Slides: Propositions and Inference {{: | + | * Slides: Propositions and Inference {{: |
* Material {{http:// | * Material {{http:// | ||
* < | * < | ||
Line 82: | Line 82: | ||
* Tutorial 4: {{ : | * Tutorial 4: {{ : | ||
* Explore with the search applet the **Delivery Robot (Acyclic)**, | * Explore with the search applet the **Delivery Robot (Acyclic)**, | ||
- | * Exercise: practicing different search strategies with the graph in this {{teaching: | ||
* Do the [[http:// | * Do the [[http:// | ||
+ | * Exercise: practicing different search strategies with the graph in this {{teaching: | ||
* 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. | ||
Line 89: | Line 89: | ||
* Explore the **Delivery Robot (Acyclic)**, | * Explore the **Delivery Robot (Acyclic)**, | ||
* Do the [[http:// | * Do the [[http:// | ||
- | * Exercise: [[http:// | + | * Exercise: [[http:// |
* <color # | * <color # | ||
* [[http:// | * [[http:// | ||
* Do the [[http:// | * Do the [[http:// | ||
- | * Exercises: [[http:// | + | * Exercises: [[http:// |
* <color # | * <color # | ||
* Getting started with [[https:// | * Getting started with [[https:// | ||
Line 104: | Line 104: | ||
* Mac: < | * Mac: < | ||
* Play with the [[https:// | * Play with the [[https:// | ||
- | * Do Exercises [[https:// | + | * Do Exercises [[https:// |
* Find other AILog knowledge base examples [[https:// | * Find other AILog knowledge base examples [[https:// | ||
- | | + | < |
* Keep using [[https:// | * Keep using [[https:// | ||
* Go through Sections 6, 7, 9 of the [[http:// | * Go through Sections 6, 7, 9 of the [[http:// | ||
Line 116: | Line 116: | ||
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// | ||
- | * Exercises: [[http:// | + | * Exercises: [[http:// |
* <color # | * <color # | ||
* Keep using [[https:// | * Keep using [[https:// | ||
* Go through Section 8 of the [[http:// | * Go through Section 8 of the [[http:// | ||
+ | * Play with the relational representation of the [[https:// | ||
* Do the following | * Do the following | ||
/* * [[http:// | /* * [[http:// | ||
Line 125: | Line 126: | ||
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// | ||
- | /* * ([[teaching: | + | * ([[teaching: |
- | * <color #22b14c>optional | + | * <color # |
- | * Exercises: [[http:// | + | * Understand and play with the knowledge bases discussed in the lecture: |
- | * [[http:// | + | * [[http:// |
- | * [[http:// | + | * [[http:// |
- | * [[http:// | + | * [[http:// |
- | * [[http:// | + | * [[http:// |
+ | * Exercise: [[http:// | ||
+ | * Which is a country? | ||
+ | * Which is a Spanish speaking country? | ||
+ | * Which is the capital of Chile? | ||
+ | * Which is the capital of a large country? | ||
+ | * Which is a country that borders Chile? | ||
+ | * Which is a country that borders a country that borders Chile? | ||
+ | * Which is the capital of a country that borders Chile? | ||
+ | * Which country borders Chile? | ||
+ | * Which country that borders Chile borders Paraguay? | ||
+ | * using the following facts: | ||
+ | < | ||
+ | % country(C) is true if C is a country | ||
+ | country(argentina). | ||
+ | country(brazil). | ||
+ | country(chile). | ||
+ | country(paraguay). | ||
+ | country(peru). | ||
- | Additional optional lab material: | + | % large(C) is true if the area of C is greater than 2m km^2 |
+ | large(brazil). | ||
+ | large(argentina). | ||
+ | |||
+ | % language(L) is true if L is a language | ||
+ | language(spanish). | ||
+ | langauge(portugese). | ||
+ | |||
+ | % speaks(Country, | ||
+ | speaks(argentina, | ||
+ | speaks(brazil, | ||
+ | speaks(chile, | ||
+ | speaks(paraguay, | ||
+ | speaks(peru, | ||
+ | |||
+ | capital(argentina,' | ||
+ | capital(chile,' | ||
+ | capital(peru,' | ||
+ | capital(brazil,' | ||
+ | capital(paraguay,' | ||
+ | |||
+ | % borders(C1, | ||
+ | borders(peru, | ||
+ | borders(chile, | ||
+ | borders(argentina, | ||
+ | borders(chile, | ||
+ | borders(brazil, | ||
+ | borders(peru, | ||
+ | borders(argentina, | ||
+ | borders(brazil, | ||
+ | borders(brazil, | ||
+ | borders(paraguay, | ||
+ | borders(argentina, | ||
+ | borders(paraguay, | ||
+ | </ | ||
+ | |||
+ | |||
+ | ===Additional optional lab material=== | ||
* LAB: Decision Trees | * LAB: Decision Trees | ||
Line 175: | Line 231: | ||
* Requirements: | * Requirements: | ||
- | * Platform to communicate with the professor during the written exam (login with your UniBZ account): MS Teams at [[https:// | + | * Platform to communicate with the professor during the written exam (login with your UniBZ account): MS Teams at [[https:// |
* Platform for the written exam (login with your UniBZ account): OWLTS at https:// | * Platform for the written exam (login with your UniBZ account): OWLTS at https:// |