Knowledge Representation and Reasoning Seminar

Knowledge Representation and Reasoning Seminar

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

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

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"