Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST
This course is from a past or future semester. If you are looking for current courses, go to the course overview.

Seminar "Commonsense Reasoning"

[go to overview]

Summer Term 2018

As a branch of artificial intelligence, commonsense reasoning, is concerned with the simulation of the human ability to handle problems in everyday life situations. These problems are characterized by ambiguity and uncertainty and typically require large amounts of background knowledge.
Humans naturally reason in the presence of incomplete and inconsistent knowledge, are able to reason in the presence of norms as well as conflicting norms and are able to quickly reconsider their conclusions when being confronted with additional information. The versatility of human reasoning illustrates that any attempt to model the way humans perform commonsense reasoning has to use a combination of many different techniques.

In this seminar we will discuss recent topics from the area of commonsense reasoning. We will become aquainted with different benchmarks in this area together with methods to tackle them.

The seminar is intended for master students in the area of Computer Science, Web Science, and related fields. The seminar will be held in English, and will consist of individual talks of students. Each student will research and prepare one topic in the area of commonsense reasoning, will give a presentation (30 minutes) about the topic, and will write a technical report (12 pages) about it. For the presentation as well as the preparation of the technical report it is recommended to follow the guidlines outlined in the document "Seminar Presentations and Technical Reports - Guidlines".

Knowledge in the area of commonsense reasoning or artificial intelligence is not mandatory to take part in the seminar. However it is assumed that all participant are familiar with the notion of propositional as well as predicate logic. To refresh your knowledge on logic, you could for example consider taking a look at [1]. Students who are not sure if they meet this requirement can contact Claudia Schon.


Introductory meeting: February 1st, 14:15 room E 428 
If you want to have feedback on your slides, you have to send them to me till June 11th, 2018. I will not be able to provide feedback if I receive slides at a later time.
The seminar will take place 13th and 14th of August in B016


Seminar in Klips:


[1] Melvin Fitting: First-Order Logic and Automated Theorem Proving, Second Edition. Graduate Texts in Computer Science, Springer  1996, ISBN 978-1-4612-7515-2, pp. I-XVI, 1-326


  • Scientific Employee
  • B 124
  • +49 261 287-2773
  • Scientific Employee
  • B 112
  • +49 261 287-2779