A General Dialogue Framework for Logic-based Argumentation

There is an extensive body of work in logic-based argumentation, which links logic and argumentation, which is a potential solution to address inconsistencies or conflicting information in knowledge bases (KBs) by offering dialogue games as proof procedures to determine and explain the acceptance of propositions. Most existing work, though, focuses on specific logics (such as description logics, existential rules, defeasible and propositional logics), has limitations of representational aspects, for selected semantics and binary conflicts. In this paper, we generalise this work by introducing G-SAF, which generalises the notions of arguments, dialogues and dialogue trees for more general logical reasoning with inconsistencies, including the most common semantics and to facilitate reasoning with non-binary conflicts using argumentation with collective attacks (SAFs).