Data · dataset · 2025
Replication Data for: Explainable reasoning with a controlled natural language
Listed in IISH Dataverse
Six datasets that have been used to evaluate reasoning with a Controlled Natural Language.
Description
A seventh file contains the grammar specification of the Controlled Natural Language.
- 'BNF Grammar.pdf' contains the grammar specification of the Controlled Natural Language in Backus-Naur Form.
- 'syllogism_dataset.csv' contains the adapted Kaggle dataset.
- 'puzzles_dataset.csv' contains logical puzzles found on the internet and reformulated in the Controlled Natural Language if necessary.
- 'gpt_dataset_easy.csv', 'gpt_dataset_hard.csv' and 'deepseek_dataset.csv' contain reasoning examples generated by Large Language Models.
- 'interface_examples.csv' contains the inference example used in the user tests.
Links
Where it is published
- Dataverse dataset page dataverse.nl/dataset.xhtml?persistentId=doi%3A10.34894%2F0ANEPG ↗
landing page · from datasets iisg amsterdam
- DOI doi.org/10.34894/0anepg ↗
DOI / persistent id · from datasets iisg amsterdam
Catalogue records · 1
- Dataverse API dataverse.nl/api/datasets/:persistentId/?persistentId=doi%3A10.34894%2F0ANE… ↗
metadata API · from datasets iisg amsterdam
Topics
- Stated by source
- Computer and Information Science
- From keywords
- Computer Science & AI · Humanities
- Inferred from text
- Artificial intelligence 73%
Provenance · 1 source records, 10 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| IISH Dataverse | doi:10.34894/0ANEPG | 11 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].anzsrc:group:4602 | enrichment · datasets iisg amsterdam | taxonomy-embedding@1.1.0 | title+keywords+description (73%) |
| concepts[field].dataverse_subject:computer-and-information-science | source · datasets iisg amsterdam | connector:datasets_iisg_amsterdam@1.0.0 | /subjects |
| concepts[field].local:field:computer-science-ai | mapping · datasets iisg amsterdam | connector:datasets_iisg_amsterdam@1.0.0 | /subjects |
| concepts[field].local:field:humanities | mapping · datasets iisg amsterdam | connector:datasets_iisg_amsterdam@1.0.0 | /subjects |
| created_date | source · datasets iisg amsterdam | connector:datasets_iisg_amsterdam@1.0.0 | |
| description | source · datasets iisg amsterdam | connector:datasets_iisg_amsterdam@1.0.0 | /description |
| publication_date | source · datasets iisg amsterdam | connector:datasets_iisg_amsterdam@1.0.0 | |
| title | source · datasets iisg amsterdam | connector:datasets_iisg_amsterdam@1.0.0 | /name |
| updated_date | source · datasets iisg amsterdam | connector:datasets_iisg_amsterdam@1.0.0 | |
| version_label | source · datasets iisg amsterdam | connector:datasets_iisg_amsterdam@1.0.0 |