make commitment

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

• commitmentconcept0.888
  An internal obligation to make some sentence true, a key abstraction for Elephant speech acts.
• exists commitmentmethod0.836
  Predicate to check whether a commitment exists.
• cancel commitmentmethod0.834
  Internal action to revoke a commitment in Elephant.
• Commitment (Abstract Performative)concept0.822
  Internal commitment to make a sentence true; correctness requires fulfillment; example of abstract performative not necessarily externally expressed.
• Commitments are like specifications, but they are to be considered as dynamic, i.e. specific commitments are created as the program runs.claim0.788
  Dynamic nature of commitments.
• What class of sentences to allow as expressing various kinds of commitments?question0.772
  Open problem on the expressiveness of commitment sentences.
• Devotional Makingconcept0.761
  The orientation of ancient weavers who made carpets as an act of reaching toward the eternal; proposed as the means by which the strongest living centers were achieved.
• What are the program's commitments when it is in a given state?question0.755
  Question about dynamically queryable commitments.