Yale shooting problem
The Yale shooting problem is a conundrum or scenario in formal situational logic on which early logical solutions to the frame problem fail. The name of this problem derives from its inventors, and Drew McDermott, working at Yale University when they proposed it. In this scenario, Fred (later identified as a turkey) is initially alive and a gun is initially unloaded. Loading the gun, waiting for a moment, and then shooting the gun at Fred is expected to kill Fred. However, if inertia is formalized in logic by minimizing the changes in this situation, then it cannot be uniquely proved that Fred is dead after loading, waiting, and shooting. In one solution, Fred indeed dies; in another (also logically correct) solution, the gun becomes mysteriously unloaded and Fred survives.
Wikipage disambiguates
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Yale shooting problem
The Yale shooting problem is a conundrum or scenario in formal situational logic on which early logical solutions to the frame problem fail. The name of this problem derives from its inventors, and Drew McDermott, working at Yale University when they proposed it. In this scenario, Fred (later identified as a turkey) is initially alive and a gun is initially unloaded. Loading the gun, waiting for a moment, and then shooting the gun at Fred is expected to kill Fred. However, if inertia is formalized in logic by minimizing the changes in this situation, then it cannot be uniquely proved that Fred is dead after loading, waiting, and shooting. In one solution, Fred indeed dies; in another (also logically correct) solution, the gun becomes mysteriously unloaded and Fred survives.
has abstract
The Yale shooting problem is a ...... being presented as a problem.
@en
イェール射撃問題(イェールしゃげきもんだい、英: Yale ...... 論のための新しい論理に関するの説明)として用いられるのである
@ja
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
968,665,025
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
The Yale shooting problem is a ...... ly unloaded and Fred survives.
@en
イェール射撃問題(イェールしゃげきもんだい、英: Yale ...... が時刻3で偽になる。 ところが次の付値も同じ条件を満たす。
@ja
label
Yale shooting problem
@en
イェール射撃問題
@ja