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 2015

Lecturer

SWS

  • 0/2/0

Modules

Examination method

  • Oral exam
  • Seminar presentation



Commonsense Reasoning

Until now there are no widely accepted theories that give formal representations of sophisticated commonsense reasoning. In our project we address this issue by exploring current results from relevant research areas. The goal is to formalize a framework that allows the expression of reasoning processes which are fundamental in order to explain human behaviour. Conventional formal approaches such as classical logic are not appropriate for this purpose as they cannot deal with the most elementary parts humans are confronted with e.g. incomplete information. Alternatives can be found in formalizations of weaker logics such as non-monotonic logics or three-valued logics.

Topics

    • Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning (Melissa Roemmele, Cosmin Adrian Bejan, Andrew S. Gordon). AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
    • One Hundred Challenge Problems for Logical Formalizations of Commonsense Psychology (Nicole Maslan, Melissa Roemmele, Andrew S. Gordon), In Proceedings of the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, 2015
    • Tackling Benchmark Problems of Commonsense Reasoning (Ulrich Furbach, Andrew S. Gordon, Claudia Schon). Bridging@CADE 2015: 47-59
    • Abduction for Discourse Interpretation: A Probabilistic Framework (Ekaterina Ovchinnikova, Andrew S. Gordon, Jerry R. Hobbs), In Proceedings of the Joint Symposium on Semantic Processing, 2013
    • The winograd schema challenge (Hector J Levesque, Ernest Davis, and Leora Morgenstern). In AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011
    • The Winograd Schema Challenge and Reasoning about Correlation (Daniel Bailey, Amelia Harrison, Yuliya Lierler, Vladimir Lifschitz and Julian Michael), In Proceedings of the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, 2015
    • Story Comprehension through Argumentation (Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller) COMMA 2014: 31-42
    • STAR: A System of Argumentation for Story Comprehension and Beyond (I.-A. Diakidoy, A. Kakas, L. Michael, and R. Miller) 12th International Symposium on Logical Formalizations of Commonsense Reasoning, 2015
    • A First-Order Axiomatization of the Surprise Birthday Present Problem: Preliminary Report (Leora Morgenstern), Proceedings, Seventh International Symposium on Logical Formalizations of Commonsense Reasoning, 2005

Duties of the Participants

The students are expected to participate in the seminar, write a short report of the assigned topic, and give a presentation in the end of the winter term. The presentation should have a length of 30 minutes, followed by a 15 minutes discussion.

German students can give the presentation also in German.

For the students who want to participate at the KRR Seminar it is mandatory to attend all the seminars in January and in February. The presentations are supposed to take not longer than 30 minutes. The report (five pages) and the slides have to be send one week before the presentation to Emmanuelle Dietz.


Schedule

Except of the first seminar meeting, the meetings will take place on Wednesdays, from 11.10 to 12.40 (DS 3) in room E05.


Past presentations


Date                               Presenter and Topic
14.10.2015 Adrián Rebola Pardo on "Unsatisfiability Proofs in SAT Solving with Parity Constraints". (starts at 4 o'clock)
21.10.2015 Introduction to the seminar. After that: Aaron Stephan on "Improved Configuration Prediction for Solving the SAT Problem"
28.10.2015 Invited Talk: Marius Lindauer on "Machine Learning for Automated Algorithm Design: Algorithm Configuration and beyond"
04.11.2015 Norbert Manthey on "Reusing SAT Solvers For Improved Application Performance"
11.11.2015 Tobias Philipp on "Certificates for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing"
18.11.2015 No seminar
25.11.2015 Emira Ziberi on "Phase Transition Behaviour in the Fair Division on Indivisible Goods"
02.12.2015 Peter Steinke on "Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form"
09.12.2015 Christoph Wernhard on "Improving Second-Order Quantifier Elimination Methods by Craig Interpolation and Related Techniques - Preliminary Results and Open Problems"
16.12.2015 Sibylle Möhle on "Teach a SAT Solver to Count and Enumerate Models"
21.12.2015 Luis Palacios on "Skeptical Abduction: A Neural Symbolic Approach" (shifted to Monday and starts at 2 o'clock)
30.12.2016 No seminar
06.01.2016 Luis Palacios on "An Implementation of Semantic Operators"
13.01.2016 Emira Ziberi on the paper "Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning"
20.01.2016 Benjamin Zerche on the paper "Tackling Benchmark Problems of Commonsense Reasoning"
Ebrahim Zidan on the paper "Abduction for Discourse Interpretation: A Probabilistic Framework"
27.01.2016 Satyadhma Tirtarasa on the paper "The Winograd Schema Challenge and Reasoning about Correlation"
03.02.2016 Ricardo Cruz on the paper "Story Comprehension through Argumentation"
Adrian Nuradiansyah on the paper "One Hundred Challenge Problems for Logical Formalizations of Commonsense Psychology"