teaching:is:main_is_old
Differences
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/04/21 00:25] 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 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:// | ||
teaching/is/main_is_old.1618957533.txt.gz · Last modified: 2021/04/21 00:25 by Franconi Enrico
Page Tools
