FranconiSpace - teaching:is

Solutions to the Assumables lab

Anonymous (anonymous@undisclosed.example.com) — 2024-05-08T14:36:09+00:00

Solutions to the Assumables lab 5.9 The minimal conflicts are: {d}, {e, g} and {h}. 5.13 a ← h ⋀ reliable_s1 . d ← c ⋀ reliable_s1 . e ← d ⋀ reliable_s2 . f ← k ⋀ reliable_s2 . z ← g ⋀ reliable_s2 . j ← reliable_s2 . h ← d ⋀ reliable_s3 .

Solutions to the CSP lab

Anonymous (anonymous@undisclosed.example.com) — 2020-05-07T07:36:30+00:00

Solutions to the CSP lab 4.2 (a) Yes it is arc consistent, as there are vowels in the 1st, 3rd and 5th positions in the words. (b) fever can be removed from W as there is no vowel in the 1st, 3rd or 5th position of the word fever. 4.3 (a) See

Solutions to the Debug, Diagnosis, and Abduction lab

Anonymous (anonymous@undisclosed.example.com) — 2023-06-21T07:01:06+00:00

Solutions to the Debug, Diagnosis, and Abduction lab 5.5 It only needs to ask an askable atom when there is a clause where the head has not already been proved, all of the non-askable atoms in the body have been proved, and the askable atoms in the body that have been asked have been answered by “yes”.

Solution to Exercise 3.4

Anonymous (anonymous@undisclosed.example.com) — 2021-03-30T08:13:45+00:00

Solution to Exercise 3.4 (a) The nodes are expanded according to the circled numbers. The circled (5) is the first goal node found — this is the shortest presentation that covers all the topics. (b) Here are two solutions: Solution 1: For each topic,

Solutions to the Individuals and Relations lab

Anonymous (anonymous@undisclosed.example.com) — 2020-06-24T15:11:26+00:00

Solutions to the Individuals and Relations lab 12.3 C={r(a),r(e),p(c),q(b),s(a,b),s(d,b),s(e,d)} C ∪ {q(a)} by rule 2 with X/a,Y/b C ∪ {p(a)} by rule 1 with X/a C ∪ {q(d)} by rule 2 with X/d,Y/b C ∪ {q(e)} by rule 2 with X/e,Y/d C ∪ {p(e)} by rule 1 with X/e

Foundations of Artificial Intelligence

Anonymous (anonymous@undisclosed.example.com) — 2025-06-22T16:12:02+00:00

Foundations of Artificial Intelligence Watch the page You can “subscribe” to any page on the wiki and you’ll get an email message whenever the page has changed. To do that, click the Manage Subscriptions link. Official course presentation form * The course

Artificial Intelligence (AI) - old course, valid until 2020/2021

Anonymous (anonymous@undisclosed.example.com) — 2022-02-28T14:45:59+00:00

Artificial Intelligence (AI) - old course, valid until 2020/2021 Watch the page You can “subscribe” to any page on the wiki and you’ll get an email message whenever the page has changed. To do that, click the Manage Subscriptions link. Official course presentation form

ILS -Logic & Databases - 2013/2014

Anonymous (anonymous@undisclosed.example.com) — 2017-08-22T08:30:31+00:00

ILS -Logic & Databases - 2013/2014 * [Towards a Logical Reconstruction of Relational Database Theory] (Ray Reiter), 1984 * ([slides])

Geographical knowledge base (solution)

Anonymous (anonymous@undisclosed.example.com) — 2021-05-26T13:30:37+00:00

Geographical knowledge base (solution) % Prolog representation of a grammar to ask a query of a database % Builds a query which can then be asked of the knowledge base % This is not meant to be polished or lingustically reasonable, but purely to show what can be done % This is expanded code of Figure 13.12 in Section 13.6.6 of % Poole and Mackworth, Artificial Intelligence: foundations of % computational agents, Cambridge, 2017 % noun_phrase(L0,L4,Entity,C0,C4) is true if % L0 and L4 are l…

Solutions to the Propositions and Inference lab

Anonymous (anonymous@undisclosed.example.com) — 2020-06-24T08:06:22+00:00

Solutions to the Propositions and Inference lab 5.1 % heating_k1 is true if kettle k1 is heating heating_k1 <- plugged_into_k1_p1 & live_p1 & turned_on_k1 & filled_with_water_k1. % plugged_into_k1_p1 is true if k1 is plugged into power outlet p1 plugged_into_k1_p1. plugged_into_k2_p2. % turned_on_k1 is true if k1 is turned on turned_on_k1. turned_on_k3. % filled_with_water_k1 is true if k1 is filled with water filled_with_water_k1.

Results Midterm A 2012/2013

Anonymous (anonymous@undisclosed.example.com) — 2017-08-22T08:30:31+00:00

Results Midterm A 2012/2013 Stud ID Mark/30 9022 30 9139 25 9166 FAIL 8751 FAIL 8211 FAIL 9409 30 8770 18 9031 28 8752 20 9538 25 8913 28 9296 FAIL 9422 23

Results Midterm B 2012/2013

Anonymous (anonymous@undisclosed.example.com) — 2017-08-22T08:30:31+00:00

Results Midterm B 2012/2013 Stud ID Mark/30 9022 30 9139 30 9422 30 9409 30 8692 25 8752 26 8770 24 (USB) 9031 25 (USB) 9166 30 (USB) 8751 26 (USB)

Results Exam 1 2012/2013

Anonymous (anonymous@undisclosed.example.com) — 2017-08-22T08:30:31+00:00

Results Exam 1 2012/2013 Stud ID Mark/30 6127 18 8751 26 8752 24 8770 25 8913 29 9022 30 lode 9031 23 9139 29 9166 22 9409 30 lode 9422 28