Name | Room | Phone | ||
---|---|---|---|---|
Lecturer | Roland Bol | Roland.Bol@it.uu.se | 1356 | 018-471 7606 |
Lecturer | Mats Cedvall | Mats.Cedvall@it.uu.se |
2322 |
018-471 1029 018-471 2973 |
week |
day |
time |
room |
topic |
who |
reading |
assignments |
|
15 |
tu 8 |
10 |
1211 |
What is AI? History of AI.
Course overview |
RB,MC,OG |
1, 17 |
1. Short paper |
|
we 9 |
13 |
2446 |
Modelling AI problems as search
problems |
RB |
3.1 + more |
|||
fr 11 |
13 |
2347 |
Exhaustive search methods |
MC |
3.0, 3.2, 4.5 (part) |
|||
16 |
mo 14 |
13 |
1111 |
Heuristic search methods |
MC |
4.0-4.3 |
||
th 17 |
8 |
1211 |
Search in playing games |
RB |
4.4 |
|||
fr 18 |
13 |
1111 |
lektion: search |
MC/RB |
2.
Game program |
|||
17 |
mo 21 |
10 |
2247 |
summary of assignment 1 Logic, deduction |
RB |
2.1, 2.2 |
||
tu 22 |
10 |
2247 |
Lisp MrPAndMsS |
MC |
16 |
|||
we 23 |
10 |
2247 |
||||||
fr 25 |
13 |
2146 |
3. Transformation of predicate logic formulas to a canonical form. Implementation in Lisp. |
|||||
18 |
tu 29 |
10 |
2247 |
Knowledge Representation
Planning and the frame problem |
RB |
7.0,
7.1 8.4.1, 8.4.2 |
||
19 |
mo 5 |
8 |
1211 |
Expert systems, forwards/backwards
chaining |
RB |
6.2 (part) 8.0-8.2 |
||
we 7 |
10 |
1311 |
Match (see assignment 4 below). midcourse evaluation Nonmonotonic reasoning (abduction, default, TMS, frame) |
RB |
9.1 |
|||
fr 9 |
8 |
1211 |
Learning, inspired by nature
(Pdf 1.3M) |
OG |
parts of 11,12? |
4. Implementing a small expert system in Match |
||
20 |
mo 12 |
10 |
2247 |
Learning (induction, learning
as search) |
RB |
10 until 10.3.2, 10.6, 10.7 |
||
we 14 |
10 |
2247 |
Uncertainty, quantitative
approaches |
MC |
9.2, 5.2, 5.4 part of 9.3? |
|||
fr 16 |
8 |
1211 |
Resolution, theorem proving |
RB |
2.3, 13.2 |
5.
Flock behaviour in Netlogo. |
||
21 |
mo 19 |
10 |
1311 |
lektion: deduction,
resolution, NMR, uncertainty |
RB |
|||
th 22 |
13 |
2247 |
Understanding natural language (parsing,
KR) |
MC |
parts of 14 |
|||
fr 23 |
10 |
1311 |
Constraint technology |
Pierre F |
||||
22 |
mo 26 |
13 | 1211 |
AI in computer games | OG | |||
tu 27 |
10 |
1311 |
questions,
solutions,
course evaluation |
RB, MC |
||||
th 29 |
8:00 |
exam - Polacksbacken
bldg 5 |
||||||
August
|
tu 19 |
8:00 |
re-exam
Polacksbacken bldg 5 |
|||||
January |
re-exam |