Non-classical Logics and Applications Seminar - Winter 2008


Announcements:

  • (15.10) The first and the second lecturers will get a bonus of 10 and 5 points respectively. Email me to reserve.
  • (17.10) The first two lectures have been reserved. Contact me if you want to reserve a specific topic.
  • (21.10) The seminar will be held on 25.10 DESPITE the lecturers strike. Please check the site for updates.
  • (27.10) All the students that plan to attend the seminar, but are still unregistered - please send me your emails so I can get in touch with you. There have been more cancellations, so please talk to me even if you were unsuccessful on the third bidding.
    Seminar overview:
      This seminar has two main goals. The first is to get a glimpse at the large variety of different non-classical logics developed recently, some of which are intended to supplement Classical Logic, while others serve as alternatives worth studying. For this purpose we will survey such important non-classical logics as Modal Logic, Many-valued Logic, Fuzzy Logic etc. The second goal of the seminar is to demonstrate the applications of non-classical logics in Artificial Intelligence. In particular we will focus on non-monotonic reasoning and reasoning with uncertainty.
    Seminar Plan:
    • Survey of Classical Logic. Why is Classical Logic not always enough?
    • Non-classical logics:
      • Many-valued Logic
      • Fuzzy Logic
      • Modal Logic and its variations: Alethic, Epistemic, Temporal, Dynamic, Deontic logics.
    • Applications of non-classical logics in AI:
      • Uncertainty reasoning:
        • Probability
        • Vagueness
      • Non-monotonic reasoning:
        • Closed-world reasoning
        • Autoepistemic Logic
        • Circumsciption
        • Default Logic
    Seminar requirements:
      Each student is required to prepare a presentation in class on a subject of his choice. The presentation will be based on introductory papers from the list of books below (and additional sources of the student's choice). Please send me your presentation file at least two days before your lecture!
    Seminar time table:

    Date Speaker Topic File
    25.10.07 Anna Introduction ...
    01.11.07 Shay Er. Many-valued Logic and Fuzzy Logic [ppt]
    08.11.07 Eyal+Ariel Modal Logic - theory [ppt][pdf]
    15.11.07 Eyal+Ariel Modal Logic - theory and applications [pdf]
    22.11.07 Hadar Epistemic Logic [pdf]
    29.11.07 Daniel Temporal Logic - theory [pdf]
    06.12.07 Reuven Temporal Logic - theory and applications [pdf]
    13.12.07 Shay Em. Uncertainty and Vagueness [pdf]
    20.12.07 Ariel G. Introduction to non-monotonic reasoning [pdf]
    27.12.08 Yulia Closed-world reasoning [pdf]
    03.01.08 Yuval Default Logic + Autoepistemic Logic [pdf]
    10.01.08 Matvey Circumscription [pdf]
    17.01.08 Katya+Dima Knowledge and action [pdf]


    Reading material:

    • A. Urquhart, "Basic Many-valued Logic", Handbook of Philosophical Logic, vol. 2.
    • D. Gabbay ed., "Handbook of Logic in Artificial Intelligence and Logic Programming", vol. 1 and 2.
    • A. Thayse ed., "From Modal Logic to Deductive Databases".
    • M. Ginsberg ed., "Readings in Nonmonotonic Reasoning".
    • R. Brachman and H. Levesque, "Knowledge Representation and Reasoning".
    • W. Lukaszewicz, "Non-monotonic reasoning - formalization of commonsense reasoning".