Lexicographic Entailment, Syntax Splitting and the Drowning Problem
Authors: Jesse Heyninck, Gabriele Kern-Isberner, Thomas Meyer
IJCAI 2022 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we show that lexicographic inference satisfies syntax splitting, which means that we can restrict our attention to parts of the belief base that share atoms with a given query, thus seriously restricting the computational costs for many concrete queries. Furthermore, we make some observations on the relationship between crepresentations and lexicographic inference, and reflect on the relation between syntax splitting and the drowning problem. |
| Researcher Affiliation | Academia | Jesse Heyninck1,2,3,4 , Gabriele Kern-Isberner4 , Thomas Meyer2 1 Open Universiteit Heerlen, the Netherlands 2 University of Cape Town and CAIR, South-Africa 3 Vrije Universiteit Brussel, Belgium 4 Technische Universit at Dortmund, Germany |
| Pseudocode | Yes | Algorithm 1 Algorithm for generating a c-representation equivalent to lexicographic entailment Input: a belief base = {ri | i I} Z-partitioned in ( 0, . . . , n). Output: A set of κ i for i I. |
| Open Source Code | No | No statement about releasing source code or a link to a code repository for the methodology described in this paper was found. |
| Open Datasets | No | This is a theoretical paper and does not involve the use of datasets for training or evaluation. Therefore, no information on publicly available or open datasets is provided. |
| Dataset Splits | No | This is a theoretical paper and does not involve the use of datasets for empirical evaluation. Therefore, no information on training/test/validation dataset splits is provided. |
| Hardware Specification | No | No experiments were conducted in this theoretical paper, and thus no hardware specifications are mentioned. |
| Software Dependencies | No | No experiments were conducted in this theoretical paper, and thus no specific ancillary software details with version numbers are mentioned. |
| Experiment Setup | No | No experiments were conducted in this theoretical paper, and thus no specific experimental setup details like hyperparameters or system-level training settings are provided. |