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 |
topic |
who |
reading |
assignments |
|
12 |
fr 20 |
13 |
What is AI? History of AI.
Course overview |
RB,MC |
1, 17 |
1. Short
paper |
|
13 |
tu 24 |
10 |
Modelling AI problems as search
problems |
RB |
3.1 + more |
||
fr 27 |
10 |
Exhaustive search methods |
MC |
3.0, 3.2, 4.5 (part) |
|||
14 |
tu 31 |
13 |
Heuristic search methods |
MC |
4.0-4.3 |
||
we 1 |
15 |
Search in playing
games |
RB |
4.4 |
|||
th 2 |
10 |
lektion: search Mats' lesson |
MC/RB |
2. Game program |
|||
17 |
mo 20 |
15 |
summary of assignment 1 Logic, deduction |
RB |
2.1, 2.2 |
||
tu 21 |
13 |
Lisp MrPAndMsS nand-example from lecture |
MC |
16 |
|||
we 22 |
10 |
||||||
18 |
tu 28 |
10 |
cancelled |
3. Transformation of predicate logic formulas to a canonical form. Implementation in Lisp. |
|||
we 29 |
13 |
Knowledge Representation
Planning and the frame problem |
RB |
7.0, 7.1 8.4.1, 8.4.2 |
|||
19 |
mo 4 |
10 |
Expert systems, forwards/backwards
chaining |
RB |
6.2 (part) 8.0-8.2 |
||
tu 5 |
10 |
Lisp, third lecture,
replacing 28/4 midcourse evaluation |
MC |
||||
we 6 |
8 |
Match (see assignment 4 below). Nonmonotonic reasoning (abduction, default, TMS, frame) |
RB |
9.1 |
4. Implementing
a small expert system in Match |
||
th 7 |
10 |
Learning, inspired by
nature (Pdf 1.4M) |
OG |
parts of 11,12? |
|||
th 7 |
13 |
Genetic Algorithms and their applications
in Bioinformatics |
Ugur Sezerman, Sabanci Univ. Istanbul -- 12.1 |
||||
20 |
mo 11 |
10 |
Learning (induction, learning
as search) |
RB |
10 until 10.3.2, 10.6,
10.7 |
||
tu 12 |
13 |
Uncertainty, quantitative
approaches |
MC |
9.2, 5.2, 5.4 part of 9.3? |
|||
th 14 |
13 |
Resolution, theorem proving |
RB |
2.3, 13.2 |
5. Flock behaviour in Netlogo. |
||
21 |
mo 18 |
10 |
lektion: deduction,
resolution, NMR, uncertainty |
RB |
|||
tu 19 |
13 |
Understanding natural language (parsing,
KR) |
MC |
parts of 14 |
|||
22 |
mo 25 |
10 |
Constraint technology slides 1-86 shown in class |
Pierre F |
|||
|
tu 26 |
13 | AI in computer games | OG | |||
fr 29 |
10 |
questions, solutions,
course evaluation |
RB, MC |
||||
23 |
mo 1 |
14-19 |
exam Gimogatan 4, room 1 |
||||
August 18 |
8-13 |
re-exam, Ekonomikum,
room A153. |
|||||
October January |
re-exam if required, in conjunction with the
exam of the new 5 cr. AI course |