Differences

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

--- teaching:is:main_is_old [2021/05/26 08:30]
Franconi Enrico [Slides & Reference Material]
+++ 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/2021 ======
 ===== Watch the page =====
@@ Line 106: / Line 106: @@
     * Do Exercises [[https://artint.info/2e/html/ArtInt2e.Ch5.S11.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
+<del>  * <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]]
@@ Line 116: / Line 116: @@
        * [[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]])*/
+       * 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>: Individuals and Relations
     * Keep using [[https://artint.info/code/ailog/ailog_man.html|AILog2]]
@@ Line 128: / Line 128: @@
        * ([[teaching:is:ind-solutions|solutions]])
-  * <color #22b14c>optional LAB</color>: Natural Language Processing
+  * <color #22b14c>LAB 8</color>: Natural Language Processing
-    * Exercises: [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_308.html|12.17]] - Natural Language Processing
+    * Understand and play with the knowledge bases discussed in the lecture:
-    * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch12/cfg_simple.ail|cfg_simple.ail]] a simple context free grammar and associated dictionary from Figures 12.6 and 12.7 in Section 12.5 (also in [[http://artint.info/code/Prolog/ch12/cfg_simple.pl|Prolog]])
+      * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch12/cfg_simple.ail|cfg_simple.ail]] a simple context free grammar and associated dictionary from Figures 12.6 and 12.7 in Section 12.5 (also in [[http://artint.info/code/Prolog/ch12/cfg_simple.pl|Prolog]]) /*
-    * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch12/trans.ail|trans.ail]] generates canned English; from Figure 12.8 in Section 12.6.4 (also in [[http://artint.info/code/Prolog/ch12/trans.pl|Prolog]])
+      * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch12/trans.ail|trans.ail]] generates canned English; from Figure 12.8 in Section 12.6.4 (also in [[http://artint.info/code/Prolog/ch12/trans.pl|Prolog]]) */
-    * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch12/nl_numbera.ail|nl_numbera.ail]] a simple grammar that enforces number agreement and builds a parse tree; from Figure 12.9 in Section 12.6.5 (also in [[http://artint.info/code/Prolog/ch12/nl_numbera.pl|Prolog]])
+      * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch12/nl_numbera.ail|nl_numbera.ail]] a simple grammar that enforces number agreement and builds a parse tree; from Figure 12.9 in Section 12.6.5 (also in [[http://artint.info/code/Prolog/ch12/nl_numbera.pl|Prolog]])
-    * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch12/nl_interface.ail|nl_interface.ail]] a simple natural language interface to a database; from Figures 12.10 and 12.11 in Section 12.6.6 (also in [[http://artint.info/code/Prolog/ch12/nl_interface.pl|Prolog]])
+      * [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_code/ch12/nl_interface.ail|nl_interface.ail]] a simple natural language interface to a database; from Figures 12.10 and 12.11 in Section 12.6.6 (also in [[http://artint.info/code/Prolog/ch12/nl_interface.pl|Prolog]])
+    * Exercise: [[http://www.inf.unibz.it/~franconi/teaching/artint.info/html/ArtInt_308.html|12.17]] ([[teaching:is:nl-geo-solution|solution]]) - Following the code of the simple natural language interface to a database, construct a knowledge base with a grammar (where a relative clause could be treated similarly to a prepositional phrase) and a dictionary to find **__all__** the answers to the following geographical questions:
+      * 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:
+<code>
+% 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,Lang) is true of Lang is an official language of Country
+speaks(argentina,spanish).
+speaks(brazil,portugese).
+speaks(chile,spanish).
+speaks(paraguay,spanish).
+speaks(peru,spanish).
+capital(argentina,'Buenos Aires').
+capital(chile,'Santiago').
+capital(peru,'Lima').
+capital(brazil,'Brasilia').
+capital(paraguay,'Asunción').
+% borders(C1,C2) is true if country C1 borders country C2
+borders(peru,chile).
+borders(chile,peru).
+borders(argentina,chile).
+borders(chile,argentina).
+borders(brazil,peru).
+borders(peru,brazil).
+borders(argentina,brazil).
+borders(brazil,argentina).
+borders(brazil,paraguay).
+borders(paraguay,brazil).
+borders(argentina,paraguay).
+borders(paraguay,argentina).
+</code>
+===Additional optional lab material===
   * LAB: Decision Trees
@@ Line 176: / Line 231: @@
   * Requirements: (1) a computer with a webcam and a microphone, (2) a smartphone with camera and internet connection, (3) sheets of paper to write the answers to the questions.
-  * Platform to communicate with the professor during the written exam (login with your UniBZ account): MS Teams at [[https://teams.microsoft.com/l/meetup-join/19%3ae275c0478a0c44139a1871b3cff3e77b%40thread.tacv2/1610963250892?context=%7b%22Tid%22%3a%2292513267-03e3-401a-80d4-c58ed6674e3b%22%2c%22Oid%22%3a%2275931671-91a8-4632-a7b6-8dfb24a1fb99%22%7d|this MS Teams link]] (the link will be updated on the day of the exam). Keep your video camera off in MS Teams (otherwise it wouldn't work in OWLTS). Connect to MS Teams five minutes before the start of the exam, and keep the connection open during the whole duration of the exam. \\ In case of technical problems, you can ask for help via chat using MS Teams with the faculty secretariat ([[https://teams.microsoft.com/l/chat/0/0?users=Christine.Kirchler@unibz.it|MS Teams link for Christine Kirchler]] or [[https://teams.microsoft.com/l/chat/0/0?users=Federica.Cumer@unibz.it|MS Teams link for Federica Cumer]]) or with the ICT technicians ([[https://teams.microsoft.com/l/chat/0/0?users=CCumer@unibz.it|MS Teams link for Cristiano Cumer]]).
+  * Platform to communicate with the professor during the written exam (login with your UniBZ account): MS Teams at [[https://teams.microsoft.com/l/meetup-join/19%3ae275c0478a0c44139a1871b3cff3e77b%40thread.tacv2/1610963250892?context=%7b%22Tid%22%3a%2292513267-03e3-401a-80d4-c58ed6674e3b%22%2c%22Oid%22%3a%2275931671-91a8-4632-a7b6-8dfb24a1fb99%22%7d|this MS Teams link]] (the link will be updated on the day of the exam). Keep your video camera off in MS Teams (otherwise it wouldn't work in OWLTS). Connect to MS Teams five minutes before the start of the exam, and keep the connection open during the whole duration of the exam. \\ In case of technical problems, you can ask for help via chat using MS Teams with the faculty secretariat ([[https://teams.microsoft.com/l/chat/0/0?users=Christine.Kirchler@unibz.it|MS Teams link for Christine Kirchler]] or [[https://teams.microsoft.com/l/chat/0/0?users=Federica.Cumer@unibz.it|MS Teams link for Federica Cumer]]) or with the ICT technicians ([[https://teams.microsoft.com/l/chat/0/0?users=Denise.Delai@unibz.it|MS Teams link for Denise Delai]], [[https://teams.microsoft.com/l/chat/0/0?users=CCumer@unibz.it|MS Teams link for Cristiano Cumer]]).
   * Platform for the written exam (login with your UniBZ account): OWLTS at https://unibz.owlts.com .

FranconiSpace

User Tools

Site Tools

Differences

Page Tools