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

Lectures 2012/2013: Semester 1, block A
Mondays 11:00-13:00 (B0.206)
Tuesdays 11:00-13:00 (B0.206)
Thursdays 11:00-13:00 (A1.08)

Test 1 - 35%
Test 2 - 25%
Homework ---
Hugin project - 20%
Byzantine task - 20%

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 Th	Representing uncertainty	1.4, 1.5 1.10, 1.11, 1.12, 1.13(iii)
2	Mon Tue Th	Updating beliefs	2.4, 2.5
3	Mon Tue Th	Bayesian networks	3.4, 3.6
4		No class
5	Mon Tue Th	Exercises Project Presentations Test 1	4.3, 4.4, 4.7, 4.8, 4.9
6	Mon Tue Th	Multi-agent systems 1	5.1, 5.7, 5.8
7	Mon Tue Th	Multi-agent systems 2 Exercises Test 2	5.10, 5.11
8	Tue		Deadline Byzantine Agreement Task