Possibilistic Logic Underlies Abstract Dialectical Frameworks
Authors: Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
IJCAI 2022 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | As the semantics of ADFs are based on three-valued interpretations, we ask which monotonic three-valued logic allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. |
| Researcher Affiliation | Academia | Technische Universit at Dortmund, Dortmund, Germany, University of Cape Town and CAIR, South-Africa, Vrije Universiteit Brussel, Belgium, Open Universiteit Heerlen, The Netherlands, Maastricht University, The Netherlands, Fern Universit at Hagen, Germany |
| Pseudocode | No | The paper does not contain STRUCTURED PSEUDOCODE OR ALGORITHM BLOCKS. |
| Open Source Code | No | The paper does not provide CONCRETE ACCESS TO SOURCE CODE for the methodology described in this paper. |
| Open Datasets | No | This is a theoretical paper and does not involve the use of datasets for training or evaluation. |
| Dataset Splits | No | This is a theoretical paper and does not describe any dataset splits (train, validation, test). |
| Hardware Specification | No | The paper is theoretical and does not describe any experiments requiring specific hardware details. |
| Software Dependencies | No | The paper is theoretical and does not mention specific software dependencies with version numbers for reproducing experiments. |
| Experiment Setup | No | The paper is theoretical and does not describe any experimental setup details, hyperparameters, or training configurations. |