Non-monotonic Logic / Theory of Rational Reasoning (M Peliš)

Topics
Exercises
Study
References

Last update
27.12.07

back to Courses

Dpt of Logic (Faculty of Arts, Charles University)
Winter semester
2/0 Z
LOG021,LOG0508

Topics

  1. Non-monotonic reasoning
  2. Classical consequence
    1. Basic properties of classical consequence (reflexivity, cumulative transitivity, monotony)
    2. Compactness and maximalizability property
    3. Supraclassicality and paraclassicality
    4. Uniform substitution
    5. How to get more
  3. Additional background assumptions
    1. Pivotal-assumptions
    2. Default-assumptions (cautious monotony, non-compactness)
  4. Restrictions of the set of models (valuations)
    1. Pivotal-valuations (non-compactness, definable sets of valuations)
    2. Default-valuations (preferential models, consistency preservation, non-monotonicity, non-transitivity, cautious monotony for well-founded relations on models, not consistency preservation)
  5. Additional background rules
    1. Pivotal-rules (neither disjunction in the premisses nor contraposition)
    2. Default-rules
  6. Default logic
    1. Default rules
    2. Default theories
    3. Operational semantics (process, extension)
    4. General properties (consistency preservation, cautious monotony)
    5. Normal default theories (existence of extensions, monotony in defaults, orthogonalitz of extensions)
    6. Representation in normal default theories (non-normality required)
    7. Semi-normal default theories
    8. Proof theory for default logic
    9. Joint consistency of justifications
    10. Modified extensions
    11. Priorities among defaults

Exercises

  1. Exercises A-E (pdf-file)
  2. Exercises F (pdf-file)

Study

The course is also maintained at Moodle. All topics and terms introduced in lectures are covered by emphasized literature, by slides and handouts (see below), and by exercises. Moreover, the exercises include all basic terms and theorems. They fully cover the contents of handouts Introduction to Nonmonotonic Logics. For the topics A-E we recommend the book [Makinson 2005], some parts of chapters 1-4. Default logic (with operational semantics, topic F) is presented in [Antoniou 1997], some parts of chapters 3-7. See also [Meyer and van der Hoek 1995].

References

  • G Antoniou. Nonmonotonic Reasoning. MIT Press, 1997
  • D Batens, C Mortensen, G Priest, J-P Van Bendegem (eds.) Frontiers of Paraconsistent Logic. Research Studies Press Ltd., 2000
  • A Bochman. A Logical Theory of Nonmonotonic Inference and Belief Change. Springer, 2001
  • P Doherty (ed.) Partiality, Modality, and Nonmonotonicity. CSLI, 1996
  • R Fagin, JY Halpern, Y Moses, MY Vardi. Reasoning about Knowledge. MIT Press, 1995
  • DM Gabbay, CJ Hogger, JA Robinason (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming. Vol 3. Nonmonotonic Reasoning and Uncertain Reasoning. Clarendon Press, Oxford 1994
  • JY Halpern. Reasoning about Uncertainty. MIT Press, 2005
  • P Jirku. Teorie racionalniho usuzovani. (in Czech, only for students of the course)
  • JW Lloyd. Foundations of Logic Programming. Springer, 1987
  • D Makinson. Bridges from Classical to Nonmonotonic Logic. King's College Publications, 2005
  • J-J Meyer, W van der Hoek. Epistemic logic for AI and Computer Science. Cambridge, 1995
  • G Priest. An Introduction to Non-Classical Logic. Cambridge, 2001

Slides and handouts