Conditional Argumentative Reasoning

Project description

Argumentation and nonmonotonic/default logics have long been considered as two important forms of commonsense reasoning, side by side, with multiple interactions but essentially different characteristics, in particular with respect to semantics. The outputs of argumentation systems have been evaluated according to the standards of nonmonotonic reasoning, and, in particular, answer set programming (presumably the most successful implementation of nonmonotonic logics) has been used to implement argumentation semantics. Changing argumentation systems arose as a vital topic of research only recently, and again, standards of belief change like AGM theory have been adapted to guide and evaluate such changes. Our project aims at combining both frameworks on a much deeper, syntactic and semantic level, overcoming the still present gap between nonmonotonic semantics, which is often based on preferential models, and argumentation semantics, which is based on the notions of attack and defence. The Abstract Dialectical Frameworks (ADFs), developed by Brewka and Woltran, are an important first step in this direction. However, ADFs use the syntax of classical logic, with a three-valued logic on a meta-level. Our project builds upon ADFs, but we will use three-valued conditionals right from the beginning to implement arguments. This allows for representing the non-classical (three-valued) nature of argumentation at the object level and hence for a novel semantic view on arguments, which we explore in this project. But most importantly, this establishes a basic connection between argumentation and reasoning from conditional knowledge bases that opens up many ways to transfer features and results from the rich scope of methodologies from either side to the other, leading to novel methods and techniques on either side, and a better understanding of the relation between argumentation and conditional reasoning, ideally resulting in a global picture that shows (at least parts of) both frameworks to be "two sides of the same coin".


Project leader

People

Project duration

October 2019 - October 2022

Publications

  • Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm. Revision, Defeasible conditionals and Non-Monotonic Inference for Abstract Dialectical Frameworks. In Artificial Intelligence. February 2023. bibtex pdf
  • Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm. Explaining Argument Acceptance in ADFs. In Proceedings of the First International Workshop on Argumentation for eXplainable AI (ArgXAI'22). September 2022. bibtex pdf
  • Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner. Realisability of Ranking-based Semantics. In Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'22). September 2022. bibtex pdf
  • Kenneth Skiba, Matthias Thimm. Ordinal Conditional Functions for Abstract Argumentation. In Proceedings of the 9th International Conference on Computational Models of Argument (COMMA'22). September 2022. bibtex pdf
  • Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm. Possibilistic Logic Underlies Abstract Dialectical Frameworks. In Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI'22). July 2022. bibtex pdf
  • Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba. Conditional Abstract Dialectical Frameworks. In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22). February 2022. bibtex pdf
  • Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba. Arguing about Complex Formulas: Generalizing Abstract Dialectical Frameworks. In Proceedings of the 19th International Workshop on Non-Monotonic Reasoning (NMR'21). November 2021. bibtex pdf
  • Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba. On the Relation between Possibilistic Logic and Abstract Dialectical Frameworks. In Proceedings of the 19th International Workshop on Non-Monotonic Reasoning (NMR'21). November 2021. bibtex pdf
  • Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm. Revision and Conditional Inference for Abstract Dialectical Frameworks. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21). November 2021. bibtex pdf
  • Jesse Heyninck, Ofer Arieli. Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21). November 2021. bibtex
  • Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm. Distinguishability in Abstract Argumentation. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21). November 2021. bibtex pdf
  • Anthony Hunter, Sylwia Polberg, Nico Potyka, Tjitze Rienstra, Matthias Thimm. Probabilistic Argumentation: A Survey. In Dov Gabbay, Massimiliano Giacomin, Guillermo R. Simari, Matthias Thimm (Eds.), Handbook of Formal Argumentation, College Publications. August 2021. bibtex pdf
  • Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner. Ranking Extensions in Abstract Argumentation. In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21). August 2021. bibtex pdf
  • Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba. On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. In Annals of Mathematics and Artificial Intelligence. July 2021. bibtex pdf
  • Jesse Heyninck, Ricardo Goncalves, Matthias Knorr, and Joao Leite. Tractable Reasoning using Logic Programs with Intensional Concept. In Proceedings of the 17th European Conference on Logics in Artificial Intelligence (JELIA'21), 2021. bibtex
  • Jesse Heyninck, Ricardo Goncalves, Matthias Knorr, and Joao Leite. Efficient and Explainable Defeasible Reasoning with Intensional Concepts. In Proceedings of the 18th International Workshop on Non-Monotonic Reasoning (NMR'20), 2020. bibtex
  • Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, and Matthias Thimm. Interpreting Conditionals in Argumentative Environments. In Proceedings of the 18th International Workshop on Non-Monotonic Reasoning (NMR'20), 2020. bibtex pdf
  • Jesse Heyninck, Christian Straßer. ASPIC+ without Undercut: Rationality and Maximal Consistent Sets. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR'20), Recently Published Research track, 2020. bibtex
  • Kenneth Skiba, Matthias Thimm. Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics. In Proceedings of the International Workshop on Computational Argumentation and Cognition (COGNITAR'20). August 2020. bibtex pdf
  • Jesse Heyninck, Christian Straßer. Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut. In Argument & Computation, IOS Press, 2020. bibtex
  • Kenneth Skiba, Matthias Thimm, Andrea Cohen, Sebastian Gottifredi, Alejandro J. Garcia: Abstract Argumentation Frameworks with Fallible Evidence. In Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20), 2020.
  • Jesse Heyninck, Gabriele Kern-Isberner. An Epistemic Interpretation of Abstract Dialectical Argumentation. In Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20), 2020. bibtex
  • Jesse Heyninck, Ofer Arieli. Argumentative Reflections of Approximation Fixpoint Theory. In Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20), 2020. bibtex
  • Jesse Heyninck, Ofer Arieli. Simple contrapositive assumption-based argumentation frameworks. In International Journal of Approximate Reasoning, 2020. bibtex pdf
  • Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm. On the Correspondence Between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. In Proceedings of the 33rd International FLAIRS Conference (FLAIRS'20). May 2020. bibtex pdf
  • Ofer Arieli, Jesse Heyninck. Prioritized simple contrapositive assumption-based frameworks. In Proceedings of the 24th European Conference on Artificial Intelligence (ECAI'20), 2020. bibtex pdf
  • Kenneth Skiba, Daniel Neugebauer, Jörg Rothe. Complexity of Possible and Necessary Existence Problems in Abstract Argumentation. In Proceedings of the 24th European Conference on Artificial Intelligence (ECAI'20), 2020.
  • Gabriele Kern-Isberner, Matthias Thimm. Towards Conditional Logic Semantics for Abstract Dialectical Frameworks. In Carlos I. Chesnevar, Marcelo A. Falappa, Eduardo Ferme, Alejandro J. Garcia, Ana G. Maguitman, Diego C. Martinez, Maria Vanina Martinez, Ricardo O. Rodrigues, Gerado I. Simari (Eds.), Argumentation-based Proofs of Endearment - Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday, College Publications, volume 37 of Tributes. November 2018. bibtex pdf



Last updated 20.05.2019, Matthias Thimm | Terms