Situation Calculus Semantics for Actual Causality
Authors: Vitaliy Batusov, Mikhail Soutchanski
AAAI 2018 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We build our definition of actual cause from first principles in the context of atemporal situation calculus (SC) action theories with sequential actions. As a result, we can successfully identify actual causes of conditions expressed in first-order logic. We validate the HP approach by providing a formal translation from causal models to SC and proving a relationship between our definitions of actual cause and that of HP. Using wellknown and new examples, we show that long-standing disagreements between alternative definitions of actual causality can be mitigated by faithful SC modelling of the domains. |
| Researcher Affiliation | Academia | Vitaliy Batusov York University Toronto, Canada vbatusov@cse.yorku.ca Mikhail Soutchanski Ryerson University Toronto, Canada http://www.scs.ryerson.ca/mes |
| Pseudocode | No | The paper does not contain pseudocode or clearly labeled algorithm blocks. |
| Open Source Code | No | The paper does not provide any statements about open-sourcing code or links to repositories. |
| Open Datasets | No | The paper is theoretical and uses well-known examples (e.g., Forest Fire, Assassin, Engineer Switch) to illustrate its concepts and formalisms. It does not use or provide access to empirical datasets for training. |
| Dataset Splits | No | The paper is theoretical and does not conduct experiments that would require training, validation, or test data splits. |
| Hardware Specification | No | The paper is theoretical and does not describe any specific hardware used for experiments. |
| Software Dependencies | No | The paper describes theoretical frameworks (situation calculus, causal models) and formal logic. It does not mention any specific software dependencies with version numbers for implementation or experimentation. |
| Experiment Setup | No | The paper is theoretical and does not describe an experimental setup with hyperparameters or system-level training settings. |