xentau/dstit
STIT Logic Problems (Xu Axiomatization) Dataset Description This dataset contains 1000 synthetically generated problems designed to test logical reasoning capabilities, specifically within the framework of the deliberative 'seeing-to-it-that' (dstit) logic of agency, as axiomatized by Ming Xu (1998) and further analyzed using sequent calculus (G3) in Negri and Pavlović (2020). Each problem presents a scenario involving agents, their actions (or inactions), and… See the full description on the dataset page: https://huggingface.co/datasets/xentau/dstit.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face