Kernel Contraction and Base Dependence
Authors: Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
JAIR 2017 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we introduce base dependence as a relation between formulas with respect to a belief base, and prove a more general characterization that shows the correspondence between kernel contraction and base dependence... All the proofs are presented in Appendix A. |
| Researcher Affiliation | Academia | Department of Computer Science, University of British Columbia Vancouver, BC, V6T 1Z4, Canada School of Computing Science, Simon Fraser University Burnaby, BC, V5A 1S6, Canada Department of Philosophy, University of Alberta Edmonton, AB, T6G 2E7, Canada |
| Pseudocode | No | The paper describes logical formalisms, definitions, axioms, and theorems using mathematical notation and formal proofs, but it does not present any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not contain any explicit statements about releasing source code for the methodology described, nor does it provide any links to code repositories or mention code in supplementary materials. |
| Open Datasets | No | This paper is theoretical in nature, focusing on logical formalisms and proofs. It does not involve any empirical studies or experiments that would utilize datasets, thus no information on publicly available datasets is provided. |
| Dataset Splits | No | This paper is theoretical and does not involve experiments with datasets, therefore no information about training/test/validation splits is provided. |
| Hardware Specification | No | The paper is theoretical and focuses on logical concepts and formal proofs. It does not describe any experimental setup or computational tasks that would require specific hardware specifications. |
| Software Dependencies | No | The paper is theoretical and does not describe any implementation details or experimental execution that would involve specific software dependencies with version numbers. |
| Experiment Setup | No | As a theoretical paper, no experimental setup details such as hyperparameter values, training configurations, or system-level settings are provided because no experiments are described. |