Site Network: Cognitive Systems | SFB/TR 8 Spatial Cognition | Fachbereich 03 | Universität Bremen

From Syllogism to Commonsense: A Tour through the Logical Landscape (WS 2011-12)

 

Lecturers
Dr. Mehul Bhatt, Dr. Oliver Kutz, Dr. Thomas Schneider
 
Audience
Diplom, MSc, and PhD students in computer science, mathematics, philosophy and related subjects
 
Hours
V2Ü1 – 90min lecture, break, 45min tutorial
 
Time and place
Thu 16:00–18:00 and 18:00–19:00 MZH 1110 (exceptions: 3rd and 17th Nov in MZH 3150)
 

Abstract

This course will give an overview of different non-classical logics and relate them with classical logics. Tentative list of topics (subject to change):

  • Syllogism
  • Propositional logic
  • Intuitionistic logic
  • Strict implication and modal logic
  • Many-valued and fuzzy logic
  • Description logic
  • First-order logic
  • Commonsense logic: situation calculus, event calculus
  • Commonsense Spatial Reasoning

We will discuss intuitions and important theoretical aspects, and will demonstrate tools where they exist. Every lecture will be accompanied by exercises, to be discussed in the following week. There is no prerequisite for taking this course.

Literature

To be given as the course advances

 

up