From Actions to Programs as Abstract Actual Causes
Authors: Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski5470-5478
AAAI 2022 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | Our analysis is performed within the situation calculus basic action theories and we consider programs formulated in the logic programming language Con Golog. Within this setting, we show how one can utilize a recently developed abstraction framework to relate causes at various levels of abstraction, which facilitates reasoning about programs as causes. |
| Researcher Affiliation | Academia | Bita Banihashemi*1, Shakil M. Khan*2, Mikhail Soutchanski3 1 York University, 4700 Keele St, Toronto, ON M3J 1P3, Canada 2 University of Regina, 3737 Wascana Pkwy, Regina, SK S4S 0A2, Canada 3 (Former) Ryerson University, 350 Victoria St, Toronto, ON M5B 2K3, Canada |
| Pseudocode | No | The paper defines programming constructs using formal notation (e.g., "δ ::= nil | α | Φ? | (δ1; δ2) | (δ1|δ2) | (πx.δ(x)) | δ | (δ1 δ2).") and describes logical definitions, but it does not include any blocks or figures labeled as "Pseudocode" or "Algorithm." |
| Open Source Code | No | The paper focuses on theoretical frameworks and logical definitions; it does not mention releasing any open-source code for the methodology or findings described. |
| Open Datasets | No | The paper is theoretical and uses illustrative examples (e.g., "Our running example involves a simple rescue robot Rob") rather than empirical datasets. There is no mention of a publicly available dataset, a URL, DOI, or a citation for any dataset used for training or evaluation. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical evaluation using datasets. Consequently, there is no mention of training, validation, or test dataset splits. |
| Hardware Specification | No | The paper is theoretical and does not involve empirical experiments requiring specific hardware. Therefore, no hardware specifications are mentioned. |
| Software Dependencies | No | The paper refers to theoretical frameworks like "Con Golog" and "situation calculus" but does not specify any software dependencies (e.g., libraries, compilers, or solvers) with version numbers that would be required to reproduce any implementation. |
| Experiment Setup | No | The paper is theoretical and does not describe any empirical experiments or their setup. Consequently, there is no mention of hyperparameters, training configurations, or other system-level settings. |