Abstraction Super-Structuring Normal Forms: Towards a Theory of Structural Induction
Adrian Silvescu1, Vasant Honavar1
1Department of Computer Science, Iowa State University, Ames, IA, USA.
Algorithmic Probability and Friends : Bayesian Prediction and Artificial Intelligence : Papers From the Ray Solomonoff 85Th Memorial Conference, Melbourne, VIC, Australia, November 30-December 2, 2011
|April 15, 2024
Summary
This study identifies four core structural operations—abstraction, super-structuring, and their duals—essential for expressing any theory through induction. These operations are sufficient for Turing-equivalent generative grammars.
Area of Science:
- * Philosophy of Science
- * Cognitive Science
- * Theoretical Computer Science
Background:
- * Induction is the fundamental process of generating predictive laws, theories, and models from observations.
- * Understanding the structural underpinnings of induction is crucial for deciphering how knowledge is constructed.
- * Previous work has not fully delineated a minimal set of structural operations for universal theory expression.
Purpose of the Study:
- * To identify a finite and minimalistic set of structural operations for expressing any theory.
- * To analyze the essential structural components of the induction process.
- * To explore the implications of these operations for key philosophical concepts.
Main Methods:
- * Analysis of the structural aspects of induction.
- * Identification of core operations: abstraction and super-structuring.
- * Introduction and analysis of dual operations: reverse abstraction and reverse super-structuring.
Main Results:
- * Abstraction (grouping similar entities) and super-structuring (combining close entities) are identified as essential structural operations.
- * The addition of reverse abstraction and reverse super-structuring provides a complete set of operations.
- * This minimal set of four operations is sufficient to exploit the full power of Turing-equivalent generative grammars in induction.
Conclusions:
- * A finite, minimalistic set of four structural operations is sufficient for expressing any theory via induction.
- * These findings have implications for understanding hidden variables, radical positivism, and Hume's principles of connexion.
- * The study provides a formal framework for the structural basis of inductive reasoning.
Related Concept Videos
01:26Structuralism
627
Structuralism, an early psychological theory developed by Wilhelm Wundt and his student Edward Bradford Titchener, sought to dissect the human mind into its most fundamental components. Wundt's groundbreaking work in his laboratory set the stage for Titchener to define structuralism's goal as cataloging the "atoms" of the mind—sensations, images, and feelings—akin to how chemists identify elements of matter.
Titchener's approach to structuralism was unique. He...
Titchener's approach to structuralism was unique. He...
627
00:47Radical Formation: Abstraction
3.5K
The electron of an atom can be abstracted from a compound by a relatively unstable radical to generate a new radical of relatively greater stability. For example, an initiator which forms radicals by homolysis can abstract a suitable species like a hydrogen atom or a halogen atom from a compound to generate a new radical. This ability of radicals to propagate by abstraction is a crucial feature of radical chain reactions.
Even though homolysis produces radicals, it is different from radical...
Even though homolysis produces radicals, it is different from radical...
3.5K
01:30Introduction to Structures
1.0K
A structure is defined as a system of interconnected members designed to support or transfer forces and successfully withstand the loads acting on them. The internal forces of a structure can be determined by decomposing the structure and analyzing the free-body diagrams of the individual members or of a combination of members. This helps in understanding the structural elements' behavior and ensuring that the structure is stable and can withstand the subjected loads.
There are three main...
There are three main...
1.0K
01:26Constraints and Statical Determinacy
604
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
604
01:18Indeterminate Structure
530
Indeterminate structures refer to structures where internal forces and reactions cannot be determined using only the equations of static equilibrium. Indeterminate structures have more unknown forces and reaction forces than equations of static equilibrium that can be used to determine them. Indeterminate structures are often used in engineering to create complex, efficient, and aesthetically pleasing structures. There are various types of indeterminate structures used in engineering and...
530
01:20Structural Classification of Joints
3.4K
Joints, also known as articulations, are classified based on their structural characteristics, i.e., based on whether the articulating surfaces of the adjacent bones are directly connected by fibrous connective tissue or cartilage, or whether the articulating surfaces contact each other within a fluid-filled joint cavity. These differences serve to divide the joints of the body into three structural classifications.
A fibrous joint is where the adjacent bones are united by fibrous connective...
A fibrous joint is where the adjacent bones are united by fibrous connective...
3.4K