Schedule

Week Tuesdays, 15.15-17.00 Homework Exercises

December 2

 More on basic conceps of information flow theory.

The slides used in the lecture are here.

The lecture was based on the following sources (mainly):

  • J. Barwise and J.Seligman. Information Flow. Sections 1.2-1.3, 2.1, 2.2.
  • Keith Devlin. Lecture notes on the mathematics of Information. ESSLLI 2001 (pdf).
Exercise Sheet (pdf)
Due December 14th, 17:00 in class.

November 30

 Multicontext Systems (MC). Some basic concepts about information flow theory: classifications, infomorphisms, channels.

The slides used in the lecture are here.

The lecture was based on the following sources (mainly):

  • C.Ghidini and F.Giunchiglia. Local Semantics, or: Contextual Reasoning = Locality + Compatibility (ps).
  • C.Ghidini and L.Serafini. Distributed First Order Logics (pdf). Here you find a sketch of the completeness proof for MC systems in first order logic.
  • J. Barwise and J.Seligman. Information Flow. Sections 1.1-1.4, 2.1, 2.2.
  • Keith Devlin. Lecture notes on the mathematics of Information. ESSLLI 2001 (pdf). (This notes are basically a good summary of the above sections from the Information Flow book. In class I only covered the first 5 pages of the notes).
Exercise Sheet (pdf)
Due December 7th, 17:00 in class.

November 23

 NO CLASS  

November 16

 Quantificational logic of context (QLC). Local Model Semantics (LMS).

The slides used in the lecture are here.

The lecture was based on the following sources:

  • S.Buvac. Quantificational Logic of Context (pdf).
  • M. Benerecetti, P. Bouquet, and C.Ghidini. Contextual Reasoning Distilled (ps).
  • C.Ghidini and F.Giunchiglia. Local Semantics, or: Contextual Reasoning = Locality + Compatibility (ps).
 Exercise Sheet (pdf)
Due November 30th, 17:00 in class.

November 9

 Propositional Logic of Context (PLC).

The slides used in the lecture are here.

Reading material:

  • Sasa Buvac and Ian Mason. Propositional Logic of Context (pdf).
Exercise Sheet (pdf)
Due November 16th, 17:00 in class.
November 2 Formalization of context: where and why it is important.
Discourse Representation Theory: a linguistic example.

Reading material: (if you have problems downloading, send me an email and I'll send a copy of the readings to you).

  • Varol Akman and Mehmet Surav. Steps Towards Formalizing Context (only up to page 10) . Download the Postscript file.
  • D.J.N. van Eijck and H. Kamp. Representing Discourse in Context (up to section 5). Download a compressed Postscript file from this webpage.
  • Patrick Blackburn and Johan Bos. Working with Discourse Representation Theory. Chapter 1. One of the authors has the book online here.
Exercise Sheet (pdf)
Due November 9th, 17:00 in class.
October 28 Note: Thursday, 9:30-12:30, Room P.017
Written Exam.
The midterm exam is worth 12 (out of 48) points.
You will be able to find the results of the exam (listed by UvA ID) here.
October 26 NO CLASS (EXAM WEEK)
October 19 Combinatorial games on graphs. The game of Nim. Tree Unravelings. Games with a (non-finite-horizon) draw.

Reading material:
  • PP-2004-11. Benedikt Löwe, A non-monotone Fraenkel-Lévy labelling for the asymmetric combinatorial game on cyclic graphs (in particular, Sections 2 and 3); Link to PDF-file in the ILLC Publications
  • Aviezri S. Fraenkel, Combinatorial game theory foundations applied to digraph kernels Electronic Journal of Combinatorics 4 (1997); Link to journal webpage
Exercise Sheet (pdf)
Due October 26th, 17:00 in the mailbox S.Bold (or by e-mail).
October 12 Knowledge Condition Games

Reading material: 		NO HOMEWORK
October 5 Zero-sum games of perfect information. Determinacy of finite and finite-horizon games. Exercise Sheet (pdf)
Only Exercise 2 is due October 12th, 17:00 in class; (exercise 1 will be due on Oct 26th).
September 28 Expressive power

Reading material:
  • Johan van Benthem, Chapter 2 of the Logic and Games course notes (pdf)
Exercise sheet (ps,pdf)
Due October 5th, 17:00 in class.
September 21 Dynamic epistemic logic and public announcement logic

Reading material:
  • Johan van Benthem, Games in Dynamic-Epistemic Logic (pdf)
  • chapter 5 of Hans van Ditmarsch and Wiebe van der Hoek's book on dynamic epistemic logic. (ps, pdf)
Exercise sheet (ps,pdf)
Due September 28, 17:00 in class.
September 14 Epistemic logic

Reading material:
  • Chapter 2 of my dissertation (ps,pdf)
Exercise sheet (ps,pdf)
Due September 21, 17:00 in class.
September 7 Game theory

Reading material:
  • Marc Pauly's game theory notes (ps,pdf), section 3
From the course notes 2.5:3 and 3.6:3.
Due September 14, 17:00 in class.