抽象超构造正常形式:走向结构诱导理论
Adrian Silvescu1, Vasant Honavar1
1Department of Computer Science, Iowa State University, Ames, IA, USA.
概括
本研究确定了四个核心结构运算 - - 抽象,超结构以及它们的双重运算 - - 对于通过归纳来表达任何理论至关重要. 这些操作对于图灵等价的生成语法是足够的.
科学领域:
- * 科学哲学 * 科学哲学
- * 认知科学 认知科学
- * 理论计算机科学 理论计算机科学
背景情况:
- *诱导是从观测中生成预测性规律,理论和模型的基本过程.
- * 了解感应的结构基础对于破译知识是如何构建的至关重要.
- * 之前的工作还没有完全划出一组最小的结构运算,用于普遍的理论表达.
研究的目的:
- * 确定有限的和最小的结构运算集来表达任何理论.
- * 分析感应过程中必不可少的结构部件.
- * 探索这些操作对关键哲学概念的影响.
主要方法:
- *分析诱导的结构方面.
- * 确定核心操作:抽象和超结构.
- *双重操作的介绍和分析:反向抽象和反向超结构.
主要成果:
- *抽象 (对类似实体进行分组) 和超结构 (对密切实体进行组合) 被确定为基本的结构操作.
- * 添加反向抽象和反向超结构提供了一套完整的操作.
- * 这一最小的四个操作集足以充分利用图灵等效生成语法在诱导中的全部力量.
结论:
- * 有限的,简单的四个结构运算集足以通过归纳来表达任何理论.
- * 这些发现对理解隐藏变量,激进的正证主义和休的连接原理有意义.
- * 该研究为归纳推理的结构基础提供了正式框架.
相关概念视频
Structuralism
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
Radical 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
Introduction 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
Constraints 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
Indeterminate 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
Structural 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


