Module Import 04IN2001 - Non-classical logics

Status: Published
Workload6 ECTS = 180 hrs
Credits, Weight6 ECTS, (n.s.)
Language of Instruction German or English
Semester (n.s.)
Duration1 Sem.
M/E Elective
Courses
Course No. Type Name MA/EL Workload Credits Contact Hours Selfstudy Group Size
04IN2001-1 Lecture Non-classical logics EL 4.5 ECTS = 135 hrs - 3 hrs/week = 45 hrs 90 hrs 30
04IN2001-2 Seminar/Exercise Non-classical logics EL 1.5 ECTS = 45 hrs 1.5 ECTS 1 hrs/week = 15 hrs 30 hrs 30
Learning Outcomes

The students learn about the most important non-classical logics which are relevant for computer science. They learn how to use these logics for modeling and analyzing systems and also how to apply the deductive technics and calculi for automated reasoning in several classes of non-classical logics.

Content

(not specified)

04IN2001-1 - Non-classical logics

1. Introduction

  • History of non-classical logic
  • Recapitulation: classical logic.

2. Many-Valued Logics

  • Finitely valued logics: definition, examples, calculi
  • Fuzzy logics: definition, examples, calculi

3. Modal logics Introduction:

  • Motivation, examples
  • Syntax; Axiom systems, provability
  • Semantics (Modal algebras, Kripke models)
  • Correspondence theory
  • Normal modal logics
  • Decidability
  • Description logics
  • Modal predicate logic
  • Calculi for modal logics

4. Dynamic logic Introduction:

  • Motivation, examples
  • Syntax; Axiom systems, provability
  • Semantics (Kripke models)
  • Propositional dynamic logic: Completeness, Decidability

5. Applications

04IN2001-2 - Non-classical logics

04IN2001-2 Non-classical logics

In the exercises for the lecture "Non-classical logics" the material presented in the lectures is repeated in order to achieve a thorough understanding. Solutions to exercises related to the topics of the lectures are presented and discussed by the students.

Teaching Methods

Lecture with interactive elements.

Exercise: The students present the results of their work; Discussions.

Prerequisites

Basic knowledge of logic: Propositional logic and predicate logic as taught in the lecture "Logic for computer scientists".

The book of Uwe Schöning "Logik für Informatiker", 5. Auflage. Spektrum Akademischer Verlag, 2000 covers the prerequisites sufficiently.

Examination Methods

Oral or written exam, depending on the number of participants

Weight of the grade in the final grade for Lehramt Gymnasium: 5% corresponding to LP (6:120); for Lehramt Realschule: 10% corresponding to LP (6:60)

Credit Requirements

(not specified)

References

(not specified)

04IN2001-1 - Non-classical logics

Peter H. Schmitt. Nichtklassiche Logiken. Skriptum zur Vorlesung. Universität Karlsruhe, 200.

S. Gottwald. A Treatise on Many-Valued Logic. Research Studies Press, 2001.

M. Fitting. Basic modal logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 1: Logical Foundations. 368-448

F. Baader, D. Calvanese, D.McGuiness, D. Nardi, and P.Patel-Schneider.The Description Logic Handbook. Cambridge University Press, 2003.

D. Harel and D. Kozen and J. Tiuryn. Dynamic logic, MIT Press, 2000

E.A. Emerson. Temporal and modal logic. Handbook of Theoretical Computer Science, 1990.

Use of this Module
  1. unmodified as Elective  -    BSc Computer Science 2017  -    Mandatory elective courses Computer Science  -    Non-classical logics
  2. unmodified as Elective  -    BSc Computational Visualistics 2017  -    Mandatory elective courses Computer Science  -    Non-classical logics
  3. unmodified as Elective  -    BSc Computational Visualistics 2017  -    Mandatory elective courses in Computational Visualistics or computer science  -    Non-classical logics
  4. unmodified as Elective  -    MSc Computer Science 2017  -    Mandatory elective courses in mathematics and theoretical computer science  -    Non-classical logics
  5. unmodified as Elective  -    MSc Computer Science 2017  -    Mandatory elective courses Computer Science  -    Non-classical logics
  6. unmodified as Elective  -    MSc Computer Science 2017  -    Major subject computer science  -    Data and Knowledge Engineering  -    Non-classical logics
  7. unmodified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses Computer Science  -    Non-classical logics
  8. unmodified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in Computational Visualistics or computer science  -    Non-classical logics
  9. unmodified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in theoretical computer science and mathematics  -    Non-classical logics
  10. unmodified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in theoretical computer science and mathematics or natural and social sciences  -    Non-classical logics
  11. unmodified as Elective  -    MSc Information Systems 2017  -    Mandatory elective courses Application Systems in Business and Administration  -    Non-classical logics
Responsible / Organizational Unit
Sofronie-Stokkermans, Viorica / Institute for Computer Science
Additional Information

(not specified)

Last change
Apr 24, 2018 by Frey, Johannes
Last Change Module
Sep 18, 2018 by Frey, Johannes