A simple promise is an internal commitment to do something, i.e. to make some sentence true, and an output assertion that the commitment exists. Correctness requires that the assertion be truthful.

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

• For some purposes, it will be convenient to settle for specifications in terms of fulfilling internal commitments, and sometimes the public character of promises will have to be taken into account in the specifications.claim0.783
  Trade-off between internal and public obligations.
• Austin points out that uttering a promise creates an obligation in a public sense. This will be important also for computer programs, since a promise by the program may create an obligation, perhaps legal, on the part of the organization operating the program.claim0.772
  Importation of Austin's idea to programs.
• Commitments are like specifications, but they are to be considered as dynamic, i.e. specific commitments are created as the program runs.claim0.763
  Dynamic nature of commitments.
• The correctness of programs is partly defined in terms of proper performance of the speech acts. Answers should be truthful and responsive, and promises should be kept. Sentences of logic expressing these forms of correctness can be generated automatically from the form of the program.claim0.743
  Second abstract claim.
• The Elephant programmer in verifying his program need not show that the promise will be fulfilled because it was made. It is enough that he show it will be fulfilled.claim0.733
  Rejection of one of Dorschel's conditions for happy performance.
• The simplest thing which can be created, in real terms, is that thing which goes furthest to resolve, complete, hence to elaborate and underpin the structure of the world, its wholeness, which exists at that place.claim0.733
  Definition of real simplicity tied to resolving the wholeness.
• Or is there something intrinsically insincere or inauthentic about making that grand promise, called the ‘Bodhisattva Vow’?question0.727
  Questioning authenticity of the vow, part of exploring the model.
• What class of sentences to allow as expressing various kinds of commitments?question0.726
  Open problem on the expressiveness of commitment sentences.