Strategically knowing how
Authors: Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
IJCAI 2017 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. ... We give an intuitive axiomatization of our logic and prove the soundness, completeness and decidability of the logic. |
| Researcher Affiliation | Academia | Raul Fervari University of Cordoba CONICET; Andreas Herzig University of Toulouse IRIT-CNRS; Yanjun Li University of Groningen; Yanjing Wang Peking University |
| Pseudocode | No | The paper focuses on theoretical logic, providing definitions, axioms, and proofs. It does not include any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper is a theoretical work on logic and does not mention releasing any source code for the methodology described. |
| Open Datasets | No | This paper is theoretical and does not involve the use of datasets for training or evaluation, therefore no concrete access information for a publicly available or open dataset is provided. |
| Dataset Splits | No | This paper is theoretical and does not involve experiments with dataset splits, so no specific dataset split information is provided. |
| Hardware Specification | No | The paper is theoretical and does not describe computational experiments, therefore no specific hardware details for running experiments are provided. |
| Software Dependencies | No | The paper is theoretical and does not discuss software implementations or their dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and focuses on logical formalisms and proofs. It does not include details about experimental setup, hyperparameters, or training configurations. |