Tunnel problem¶

The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014.

Version: v1 · 2026-09-28 · History
Domain-specific #: 12656
Domain group: Professional & Organizational Practice
Origin domain: Ethics of Technology & AI Governance
Subdomains: Robot Ethics, Autonomous Vehicle Ethics → Ethics of Technology & AI Governance

Core Idea¶

Tunnel problem is treated here as the recurring social_sciences_humanities_arts identity summarized by this source-grounded definition: The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014.

The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014. It is a variation on the classic trolley problem designed to focus on the ethics of autonomous vehicles, as well as the question of who gets to decide how they react in life-and-death scenarios. Tunnel Problem: You are travelling along a single lane mountain road in an autonomous car that is fast approaching a narrow tunnel.

Indeed, the second question is meant to challenge the standard notion that all design decisions are just technical in nature. The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows. The premise of these thought experiments is that even with highly sophisticated self-driving-car technologies, the cars will face situations where harm cannot be avoided.

For Tunnel problem, the abstraction is narrower than the article's general subject matter: a positive case must preserve The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in social_sciences_humanities_arts, which is why this identity is domain-specific rather than prime.

Structural Signature¶

Sig role-phrases:

Defining carrier — Similar thought experiments have been brought forth by other philosophers focusing on the topic of autonomous cars.
Constitutive relation — The entry contains a critique of the problem as presented by Millar.
Operating condition — The tunnel problem was the focus of a poll conducted by the Open Roboethics Initiative (ORi).
Recognition evidence — The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014.
Admissible variation — The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows.
Characteristic consequence — Tunnel Problem: You are travelling along a single lane mountain road in an autonomous car that is fast approaching a narrow tunnel.
Failure boundary — Just before entering the tunnel a child attempts to run across the road but trips in the center of the lane, effectively blocking the entrance to the tunnel.

What It Is Not¶

Not the whole field of social_sciences_humanities_arts. The node requires the specific identity stated by The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014.
Not an over-broad reading. The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows.
Not an over-broad reading. Tunnel Problem: You are travelling along a single lane mountain road in an autonomous car that is fast approaching a narrow tunnel.
Not an over-broad reading. Just before entering the tunnel a child attempts to run across the road but trips in the center of the lane, effectively blocking the entrance to the tunnel.
Not automatically Monty Hall problem. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Tunnel problem applies literally inside social_sciences_humanities_arts wherever the source-defined carrier and relation can be established. Its documented habitats include:

Original formulation. The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows.
Original formulation. Tunnel Problem: You are travelling along a single lane mountain road in an autonomous car that is fast approaching a narrow tunnel.
Original formulation. Just before entering the tunnel a child attempts to run across the road but trips in the center of the lane, effectively blocking the entrance to the tunnel.
Original formulation. The car has but two options: hit and kill the child, or swerve into the wall on either side of the tunnel, thus killing you.
Original formulation. Similar thought experiments have been brought forth by other philosophers focusing on the topic of autonomous cars.
Original formulation. The premise of these thought experiments is that even with highly sophisticated self-driving-car technologies, the cars will face situations where harm cannot be avoided.

Outside social_sciences_humanities_arts, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Pattern or should be marked as analogy.

Clarity¶

A clear use of Tunnel problem names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014. The strongest recognition evidence in the frozen account is: The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Tunnel problem compresses multiple social_sciences_humanities_arts details into a stable diagnostic relation. The source shows both the central mechanism—the entry contains a critique of the problem as presented by Millar.—and the practical consequence—tunnel Problem: You are travelling along a single lane mountain road in an autonomous car that is fast approaching a narrow tunnel. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the social_sciences_humanities_arts entities to which the claim applies.
State the relation. Use the source-grounded identity: The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014.
Check operation and conditions. The tunnel problem was the focus of a poll conducted by the Open Roboethics Initiative (ORi).
Demand recognition evidence. The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014.
Test variation. Change an implementation or setting while preserving the tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows.
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.

Knowledge Transfer¶

Within the home domain. Knowledge about Tunnel problem transfers literally when a new case preserves the same carrier type, relation, and recognition test. The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows. Tunnel Problem: You are travelling along a single lane mountain road in an autonomous car that is fast approaching a narrow tunnel.

Beyond the home domain. No canonical parent is asserted for Tunnel problem. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014; recognition evidence → The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014

Applied / In Practice¶

Tunnel Problem: You are travelling along a single lane mountain road in an autonomous car that is fast approaching a narrow tunnel. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → Original formulation; invariant → The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014; boundary → the case exits the class when the tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows

Structural Tensions¶

