CS405 - Introduction to Empirical Modelling 2009/10
Content
The key themes of the module are summarised in the description of computer science taught modules. The way in which these themes are developed varies from year to year, as can be seen from the previous CS405 webpages to which links are given below. A radically new variant of the principal modelling tool ("the EDEN interpreter") has been developed by Nick Pope for this year's module. This will have a significant impact both on the content of lectures and labs and on the way in which material is presented. It will also open up new opportunities for Empirical Modelling projects that address issues that have proved problematic with the existing versions of EDEN.
Timetable
For 2009-10, CS405 will run in Term 1, weeks 1-10:
- Lecture: Monday 12 noon in CS101
- Lab Session: Tuesday 11 am-1 pm in CS101/CS001
- Lecture: Thursday 12 noon in CS101
The first session will be a 2 hour lab session on Tuesday October 6th. A brief introduction to this session will be given in CS101 at 11am, and will lead into the practical laboratory session in CS001.
The CS405 examination will take place on Friday May 28th. For more information about the form and content of the examination, consult the notes distributed at the revision lecture.
Remember the module forum
Previous material 2005-6, 2006-7, 2007-8 and 2008-9 is available for those interested. The current CS405 page is here.
See also:
• The First Warwick Electronic Bulletin on EM
• The Second Warwick Electronic Bulletin on EM
• The Third Warwick Electronic Bulletin on EM
• The Fourth Warwick Electronic Bulletin on EM
• The Fifth Warwick Electronic Bulletin on EM
Download the tkeden tool (version 1.67). This is an older and simpler tool than tkeden-2.10, which is as yet only available in the labs, as discussed below.
Coursework
Details of the 2009-10 assignment are now available via the assignment webpage. (See the tabs on the left-hand panel of the assignment webpage for details of the initial and final submission procedures.)
Examination
The coursework and the examination contribute 50% to the final mark for the module. The format of the CS405 exam for 2010 will be unchanged: Question 1 is a compulsory question, and you must answer two questions out of the other four. You will have 3 hours in which to answer the paper. This year's paper will be marked out of 50 (question 1 will carry 20 marks, and questions 2, 3, 4 and 5 will carry 15 marks).
Lectures
- Lecture 1 - Reflecting on Lab 1 (8th October)
Lecture text: DOSTE in the context of EM
Handout: DOSTE in context auxiliary slides - Lecture 2 - On construal (12th October)
Lecture text: The notion of construal
Demonstration of construal in a commonsense context based on EM model liftBeynon2003 - Lecture 3 - Key notions in EM: experience, state, observable, dependency, agency (15th October)
Handout: Empirical Modelling and Dewey's elaboration of the term "experience"
Handout: Depicting the process of construing
Handout: Intelligence - artificial and real
Handout: A Mensa problem with commentary extracted from EM paper #50
Handout: Observables, dependencies and agency
Handout: Illustrating EM applications
Illustrative example based on Online models: oxoGardner1999 and oxoJoy1994 (The extract from the OXO model script handed out - which can be found in context as an appendix to EM paper #033 - was from oxoJoy1994, which is why it didn't work with oxoGardner1999! To interpret the script handed out, you can consult the online version of oxoJoy1994.) - Lectures 4 & 6 - DOSTE and EDEN in EM Part 1 (19th and 26th October)
Handout (pdf): DOSTE and EDEN in EM
Supplementary slides (ppt): DOSTE and EDEN in EM - Lecture 5 - Dependency in Action (22nd October)
Lecture slides (ppt): Dependency in Action
Handout (pdf): Dependency in Action - About the module assignment - WEB-EM-06 (29th October)
See the assignment webpage for full details of the coursework and submission procedures - Lecture 7 - Introducing EDEN - from a conceptual perspective (2nd November)
Lecture text: How EDEN (cf. DOSTE) addresses the three key concerns of EM
Demonstrating state representation using a definitive script: "mirror OXO" model
Demonstrating semantic link between construal and referent: "cabinet digit" model
(These demonstration models illustrate the use of Web EDEN) - Lecture 8 - Illustrating the use of EDEN (5th November)
Negotiating meaning through incremental development: cabinetdigitpresBeynon2007
Viewing computing as construction: A personal construal of modes in the vi editor
Ben-Ari on Constructivism in Computer Science education
A study in personal construal: the "vi editor modes" model - Lecture 9 - Introducing EDEN - from a practical perspective (9th November)
Practical background to the use of EDEN: Using the EDEN interpreter
Illustrating the use definition, function and action in EDEN using jugsBeynon2008.
See additional notes at Lecture 7 from CS405 2007-8. - Lecture 10 - Modelling with definitive scripts (12th November)
Practical modelling with definitive scripts: The Scout and Donald definitive notations
Towards multi-agent modelling - the anthropological move: antnavigationKeer2005 - Lecture 11 - From single-agent to multi-agent modelling (16th November)
Handout: From single-agent to multi-agent model-building
Handout: Variations on the theme of room modelling
Handout: Intelligence - artificial and real
Handout: Artefacts, construals, models, programs - Lecture 12 - Constructionism, software development and educational technology (19th November)
Handout: About constructionism (from Chris Roe's PhD thesis Chapter 4, p106)
Handout: The room in Logo
EDEN Script: Specifying the room in basic Logo
Online model: logoparserRoe2002 (to be interpreted with tkeden-1.49 / Linux or tkeden-1.46 / Windows)
Lecture slides: Dependency by definition in Imagine-d Logo - EDEN presentation
Online paper: Dependency by definition in Imagine-d Logo: applications and implications - Lecture 13 - Rethinking Programming (23rd November)
Online paper:Rethinking Programming
Lecture slides: Rethinking programming: modelling heapsort as a case study
Supplementary slides: Heapsort DMT and WP specification
Handout: Heapsort model interactions
Handout: Morals of the heapsorting exercise
- Lecture 14 - Concurrent Systems Modelling - LSD (26th November)
Online notes: The LSD notation for domain analysis and description
Online examples: Examples of LSD accounts and specifications
Online notes: Principles for developing an LSD account
Handout: LSD for the railway station animation (see also ~wmb/public/projects/simulations/train) - Lecture 15 - Concurrent Systems Modelling - the role of artefacts (30th November)
Online notes: Empirical Modelling Artefacts in Concurrent Systems Modelling
Online model: digitalwatchFischer1999
Online model: railwayYung1995 - Lecture 16 - The Abstract Definitive Machine and the Animation of LSD accounts (3rd December)
Lecture slides: An overview of the Abstract Definitive Machine
Online notes: The Abstract Definitive Machine
Online model: cruisecontrolBridge1991 (which now runs much too fast! ... but has useful exercises)
Online notes: More about DOSTE and EDEN - Lecture 17 - Human Computing (7th December)
Lecture slides: Human Computing
Handout: J.C.R. Licklider, Man-Computer Symbiosis, 1960, IRE Transactions on Human factors in Electronics
Handout: Brian Cantwell-Smith, The Foundations of Computing, in M. Scheutz (ed) 'Computationalism' (2002)
Labs
The new version of the EDEN interpreter ("tkeden-2.10") at present only exists as a Linux prototype. It is currently installed as the default version of tkeden on the Linux workstations in CS001. Older variants of EDEN will also be exercised in the module and are sufficient for running existing models in the EM archive. These are available for download for a range of operating systems from the link above. The recently added webpage on the Web EDEN interpreter may also be of interest as a site giving convenient access to some EM models.
- Lab 1 - Introduction to the EM tools (6th October)
Handout: Introductory remarks
Exercises (based on Nick Pope's Stargate model -- see gate.dasm in ~wmb/RESEARCH/PhD/NickP/svn/projects/published/stargate directory)
[The original sources from which the Stargate model were derived are in the ~wmb/RESEARCH/PhD/NickP/WGD/scripts/stargate directory]
Handout: Matters arising from the laboratory
- Lab 2 - Objects, Cloning and Animation with DASM (13th October)
Handout: Introductory remarks
Exercises - Lab 3 - DOSTE Semantics (20th October)
Exercises - Lab 4 - GUI and Agents with DOSTE (27th October)
Exercises - Lab 5 - The Sudoku Experience workshops (3rd November)
ExercisesSupplementary information for Lab 5 - the workshops relating to the Sudoku Experience are now in the subdirectory sudokuexperienceBeynon2009 in the EM archive.
- Lab 6 - Linking DOSTE and EDEN (10th November)
Exercises - Lab 7 and 8 - Coursework consultation and preparation (17th and 24th November)
Supplementary information: More about DOSTE and EDEN - Seminar on Railway Accidents (1st December)
Introductory Slides: Back to the Future ("Modern Computing in Railway History")
Handout: The Railway Disaster Exercises: Clayton Tunnel, Tamworth, Abermule
Handout included: Tamworth station accident 1870
Supplementary slides: Tamworth station maps 1870
Handout: LSD accounts relating to Tamworth accident scenario
Online paper and model: James Silver "Abermule Railway Station: agent-oriented task-centred Empirical Modelling": WEB-EM-05
Model Demonstration: claytontunnelChanHarfield2005 - Lab 9 - Coursework feedback and consultation (8th December)
Generic feedback and individual feedback
Installing tkeden-2.10 on a laptop
Advice on writing your paper