Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in [1].
A Logic of East and West
Authors: Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn
JAIR 2023 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We propose a logic of east and west (LEW ) for points in 1D Euclidean space. It formalises primitive direction relations: east (E), west (W) and indeterminate east/west (Iew). It has a parameter τ N>1, which is referred to as the level of indeterminacy in directions. For every τ N>1, we provide a sound and complete axiomatisation of LEW , and prove that its satisfiability problem is NP-complete. In addition, we show that the finite axiomatisability of LEW depends on τ: if τ = 2 or τ = 3, then there exists a finite sound and complete axiomatisation; if τ > 3, then the logic is not finitely axiomatisable. [...] In the following sections, we present the soundness and completeness, finite axiomatisability, decidability and complexity results for LEW . |
| Researcher Affiliation | Academia | Heshan Du EMAIL University of Nottingham Ningbo China Natasha Alechina EMAIL Utrecht University, The Netherlands Amin Farjudian EMAIL University of Nottingham Ningbo China Brian Logan EMAIL Utrecht University, The Netherlands University of Aberdeen, United Kingdom Can Zhou EMAIL University of Oxford, United Kingdom Anthony G. Cohn EMAIL University of Leeds, United Kingdom The Alan Turing Institute, United Kingdom Tongji University, China Shandong University, China |
| Pseudocode | No | The paper focuses on presenting a new logic (LEW), its formalization, axiomatization, soundness, completeness, decidability, and complexity. It contains definitions of logical operators and axioms but does not include any structured pseudocode blocks or algorithms describing a computational procedure. |
| Open Source Code | Yes | The source code of the reasoners based on LEW 2 fin and LEW 3 fin is publicly available2, which will be presented in a separate publication. 2https://github.com/Can-ZHOU/Spatial-Logic |
| Open Datasets | No | The paper is theoretical, introducing a new logic (LEW) and analyzing its formal properties (axiomatization, soundness, completeness, decidability, complexity). It does not conduct experiments that would require the use or evaluation on specific datasets. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical experiments using datasets, thus no information on dataset splits is provided or relevant. |
| Hardware Specification | No | The paper is theoretical, focusing on the formal properties of a new logic (axiomatization, soundness, completeness, decidability, and complexity). It does not describe any experiments that would require specific hardware specifications. |
| Software Dependencies | No | The paper is theoretical, presenting a new logic and its formal properties. While it mentions rule-based reasoners and a truth maintenance system conceptually in the discussion of future work, it does not specify any particular software (with version numbers) used to derive the theoretical results presented in this paper. |
| Experiment Setup | No | The paper is theoretical, introducing a new logic and proving its formal properties. It does not include any experimental evaluations or implementations that would require details about an experimental setup, hyperparameters, or training configurations. |