|
The Monet 2000
Summer School was held in Bertinoro, Italy. Organising
Committee
Bert Bredeweg
Department of Social Science
Universiteit
van Amsterdam Amsterdam,
The Netherlands
Liliana Irani
Istituta di Analisi Numerica (CNR) Pavia, Italy
Louise Trave-Massuyes LAAS/CNRS
Toulouse, France
List of Teachers
Alan Blackwell
Computer Laboratory
University of Cambridge
Cambridge, UK
Alan.Blackwell@cl.cam.ac.uk
http://www.cl.cam.ac.uk/users/afb21/
Bert Bredeweg
Department of Social Science Infomatics (SWI)
Universiteit van Amsterdam
Amsterdam, The Netherlands
bert@swi.psy.uva.nl
http://www.swi.
psy. uva. nl/usr/bert/home.html
Tony Cohn
School of Computer Studies
University of Leeds
Leeds, UK
agc@scs.leeds.ac.uk
http://www.scs.leeds.ac.uk/staff/agc.html
Luca Console
Dipartimento di Informatica Universita' di Torino
Torino, Italy
Luca.Console@di.unito.it
http://www.di.unito.itl-iconsole/
Ken Forbus
Institute for the Learning Sciences Northwestern University
Evanston, Illinois, USA
forbus@aristotle.ils.nwu.edu
http://www.cs.nwu.edu/-forbus/
Liliana Irani
Istituta di Analisi Numerica (CNR)
Pavia, Italy
liliana@supers1.ian.pv.cnr.it
http://dragon.ian.pv.cnr.it/-liliana/
Ben Kuipers
Department of Computer Sciences
The University of Texas at Austin Austin, Texas, USA
kujpers@cs.utexas.edu
http://www.cs..utexas.edu/users/kuipers/
Andy Steele
Unilever
London, UK
Andy.Steele@Unilever.com
http://www.unilever.com/
Peter Struss
Department of Computer Science
Technical University of Munich
Munich, Germany
struss@informatik.tu-muenchen.de
http://www9.informatik.tu-muenchen.de/people/struss/struss.html
To see the final
report, follow the link below.
Final
Report
Lecture
Details / Slides
In
the schema below 'A1' (etc) refers to three-hour-iong lecture number
1 (etc). 'B1' (etc) refers to two-hour-iong lecture 1 (etc). 'Welcome'
refers to a 1 hour (maximum) general introduction to the Summer
School.
Monday
15th
09.00
Welcome
10.00 Lecture A1: Introduction to Qualitative Modelling and Simulation
(Teacher: Ken Forbus; 3 hours).
unit A 1.1: Motivation
unit A 1.2: Qualitative
Model(ling)(s)
unit A 1.3: Model Construction
and Simulation
14.00
Lecture A2: Advanced Topics in MBS/QR
(Teacher: Unit A2.1 & A2.3 Ken Forbus and Unit A2.2 Peter Struss
3 hours)
unit A2.1: Causality
unit A2.2: Advanced
Qualitative Calculus
unit A2.3: Modelling
Paradigms
Tuesday
16th
09.00
Lecture A3: Model-Based Diagnosis
(Teacher: Luca Console; 3 hours)
unit A3.1: Introduction and Motivation
unit A3.2: Multiple and Large Scale Models
unit A3.3: Examples, Non-technical Domains and Remaining Problems
1400
Lecture B1: Model-based Diagnosis in the Automotive Industry
(Teacher: Peter Struss; 2 hours)
unit B1.1: Introduction, Motivation and Problems (Part
1: Part 2
: Part 3)
unit B1.2: Examples and Remaining Problems (Part
1: Part 2
: Part 3)
Lecture
B2: Model-based Reasoning in Ecology Domains
(Teacher: Peter Struss; 2 hours)
unit B2.1: Introduction,
Motivation and Problems
unit B2.2: Examples
and Remaining Problems
Wednesday 17th
0900
Lecture A4: Qualitative Reasoning and Educational Systems
(Teacher: Bert Bredeweg)
unit A4.1: Introduction
and Motivation
unit A4.2: Teaching Functions
in Interactive Learning Environments (ILE)
unit A4.3: Examples and
Remaining Problems
Afternoon
Social Outing to Ravenna
Thursday
18th
0900
Lecture A5: Qualitative and Semi-Quantitative Simulation
(Teacher: Ben Kuipers; 3 hours)
unit A5.1: Modeling and
Simulation with Incomplete Knowledge
unit A5.2: Semi-quantitative
Simulation
unit A5.3: Abstraction
Methods that Help Make Qualitative Simulation Tractable
14.00
Lecture 83: Model-based Reasoning for Control Tasks & Medical
Applications
(Teacher: Unit B3.1 Ben Kuipers and Unit B3.2 Liliana Ironi)
unit B3.1 Model-based
Reasoning for Control Tasks
unit B3.2: QR and Medical
Applications
Lecture
B4: Diagrammatic Reasoning and Visualisation of System Behaviour
(Teacher: Alan Blackwell; 2 hours)
(Both links go to the entire
presentation)
unit B4.1: Introduction
and Motivation
unit B4.2: Examples and
Remaining Problems
Friday 19th
0900
Lecture B5: Qualitative Reasoning and Mathematical Modeling
(Teacher: Liliana Ironi; 2 hours)
unit B5.1: Quantitative
Modeling
unit B5.2: A Case Study
Lecture
B6: Knowledge Management using MBS/QR Technology
(Teacher: Andy Steele)
unit B6.1: Introduction and Motivation
unit B6.2: Examples and Remaining Problems
Lecture
B7: Qualitative Spatial Reasoning and Kinematics
(Teacher: Tony Cohn)
(Both links go to the entire
presentation)
unit B7.1: Introduction,
Motivation and Problems
unit B7.2: Examples and
Remaining Problems
|
