Knowledge Representation and Reasoning Seminar

From International Center for Computational Logic

Knowledge Representation and Reasoning Seminar

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

Lecturer

SWS

  • 0/2/0

Modules

Examination method

  • Oral exam
  • Seminar presentation



Conditionals in Nonmonotonic Reasoning and Belief Revision

A recent paper can be found here.

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 9.10.2017)


  • 09.10. The Syllogistic Reasoning Challenge by Richard Mörbitz
  • 16.10. initial meeting
  • 23.10. How to Deal with Unit Propagation in Projected Dual Model Enumeration by Sibylle Möhle
  • 30.10. no seminar
  • 07.11. Bounded Skeptical Reasoning by Isabelly Lourêdo Rocha
  • 13.11. no seminar
  • 20.11. Human Syllogistic Reasoning: Cognitive Principles in Multinomial Process Trees by Orianne Bargain
  • 27.11. Verified LTL to Büchi via Alternating Automata by Simon Jantsch
  • 4.12. Generalised Belief Revision by James Delgrande
  • 11.12. Chapter 3: Conditionals by Maximilian Schlosser
  • 18.12. Chapter 4: Revising Epistemic States by Conditional Beliefs by Frederic Dörband
  • 8.1. Chapter 5: Characterizing the Principle of Minimum Cross-Entropy by João Almeida
  • 15.1. Chapter 6: Reasoning at Optimum Entropy by Lukas Müller
  • 22.1. A Preliminary Approach on Modeling Machine Ethics by Dominic Deckert, Maximilian Schlosser and Marcus Krellner
  • 29.1. Chapter 7: Belief Revision and Nonmonotonic Reasoning - Revisited by Dominic Deckert
  • 5.2. Fuzzing and Verifying RAT Refutations with Deletion Information by Elias Werner

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