Knowledge Representation and Reasoning Seminar
Knowledge Representation and Reasoning Seminar
Course with SWS 0/2/0 (lecture/exercise/practical) in WS 2015
- Oral exam
- Seminar presentation
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.
- 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.
Except of the first seminar meeting, the meetings will take place on Wednesdays, from 11.10 to 12.40 (DS 3) in room E05.
|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"|
|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)|
|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"|