This is the course page of the course Commonsense Reasoning 2012/2013. The information below will be continuously updated during period 2.

Lecturer

Henry Prakken

Course description:

See the study guide description for a general description of the course and the course schedule.

Prerequisite knowledge:

At the start of the course the student should have a knowledge of standard propositional and first-order predicate logic and elementary set theory as taught in Logica voor Informatica (Logic for Computer Science) or an equivalent course.

Reading + software:

• Reader Commonsense Reasoning, Henry Prakken, 2012/2013.
  • Except in Section 10.5 (Antoniou), the proof of Theorem 4.5 (an alternative proof was given in HC 2).
• The parts specified in the reader, Chapter 10, of the following articles, to be downloaded from the web:
  • M. Shanahan, The event calculus explained. In M.J. Wooldridge and M. Veloso (eds.): Artificial Intelligence Today, Lecture Notes in AI 1600, pp. 409-430. Berlin: Springer Verlag, 1999.
    • Except Section 3.5.
  • J. Pearl, Embracing causality in default reasoning. Artificial Intelligence 35 (1988), pp. 259-271.
  • P.J. Lucas, Symbolic diagnosis and its formalisation. The Knowledge Engineering Review 12 (1997), pp. 109-146 (until and including Section 4.2, Example 4).
  • H. Prakken, Formalising a legal opinion on a legislative proposal in the ASPIC+ framework. In B. Schafer (ed.), Legal Knowledge and Information Systems. JURIX 2012: The Twenty-fifth Annual Conference. Amsterdam etc, IOS Press (2012).
• Educational software:
  • OVA-gen, a tool for computing with abstract argumentation frameworks.
  • Toast, an implementation of an ASPIC+ instantiation.

Examination

The examination of this course consists of two parts:

• Three mandatory exercises during lectures;
• A final exam (example exam with answers).

Both the manadatory exercises and the final exam are "open book but closed notebook": the student is allowed to take the course reader and the articles listed above to the exerices and exam, but the reader and articles must not contain any additional notes, whether handwritten or other; neither is the use of any other material during the exercises or exam allowed, unless announced otherwise at this page.
The three mandatory exercises will cover the material specified below, while the final exam will cover the following material:

• The course reader and the additional articles mentioned above, except the parts that are explicitly excluded in the reader or at this page.
• The above-listed educational software plus explanatory material.
• The contents of the lectures and working groups.
  

The final result of the course is determined as follows: average of the marks for the three mandatory exercises (20%) + mark for final exam (80%). For admission to the second-chance exam the original final result must be at least a 4. For the final result after the 2nd chance exam the mark for the final exam is replaced with the mark for the 2nd chance exam (so the average mark for the mandatory exercises also counts for the final result after the 2nd chance exam).

Topics of the lectures

The tables below contain the schedule, topics and discussed literature of the lectures, as well as exercises on the topic of the lecture. NB: the schedule may change if needed, so please check it before each lecture.

- Lectures (HC): (date in red: first hour mandatory exercise)

lecture	date	topics, reading + exercises	slides
HC 1	Mon 12-11	Default logic 1: Reader Section 10.5: pages 3-5 and 19-29 of Antoniou.	slides
HC 2	Wed 14-11	Default logic 2: Reader Section 10.5: sections 4.1 and 4.2 of Antoniou. Exercises: 2.1.1-2.1.6	slides
HC 3	Mon 19-11	Default logic 3: reader Section 10.5: sections 4.5, 5.1, 5.4, 7.5, 8.1 of Antoniou. Exercises: 2.1.7-2.1.14	slides
HC 4	Wed 21-11	Circumscription reader Ch. 1. Exercises: 2.2.1-2.2.8	slides
HC 5	Mon 26-11	Event calculus Shanahan, sections 1, 2, 3.1-3.4. Exercises: 2.4.1-2.4.4	slides
HC 6	Ma 03-12	Abstract argumentation - semantics 1. reader Ch. 3, sections 4.1-4.4. Exercises: 3.2.1, 4.8.1, 4.8.7, 4.8.8	slides
HC 7	Wed 5-12	Abstract argumentation - semantics 2. reader Ch. 4. Exercises: 4.8.2-4.8.6, 4.8.9-4.8.15	slides
HC 8	Mon 10-12	Abstract argumentation - proof theory. reader Ch. 5. Exercises: 5.4.1-5.4.7	slides
HC 9	Wed 12-12	Structured argumentation (1) reader sections 6.1-6.2. Exercises: 6.5.1-6.5.4	slides
HC 10	Mon 17-12	Structured argumentation (2) reader sections 6.3-6.4. Exercises: 6.5.5-6.5.11	slides
HC 11	Mon 07-01	Structured argumentation (3) reader sections 6.1-6.4. Exercises: 6.5.1-6.5.11	slides
HC 12	Wed 09-01	Reasoning with causal information Pearl (1988); Lucas (1997) (see reader sections 10.2-10.3). Exercises: 9.1.1-9.1.3	slides (part 1) (part 2)
HC 13	Mon 14-01	Dialogue systems for argumentation (1); 7.1-7.4.1. Exercises: 7.6.1-7.6.2	slides
HC 14	Wed 16-01	Dialogue systems for argumentation (2); reader sections 7.4-7.5. Exercises: 7.6.3-7.6.10	slides
HC 15	Mon 21-01	Concluding remarks, question time.	slides

- Mandatory exercises(WC)

All exercises take 45 minutes.

event	date	Mandatory exercises (first our of lecture)
During HC 6	Mon 03-12	On HC 1-5
During HC 11	Mon 07-01	On HC 6-10
during HC 15	Mon 21-01	On HC 11-14 + Prakken (2012b).