Yale shooting problem

Logic programming

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. Technically, this scenario is described by two fluents (a fluent is a condition that can change truth value over time): and . Initially, the first condition is true and the second is false. Then, the gun is loaded, some time passes, and the gun is fired. Such problems can be formalized in logic by considering four time points , , , and , and turning every fluent such as into a predicate depending on time. A direct formalization of the statement of the Yale shooting problem in logic is the following one: The first two formulae represent the initial state. The third formula formalizes the effect of loading the gun at time . The fourth formula formalizes the effect of shooting at Fred at time . This is a simplified formalization in which action names are neglected and the effects of actions are directly specified for the time points in which the actions are executed. See situation calculus for details. The formulae above, while being direct formalizations of the known facts, do not suffice to correctly characterize the domain. Indeed, is consistent with all these formulae, although there is no reason to believe that Fred dies before the gun has been shot. The problem is that the formulae above only include the effects of actions, but do not specify that all fluents not changed by the actions remain the same. In other words, a formula must be added to formalize the implicit assumption that loading the gun only changes the value of and not the value of . The necessity of a large number of formulae stating the obvious fact that conditions do not change unless an action changes them is known as the frame problem. An early solution to the frame problem was based on minimizing the changes. In other words, the scenario is formalized by the formulae above (that specify only the effects of actions) and by the assumption that the changes in the fluents over time are as minimal as possible. The rationale is that the formulae above enforce all effect of actions to take place, while minimization should restrict the changes to exactly those due to the actions. In the Yale shooting scenario, one possible evaluation of the fluents in which the changes are minimized is the following one. This is the expected solution. It contains two fluent changes: becomes true at time 1 and becomes false at time 3. The following evaluation also satisfies all formulae above. In this evaluation, there are still two changes only: becomes true at time 1 and false at time 2. As a result, this evaluation is considered a valid description of the evolution of the state, although there is no valid reason to explain being false at time 2. The fact that minimization of changes leads to wrong solution is the motivation for the introduction of the Yale shooting problem. While the Yale shooting problem has been considered a severe obstacle to the use of logic for formalizing dynamical scenarios, solutions to it are known since the late 1980s. One solution involves the use of in the specification of actions: according to this solution, the fact that shooting causes Fred to die is formalized by the preconditions: alive and loaded, and the effect is that alive changes value (since alive was true before, this corresponds to alive becoming false). By turning this implication into an if and only if statement, the effects of shooting are correctly formalized. (Predicate completion is more complicated when there is more than one implication involved.) A solution proposed by Erik Sandewall was to include a new condition of occlusion, which formalizes the “permission to change” for a fluent. The effect of an action that might change a fluent is therefore that the fluent has the new value, and that the occlusion is made (temporarily) true. What is minimized is not the set of changes, but the set of occlusions being true. Another constraint specifying that no fluent changes unless occlusion is true completes this solution. The Yale shooting scenario is also correctly formalized by the Reiter version of the situation calculus, the fluent calculus, and the action description languages. In 2005, the 1985 paper in which the Yale shooting scenario was first described received the . In spite of being a solved problem, that example is still sometimes mentioned in recent research papers, where it is used as an illustrative example (e.g., for explaining the syntax of a new logic for reasoning about actions), rather than being presented as a problem. (Wikipedia).

What is a ratio

👉 Learn how to solve proportions. Two ratios are said to be proportional when the two ratios are equal. Thus, proportion problems are problems involving the equality of two ratios. When given a proportion problem with an unknown, we usually cross-multiply the two ratios and then solve for

From playlist Solve Proportions

16. Backward induction: reputation and duels

Game Theory (ECON 159) In the first half of the lecture, we consider the chain-store paradox. We discuss how to build the idea of reputation into game theory; in particular, in setting like this where a threat or promise would otherwise not be credible. The key idea is that players may no

From playlist Game Theory with Ben Polak

Solving a proportion by cross multiplication with decimals

From playlist How to Solve a Proportion

Learn how to solve a proportion by applying the cross product ex 15, 15/(x+7) = 45/(x+21)

From playlist How to Solve a Proportion

Solving a word problem using proportions

From playlist How to Solve a Proportion

Solving a word problem using proportions

From playlist How to Solve a Proportion

