Comprehension and Knowledge
Authors: Pavel Naumov, Kevin Ros11622-11629
AAAI 2021 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper we propose a logic-based framework for defining and reasoning about comprehension. ... The rest of this paper in structured as follows. First, we define a model of our logical system and relate this model to the above example. Then, we define the syntax and the formal semantics of our system, give one more example, and review the related literature. Next, we show that the two modalities of our logical system, knowledge and comprehension, can not be expressed through each other and list the axioms of our logical system. In the two sections that follow, we prove soundness and sketch the proof of completeness of our system. |
| Researcher Affiliation | Academia | Pavel Naumov,1 Kevin Ros2 1 King s College 2 University of Illinois at Urbana-Champaign pgn2@cornell.edu, kjros2@illinois.edu |
| Pseudocode | No | No pseudocode or algorithm blocks are present in the paper. The paper focuses on formal definitions, logical systems, and proofs. |
| Open Source Code | No | The paper does not mention releasing any open-source code for the described methodology. |
| Open Datasets | No | This is a theoretical paper that proposes a logical system. It uses examples to illustrate concepts but does not involve training on datasets. Therefore, there is no mention of publicly available training data. |
| Dataset Splits | No | This is a theoretical paper and does not involve empirical experiments with dataset splits. Therefore, no validation split information is provided. |
| Hardware Specification | No | The paper is theoretical and does not report on any experiments that would require specific hardware. Therefore, no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and focuses on a logical system, not on a software implementation. No specific software dependencies with version numbers are mentioned. |
| Experiment Setup | No | The paper is theoretical and does not describe empirical experiments. Therefore, no experimental setup details like hyperparameters or training settings are provided. |