Nichtmonotones Schließen

Die Schlussweise klassischer Logiken (z.B. Prädikatenlogik 1. Stufe) ist monoton, d.h. kann man eine Formel F aus einer Formelmenge M schlussfolgern, so folgt F auch aus jeder Obermenge von M.

Das Nichtmonotone Schließen beschäftigt sich mit Schlussweisen, die diese Monotoniebedingung nicht erfüllen. Dies kann zum Beispiel verwendet werden, um Standard-Annahmen (z.B. „Pakete werden kostenlos versandt, solange nichts anderes angegeben ist.“), Regeln mit Ausnahmen („Vögel können üblicherweise fliegen, Pinguine aber nicht“) oder Prioritäten zwischen Regeln (Bundesgesetze übertrumpfen Landesgesetze) modelliert werden.

Das Forschungsgebiet beschäftigt sich mit der formalen Modellierung nichtmonotoner Schlussweisen, deren Analyse bis hin zu Implementierungen und Anwendungen, z.B. in der Wissensrepräsentation, Logikprogrammierung, juristischem Schließen oder dem Verstehen natürlicher Sprache.

Wissenschaftliche Mitarbeiter

Dr. habil. Hannes Straß

Computational Logic

Artikel in Fachzeitschriften

Ringo Baumann, Hannes Straß
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Artificial Intelligence, 305:103680, April 2022
Details Download

Artikel in Tagungsbänden

Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
In Aurona Gerber, Jacques Maritz, Anban W. Pillay, eds., Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), volume 2326 of CCIS, 476–492, 2024. Springer
Details Download

Lukas Gerlach, David Carral, Markus Hecher
Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)
In Kate Larson, eds., Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, 3386-3394, August 2024. International Joint Conferences on Artificial Intelligence Organization
Details Download

Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Proc. of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), volume 15245 of LNCS, 200-214, October 2024. Springer
Details Download

Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Towards Propositional KLM-Style Defeasible Standpoint Logics
In Aurona Gerber, Jacques Maritz, Anban W. Pillay, eds., Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), volume 2326 of CCIS, 459–475, 2024. Springer
Details Download

Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5626-5633, 2022. AAAI Press
Details Download

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 95-110, September 2022. Springer
Details Download

Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming
In Luc De Raedt, eds., Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2634--2640, 2022. ijcai.org
Details Download