question

active

question:what-do-we-want-to-say-about-airline-reservations-to-our-program

What do we want to say about airline reservations to our program?

Question guiding minimal specification.

Source paper

extracted_from

Elephant 2000: A Programming Language Based on Speech Acts

McCarthy, John

Neighborhood — ranked by edge-count

Claims (1)

claim

What type 1 and type 2 obligations are, e.g. the legal requirements they impose, how they are to be treated when they conflict with other considerations, and the consequences of their non-fulfillment, is subject to institutional definition.
gates
Claim that obligation types are institution-dependent.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

What is an airline reservation?question0.785
Question posed and then dismissed as the wrong question for program design.
How should we define an airline reservation for the purposes of an Elephant reservation program?question0.782
Better question about minimal definition for the program.
An airline reservation program's input-output specification is that it not order the admission of more passengers than the capacity of the flight. It is an external fact that the plane will hold its capacity and not more.claim0.769
Example distinguishing input-output and external facts.
What are the program's commitments when it is in a given state?question0.721
Question about dynamically queryable commitments.
what features activate when we ask Claude questions about its subjective experience?question0.689
Question about features related to consciousness and self-report.
What hasn’t been said? What still could be made explicit?question0.687
Points to the shadow text of latent content.
We shall only be able to reproduce versions and combinations of what can be 'reached' by that form language.quote0.684
States that the form language delimits what buildings can be created.
Can we define clarity of color, or say anything about how to get it?question0.683