Learn how to apply the cross product to solve the proportion ex 10, (x - 5)/4 = 3/2

From playlist How to Solve a Proportion

Using cross product to verify a proportion

From playlist Solve Proportions

Patricia Williams, “Anatomy of Short Lives: A Meditation on Repetitions of Regret,”

Professor Patricia Williams delivered the Henry L. Gates Jr. Lecture, “Anatomy of Short Lives: A Meditation on Repetitions of Regret,” on April 21, 2015, at the Whitney Humanities Center, Yale University. The Gates Lecture, established in 2012 and administered by the Department of African

From playlist Henry Louis Gates Jr. Lectures

Solving a proportion with x on both sides

From playlist How to Solve a Proportion

4. Best responses in soccer and business partnerships

Game Theory (ECON 159) We continue the idea (from last time) of playing a best response to what we believe others will do. More particularly, we develop the idea that you should not play a strategy that is not a best response for any belief about others' choices. We use this idea to analy

From playlist Game Theory with Ben Polak

CS50 VR 2016 - Week 11 at Yale - The End

This is Week 11 of CS50 2016 at Yale in 360º stereoscopic VR, shot on Nokia OZO. For the 2D version of Week 11 at Yale, see https://youtu.be/8uqy0oIkm2E. 00:00:00 - Life Beyond CS50 00:02:16 - Computer Graphics 00:07:47 - Sensing Data 00:13:31 - Noisy Data 00:19:00 - Systems 00:25:00 - Th

From playlist CS50 VR Lectures 2016

CS50 2016 - Week 11 at Yale - The End

00:00:00 - Life Beyond CS50 00:02:16 - Computer Graphics 00:07:47 - Sensing Data 00:13:31 - Noisy Data 00:19:00 - Systems 00:25:00 - This was CS50. 00:25:58 - We Suck 00:32:49 - Bob the Bear 00:35:22 - Cat Goes 2 Yale 00:37:13 - Stop the Freshman (Star Wars Edition) 00:39:08 - Student Shou

From playlist CS50 Lectures 2016

Transparency and Reproducibility in Observational Research: Lessons From Anthropology

Melanie Martin and Bret Beheim discuss reproducibility in observational research and examine particular problems as demonstrated by anthropological research.

From playlist Yale Day of Data 2016

Learn to solve a proportion by determining & multiplying by LCD ex 14,(2x–11)=5(x–3)/11

From playlist How to Solve a Proportion

Shah Rukh Khan at Yale University as Chubb Fellow (official video)

Shah Rukh Khan came to Yale on April 12, 2012 as a Chubb Fellow in his first visit to an American university. The Chubb Fellowship is one of Yale's most distinguished honors, bringing leaders to campus to encourage students interested in public service and the public good. This official vi

From playlist The Chubb Fellowship of Timothy Dwight College

Squirrel Hill: The Tree of Life Synagogue Shooting and the Soul of a Neighborhood

On February 9, 2022, the Yale Program for the Study of Antisemitism hosted a webinar with Mark Oppenheimer of Yale University entitled "Squirrel Hill: The Tree of Life Synagogue Shooting and the Soul of a Neighborhood. In a 30-minute presentation, Oppenheimer discussed the horrible event

From playlist Yale Program for the Study of Antisemitism Lecture Series

Lecture 2, Unintended Consequences: Antonio del Pollaiuolo's Hercules and Deianira (c. 1475-80)

The Gallery's best known Renaissance painting shows Hercules about to shoot a centaur who is abducting his bride. Everybody admires the vigorous action and vast landscape. What about the subject? In the myth, she is rescued, but the shooting eventually leads to a horrible death for Hercule

From playlist Let This Be a Lesson

Solve a proportion by multiplying by the LCD ex 13, (2n - 9)/7 = (3 - n)/4

From playlist How to Solve a Proportion

Yale Pathways, Science Café: Nanobots to Fight Disease by Michael McHugh

Open Labs is a fellowship of Yale graduate and professional students sharing a devotion to encourage and support underprivileged promising young scholars to pursue careers in the sciences. In the Open Labs Science Cafe edutainment event, fellows prepare engaging popular-science presentat

From playlist Yale Pathways & Open Labs Science Café

Yale shooting problem

Related pages