Parameterized Logical Theories
Authors: Fangzhen Lin6402-6409
AAAI 2021 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we provide a translational semantics for these parameterized theories in first-order logic using the situation calculus. We also discuss their potential uses in areas such as multi-context reasoning and logical formalization of computer programs. |
| Researcher Affiliation | Collaboration | Fangzhen Lin Department of Computer Science & HKUST-Xiaoi Joint Lab The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong flin@cs.ust.hk |
| Pseudocode | No | The paper defines the syntax of parameterized theories and provides examples, but these are logical definitions and illustrations of the framework's syntax and semantics, not structured pseudocode for an algorithm or computational process. |
| Open Source Code | No | The paper refers to a GitHub link ('https://verifierintegerassignment.github.io') in the context of prior work (Rajkhowa and Lin 2018; 2019) and a competition (SV-COMP 2019) that their system competed in. It does not state that the code for the parameterized logical theories framework proposed in *this* paper is open-source or provide a link for it. |
| Open Datasets | No | This paper is theoretical and does not involve empirical training on datasets. Examples provided (e.g., natural numbers) are conceptual, not actual datasets used for experimentation. |
| Dataset Splits | No | This paper is theoretical and does not involve empirical validation on datasets, thus no dataset split information for validation is provided. |
| Hardware Specification | No | This paper is theoretical and does not describe any experiments that would require hardware specifications. |
| Software Dependencies | No | The paper mentions 'the offthe-shelf math system Sym Py as the algebraic simplifier and SMT solver Z3 (de Moura and Bjørner 2008) as the theorem prover' in the context of prior work. However, it does not provide specific version numbers for these, nor does it state them as software dependencies for the theoretical framework proposed in *this* paper. |
| Experiment Setup | No | This paper is theoretical and does not describe an experimental setup, hyperparameters, or training settings. |