Intensionele Logica's

Intensionele Logica's en Onzekerheid

Intensional Logic and Uncertainty

(2d semester 2009/10)

Lectures: Tuesday 15-17, P.015B (Plantage Muidergracht 24), Wednesday 15-17, P.018

Office Hours: by appointment
Science Park 904, Room C3.128A

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

Tests 40%

Exercises 30%

Projects (Hugin + Byzantine) 30%

Final Marks

Course Material

Artificial Intelligence: A Modern Approach: The Intelligent Agent Book by Stuart Russell and Peter Norvig. Reasoning about Uncertainty by Joseph Y. Halpern
	Slides	Exercises	Projects
1 Representing Uncertainty	slides 1	exercises 1.1-1.19	None
2 Updating Beliefs	slides 2	exercises 2.1-2.7	None
3 Bayesian Networks	slides 3 [pdf] [ppt] Noisy OR	exercises 3.1-3.6 Hugin Exercises [pdf-file]	Constructing Networks
4 Beliefs and Defaults	slides 4	exercises 4.1-4.9	None
6 Multi-Agent Systems	slides 5	exercises 5.1-5.11 Byzantine Agreement Task article to read questions to answer	None
Hugin Exercises [pdf-file] 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! Kinderziekten met vlekjes [Webpagina]

Schedule

Week	Content	Remarks
1	Representing uncertainty 1	Slides 1, Ex. 1.4-1.5
2	Representing uncertainty 2	Slides 1, Ex. 1.10-1.12, 1.13(iii)
3	Updating beliefs 1	Slides 2, Ex. 2.4-2.5 (No course on February 17)
4	Updating beliefs 2 / Test 1	Slides 2/ Test 1 (February 24) (no new exercises this week)
5	Bayesian networks 1	Slides 3, Ex. 3.4 & 3.6
6	Bayesian networks 2	Slides 3, Hugin Ex.1, 2, 4, 5
7	No course (exam preparation)	No course (exam preparation)
	xxxxx… Exam week …xxxxx
1	Project presentations / Test 2	Hugin assignment / Test 2
2	Beliefs and defaults 1	Hugin has to be submitted!! Slides 4, Ex. 4.3-4.4.
3	Beliefs and defaults 2	Slides 4, Ex. 4.7-4.9
4	Multi-agent systems 1	Slides 5, Ex. 5.1, 5.7, 5.8 (no course on April 21)
5	Multi-agent systems 2	Slides 5, Ex. 5.10, 5.11
6	Multi-agent systems 2/3	Slides 5 (no course on May 5, bevrijdingsdag)
7	Multi-agent systems 3 / Test 3	Slides 5 / Test 3
8		Byzantine agreement task has to be submitted article to read questions to answer

Related Websites