Conditional Syntax Splitting for Non-monotonic Inference Operators
Authors: Jesse Heyninck, Gabriele Kern-Isberner, Thomas Meyer, Jonas Philipp Haldimann, Christoph Beierle
AAAI 2023 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The contributions of the paper are the following: 1. We introduce and study the notion of conditional splitting of a belief base...; 2. We show that lexicographic entailment and system W satisfy conditional syntax splitting; 3. We show that the drowning effect can be seen as a violation of conditional syntax splitting. (This section outlines the conceptual and formal contributions, typical of theoretical work, without mentioning empirical studies or data analysis.) |
| Researcher Affiliation | Academia | Jesse Heyninck1, Gabriele Kern-Isberner2, Thomas Meyer3,4, Jonas Philipp Haldimann5, Christoph Beierle5 1 Open Universiteit, the Netherlands 2 Technische Universit at Dortmund, Germany 3University of Cape Town and CAIR, South-Africa 4 Centre for Artiļ¬cial Intelligence Research (CAIR), South-Africa 5 Fern Universit at in Hagen, Germany |
| Pseudocode | No | The paper is theoretical, focusing on logical definitions, propositions, and theorems. It does not include any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper is theoretical and does not mention the release of any source code or provide links to repositories. |
| Open Datasets | No | The paper is theoretical and does not describe experiments that use datasets for training or evaluation. Examples, like the 'Tweety example', are illustrative rather than empirical datasets. |
| Dataset Splits | No | The paper is theoretical and does not describe any dataset splits for training, validation, or testing. |
| Hardware Specification | No | The paper is theoretical and does not involve computational experiments, thus no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and does not describe any software implementations or list software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and does not include details about an experimental setup, such as hyperparameters or training configurations. |