Intensionele Logica's

Lecturer: PD Dr. Reinhard Blutner,
( blutner@uva.nl )
ILLC, University of Amsterdam
Office Hours: by appointment
Science Park 904, Room C3.128

Teaching Assistent: Sylvia Boicheva (S.Boicheva@student.uva.nl)

Lectures 2011/2012: Semester 1, block A
Mondays 13:00-15:00
Tuesdays 11:00-13:00
Wednesdays 11:00-13:00
Room: Science Park, G3.05

Note: In the rooster the course has announced lectures on the Fridays. Those will not regularly take place.

Test 1 - 25%
Test 2 - 15%
Homework - 30%
Hugin project - 15%
Byzantine task - 15%

Artificial Intelligence: A Modern Approach
by Stuart Russell and Peter Norvig

Reasoning about Uncertainty
by Joseph Y. Halpern


1. Representing Uncertainty	slides 1	exercises 1.1-1.19
2. Updating Beliefs	slides 2	exercises 2.1-2.7
3. Bayesian Networks	slides 3 Noisy OR	exercises 3.1-3.6 Hugin Project: pdf
4. Beliefs and Defaults	slides 4	exercises 4.1-4.9
5. Multi-Agent Systems	slides 5	exercises 5.1-5.11 Byzantine Agreement Task: article ; questions

Hugin Exercises

Hugin is general development and runtime system, which is easy to use for anyone wishing to construct an expert system based on Bayesian networks. Over the years the system has been extended in various ways (e.g. influence diagrams, continuous variables, structural learning, adaptation, object-oriented specification of Bayesian networks and influence diagrams, etc.)." (cf. Hugin Help and Hugin Expert White Paper). Download the lite version from Hugin lite!

Example: Kinderziekten met vlekjes

Week		Content	Homework
1	Mon Tue Wed	Representing uncertainty	1.4, 1.5 1.10, 1.11, 1.12, 1.13(iii)
2	Mon Tue Wed	Updating beliefs	2.4, 2.5
3	Mon Tue Wed	Bayesian networks	3.4, 3.6
4	Wed	Test - 13:00-15:00, Science Park G2.13 Note: no lectures on Monday and Tuesday
5	Mon Tue Wed	Project Presentations Beliefs and Defaults	4.3, 4.4, 4.7, 4.8, 4.9
6	Mon Tue Wed	Multi-agent systems 1	5.1, 5.7, 5.8
7	Mon Tue Wed	Multi-agent systems 2	5.10, 5.11
8	Wed	Test - 16:00-17:00, A1.08