相关实验视频
Updated: Jul 15, 2025

14:05
One Dimensional Turing-Like Handshake Test for Motor Intelligence
Published on: December 15, 2010
26.8K
人类验证:可与逻辑之外的真实值进行计算
Philip N Johnson-Laird1,2, Ruth M J Byrne3, Sangeet S Khemlani4
1Department of Psychology, Princeton University, Princeton, NJ 08544.
概括
人类对断层陈述的验证是可计算的,但需要的不仅仅是简单的真/错逻辑. 研究结果表明,心理模型和反事实是理解验证过程的关键.
科学领域:
- 认知科学 认知科学
- 逻辑 逻辑 逻辑 逻辑
- 计算理论 计算理论
背景情况:
- 验证通常被视为一种计算,其中与现实相匹配的描述是真实的.
- 关于人类验证是否可计算存在争议,戈德尔和罗斯反对这一点.
- 心理模型理论提出可计算性,但发现标准真假逻辑不足.
研究的目的:
- 调查分离断言的人类验证的可计算性.
- 探索标准逻辑真实值是否足以进行人类验证.
- 检查反事实在验证过程中的作用.
主要方法:
- 进行了三项在线实验 (n=208),对参与者对断层陈述的验证 (例如",你到达了埃克塞特或珀斯").
- 分析了观察和替代可能性的状态如何影响验证判断.
- 实现了一个计算机程序来模拟断层并使用观察到的真实值来验证它们.
主要成果:
- 验证取决于观察到的匹配以及其他潜在地点的状态.
- 参与者利用细微的真实值超出了简单的真假,反映了可能性和不可能.
- 当目的地已到达或无法到达时,观察到包含反事实的特定真实值.
结论:
- 人类对断层断言的验证似乎是可计算的,利用超出标准二进制逻辑的真实值.
- 纳入反事实推理的思维模型对于理解这些验证过程至关重要.
- 对验证结果的认识的可计算性仍然是一个开放的研究问题.
相关概念视频
Deductive Reasoning
55.4K
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
For example, a researcher can deduce specific predictions...
55.4K
Theorems of Pappus and Guldinus: Problem Solving
758
Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a...
758
Constraints and Statical Determinacy
627
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...
627
Decision Making: P-value Method
5.5K
The process of hypothesis testing based on the P-value method includes calculating the P- value using the sample data and interpreting it.
First, a specific claim about the population parameter is proposed. The claim is based on the research question and is stated in a simple form. Further, an opposing statement to the claim is also stated. These statements can act as null and alternative hypotheses: a null hypothesis would be a neutral statement while the alternative hypothesis can...
First, a specific claim about the population parameter is proposed. The claim is based on the research question and is stated in a simple form. Further, an opposing statement to the claim is also stated. These statements can act as null and alternative hypotheses: a null hypothesis would be a neutral statement while the alternative hypothesis can...
5.5K
Testing a Claim about Population Proportion
3.3K
A complete procedure for testing a claim about a population proportion is provided here.
There are two methods of testing a claim about a population proportion: (1) Using the sample proportion from the data where a binomial distribution is approximated to the normal distribution and (2) Using the binomial probabilities calculated from the data.
The first method uses normal distribution as an approximation to the binomial distribution. The requirements are as follows: sample size is large...
There are two methods of testing a claim about a population proportion: (1) Using the sample proportion from the data where a binomial distribution is approximated to the normal distribution and (2) Using the binomial probabilities calculated from the data.
The first method uses normal distribution as an approximation to the binomial distribution. The requirements are as follows: sample size is large...
3.3K
Inductive Reasoning
60.6K
Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
60.6K

