Computationele logica

Computational Logic

Studiewijzer 2025/2026

Globale inhoud

• Logic, knowledge, learning and belief representation and reasoning. The modal logic of knowledge and belief. Information flow: knowledge updates, belief change, communication. Notions of Dynamic Epistemic Logic.
• Common sense reasoning: Default Reasoning and Non-monotonic Logics. Belief Revision Theory.
• Logic in Multi-Agent Systems: logics for agency, cooperation and planning. 

Studiemateriaal

Literatuur

• A. Baltag, H. P. van Ditmarsch and L.S. Moss, Epistemic logic and information update, in the 'Handbook of Philosophy of Information' (Editors: P. Adriaans and J. van Benthem), part of 'Handbook of Philosophy of Science', vol. 8, pp. 361-455, Elsevier, 2008. A link to this content will be made available on Canvas.

• Optional: H. P. van Ditmarsch, W. van der Hoek and B. Kooi, Dynamic Epistemic Logic, Springer, 2007.

• Optional: J.-J.Ch. Meyer &W. van der Hoek, 'Epistemic Logic for AI and Computer Science', Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press (1995) ISBN 0 521 46014.

• Optional: 'Stanford Encyclopedia of Philosophy'. At http://plato.stanford.edu/ . In particular: the articles on ``Dynamic Epistemic Logic", ``Non-monotonic Logic", ``Defeasible Reasoning: Belief Revision" and ``Logics of Belief Revision".

• Optional: Y. Shoam and K Leyton-Brown, 'Multi-agent Systems: algorithmic, game-theoretic and logical foundations'.

• Optional: R. Fagin, J, Halpern, Y. Moses, M. Vardi.'Reasoning about Knowledge', MIT Press, 1995.

• Optional: J. van Benthem, 'Logical Dynamics of Information and Interaction', Cambridge Univ Press, 2011.

• Optional: M. Wooldridge. 'An Introduction to Multi-agent Systems', John Wiley & Sons, 2002.

Overig

• Slides will be available on Canvas after each lecture.

Leerdoelen

• The student is able to describe the basic concepts and tools in computational logic and use them to reason about AI applications
• The student is able to build logical models for various AI problems, e.g. knowledge updating, planning, communication etc.

Onderwijsvormen

The course is a veegtentamen and will not be offered in the future. Therefore, no lectures or work sessions are planned. There will be a vragenuur in week 6 and a final exam in week 8.

Verdeling leeractiviteiten

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B Artikel B-4.10):

• Voor sommige studieonderdelen geldt een aanwezigheidsplicht. Indien er een aanwezigheidsplicht geldt, dan staat dit aangegeven in de studiegids. De onderbouwing voor, en invulling van, deze aanwezigheidsplicht kan per vak verschillen, en is opgenomen in de studiewijzer. Wanneer studenten niet voldoen aan deze aanwezigheidsplicht kan het onderdeel niet met een voldoende worden afgerond.
  

Toetsing

There is one final exam and the final grade should be bigger than 5.5.  

Fraude en plagiaat

Dit vak hanteert de algemene 'Fraude- en plagiaatregeling' van de UvA. Hier wordt nauwkeurig op gecontroleerd. Bij verdenking van fraude of plagiaat wordt de examencommissie van de opleiding ingeschakeld. Zie de Fraude- en plagiaatregeling van de UvA: http://student.uva.nl

Weekplanning

Aanvullende informatie

• The course is taught in English.
• Recommended prior knowledge: Basic knowledge in mathematics and logic (in particular, propositional logic and predicate logic).

Contactinformatie

Coördinator

• Gaelle Fontaine