Replication Data for: Explainable reasoning with a controlled natural language

DOI

Six datasets that have been used to evaluate reasoning with a Controlled Natural Language. 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.
Identifier
DOI https://doi.org/10.34894/0ANEPG
Metadata Access https://dataverse.nl/oai?verb=GetRecord&metadataPrefix=oai_datacite&identifier=doi:10.34894/0ANEPG
Provenance
Creator Sofia Gavasi; Roos, Nico
Publisher DataverseNL
Contributor Roos, Nico; UB Dataverse support
Publication Year 2025
Rights CC-BY-4.0; info:eu-repo/semantics/openAccess; http://creativecommons.org/licenses/by/4.0
OpenAccess true
Contact Roos, Nico (Maastricht University, Department of Advanced Computing Sciences); UB Dataverse support (Maastricht University)
Representation
Resource Type Dataset
Format application/pdf; text/csv
Size 56780; 8259; 4932; 6372; 1811; 5672; 5558
Version 1.0
Discipline Other
Spatial Coverage Maastricht University