A Logic of Directions
Authors: Heshan Du, Natasha Alechina, Anthony G. Cohn
IJCAI 2020 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We propose a logic of directions for points (LD) over 2D Euclidean space, which formalises primary direction relations east (E), west (W), and indeterminate east/west (Iew), north (N), south (S) and indeterminate north/south (Ins). We provide a sound and complete axiomatisation of it, and prove that its satisfiability problem is NP-complete. |
| Researcher Affiliation | Academia | Heshan Du1 , Natasha Alechina2 and Anthony G. Cohn3 1University of Nottingham Ningbo China 2Utrecht University, Netherlands 3University of Leeds, UK |
| Pseudocode | No | The paper focuses on mathematical logic and proofs; it does not contain any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any information about open-source code for the described methodology. |
| Open Datasets | No | The paper is a theoretical work focusing on developing a logic and its properties; it does not use or reference any datasets for training or evaluation. |
| Dataset Splits | No | The paper is theoretical and does not involve experiments or dataset splits for training, validation, or testing. |
| Hardware Specification | No | The paper is theoretical and does not describe any experiments that would require specific hardware, therefore no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and does not mention any specific software dependencies with version numbers required for reproducibility. |
| Experiment Setup | No | The paper is a theoretical work on logic and does not involve an experimental setup with hyperparameters or system-level training settings. |