T1 — Stable identity versus admissible variation. The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. Tunnel Problem: You are travelling along a single lane mountain road in an autonomous car that is fast approaching a narrow tunnel. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. Just before entering the tunnel a child attempts to run across the road but trips in the center of the lane, effectively blocking the entrance to the tunnel. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. The car has but two options: hit and kill the child, or swerve into the wall on either side of the tunnel, thus killing you. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. Similar thought experiments have been brought forth by other philosophers focusing on the topic of autonomous cars. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Tunnel problem literally, co-instantiate Pattern, or only resemble it?

T6 — Autonomy versus reduction. The entry contains a critique of the problem as presented by Millar. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Tunnel problem distinguish that the broader parent Pattern leaves together?

Structural–Framed Character¶

Tunnel problem is mixed or framed-leaning. Its structural side is the repeatable organization summarized by The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014. Its framed side is the social_sciences_humanities_arts vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: The tunnel problem was the focus of a poll conducted by the Open Roboethics Initiative (ORi). Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Pattern. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: Similar thought experiments have been brought forth by other philosophers focusing on the topic of autonomous cars. The entry contains a critique of the problem as presented by Millar. It further constrains recognition and variation through: The tunnel problem was the focus of a poll conducted by the Open Roboethics Initiative (ORi). The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014.

What is domain-bound. social sciences humanities arts supplies the operative entities, technical vocabulary, warrants, and exceptions that make Tunnel problem literal. Its documented scope includes the condition that The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows. Another bounded application condition is that Tunnel Problem: You are travelling along a single lane mountain road in an autonomous car that is fast approaching a narrow tunnel. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—The tunnel problem is intended to draw one's attention to a specific issue in design/engineering ethics, and was first presented as follows.—and future graph densification may discover a defensible relation only if it preserves that boundary.

This entry is a kind of Thought Experiment.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Tunnel problem. The reviewed identity is: The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Relationships to Other Abstractions¶

Current abstraction Tunnel problem Domain-specific

Parents (1) — more general patterns this builds on

Tunnel problem is a kind of Thought Experiment Prime

Tunnel problem is a domain-specific kind of thought experiment under the frozen identity and differentia.

Hierarchy paths (2) — routes to 2 parentless roots

Tunnel problem → Thought Experiment → Counterfactual Reasoning

Show alternative path (1)

Neighborhood in Abstraction Space¶

Tunnel problem sits in a sparse region of the domain-specific corpus (77^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Autonomous Control & Learning Systems (11 abstractions)

Nearest neighbors

Linear-quadratic regulator rapidly exploring random tree — 0.84
Wardrop Equilibrium — 0.84
Tractable Problem — 0.82
Control-Lyapunov function — 0.82
Logico-linguistic modeling — 0.82

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Pattern. The parent omits the specialist differentia. Tell: Can the case establish The tunnel problem is a philosophical thought experiment first introduced by Jason Millar in 2014?
Monty Hall problem. A worked three-door puzzle in which switching wins ⅔ of the time because the host's reveal was constrained by what he knew — drilling the move of updating on the protocol that produced an observation, not on its bare surface. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Kavka's toxin puzzle. Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Frustration–Aggression Hypothesis. A social-psychological theory in which interference with expected goal attainment produces frustration or negative affect that increases readiness for aggressive responding, while attribution, inhibition, competing responses, situational cues, and target availability govern whether aggression is expressed or displaced. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Tunnel problem remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside social_sciences_humanities_arts lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Pattern?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Tunnel_problem (revision 1365330671).
Preserved source candidate: http://robohub.org/an-ethical-dilemma-when-robot-cars-must-kill-who-should-pick-the-victim/
Preserved source candidate: https://www.wired.com/2014/05/the-robot-car-of-tomorrow-might-just-be-programmed-to-hit-you/
Preserved source candidate: http://robots.law.miami.edu/2014/wp-content/uploads/2013/06/Proxy-Prudence-Rethinking-Models__-of-Responsibility-for-Semi-autonomous-Robots-Millar.pdf
Preserved source candidate: http://www.law.miami.edu/webcast/video.php?location=depatments&stream=20140404_WeRobot_Part3.mp4&width=480&height=270&page=
Preserved source candidate: http://ubyssey.ca/news/ubc-researchers-are-looking-to-open-up-dialogue-surrounding-public-opinion-on-driverless-cars-323/
Preserved source candidate: https://web.archive.org/web/20140625054846/http://ubyssey.ca/news/ubc-researchers-are-looking-to-open-up-dialogue-surrounding-public-opinion-on-driverless-cars-323/
Preserved source candidate: http://blog.practicalethics.ox.ac.uk/2015/07/the-tunnel-problem/
Preserved source candidate: http://robohub.org/if-a-death-by-an-autonomous-car-is-unavoidable-who-should-die-results-from-our-reader-poll/

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.