Knowledge Representation and Reasoning Seminar

Knowledge Representation and Reasoning Seminar

Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2017

Lecturer

• Steffen Hölldobler
• Emmanuelle Dietz

SWS

• 0/2/0

Modules

• INF-AQUA
• INF-BAS2
• MCL-PI
• MCL-KR
• MCL-PCS
• EMCL-A-KR
• EMCL-PI
• EMCL-PCS
• INF-04-HS
• INF-D-940

Examination method

• Oral exam
• Seminar presentation

• Information

Conditionals in Nonmonotonic Reasoning and Belief Revision

The requirements for the KRR Seminar are as follows:

• You need to be at least a minimum of five students that want to participate
• You attend all talks during the term
• You select one of the topics presented below and communicate your choice to Emmanuelle Dietz
• You write a short report of about 5 to 10 pages about the topic and give a presentation of about 30 minutes at the end of the semester
• The report and the slides have to be send one week before the presentation to Emmanuelle Dietz

Schedule

• the seminar will take place in room APB2008

• the seminar will take place on Monday, 6.DS (16:40 - 18:10, starting on 10.4.2017)

Topics

We will discuss the book Conditionals in Nonmonotonic Reasoning and Belief Revision from Gabriele Kern-Isberner. An online version of the book is accessible via de university network here. For this purpose every student will choose one of the chapters below. For the report and the presentation, you are supposed to work out and discuss with help of running examples the ideas presented in each chapter.

• Topic 1
  • Chapter 3, Conditionals (pp. 27-51) is about how conditional structures can be represented appropriately to investigate interrelated effects of conditionals
• Topic 2
  • Chapter 4, Revising Epistemic States by Conditional Beliefs (pages 53-72) is about revision by conditional beliefs, belief sets and AGM postulates
• Topic 3
  • Chapter 5, Characterizing the Principle of Minimum Cross-Entropy (pages 73-90) is about probability theory and how to deal with incomplete information
• Topic 4
  • Chapter 6, Reasoning at Optimum Entropy (pages 91-101) is about how inferring at optimum entropy fits the formal framework for nonmonotonic reasoning
• Topic 5
  • Chapter 7, Belief Revision and Nonmonotonic Reasoning - Revisited (page 103-117) is about exploiting the relationships between nonmonotonic reasoning and belief revision and revision versus updating
• Topic 6
  • Chapter 8: Knowledge Discovery by Following Conditional Structures (page 118-135) is about knowledge discovery within a probabilistic framework where experimental data is assumed to be represented by a probabililty function.
• Topic 7
  • paper "Simulating Human Inferences in the Light of New Information: A Formal Analysis"

• 10.04. initial meeting
• 17.04. Easter (official holiday)
• 24.04. The Complexity of Contextual Abduction in Human Reasoning Tasks by Tobias Philipp
• 01.05. Labor Day (official holiday)
• 08.05. Obligation versus Factual Conditionals under the Weak Completion Semantics by Isabelly Lourêdo Rocha
• 15.05. no seminar
• 22.05. A Computational Logic Approach to the Belief Bias in Human Syllogistic Reasoning by Emmanuelle Dietz
• 29.05. Fuzzing RAT Refutations with Deletion Information by Elias Werner
• 05.06. Pentecost (official holiday)
• 12.06. From Logic Programming to Human Reasoning: How to be Artificially Human by Emmanuelle Dietz
• 10.07. Principles and Clusters in Human Syllogistic Reasoning by Richard Mörbitz
• 17.07. On a Dual Approach to Propositional Model Counting by Sibylle Möhle