cancel commitment

Internal action to revoke a commitment in Elephant.

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.

commitmentconcept0.842
An internal obligation to make some sentence true, a key abstraction for Elephant speech acts.
make commitmentmethod0.834
Internal action to create a commitment object in Elephant.
exists commitmentmethod0.783
Predicate to check whether a commitment exists.
Commitment (Abstract Performative)concept0.767
Internal commitment to make a sentence true; correctness requires fulfillment; example of abstract performative not necessarily externally expressed.
Closingmethod0.761
Dynamic condition: ending a branch or closing a frame.
What class of sentences to allow as expressing various kinds of commitments?question0.744
Open problem on the expressiveness of commitment sentences.
Commitments are like specifications, but they are to be considered as dynamic, i.e. specific commitments are created as the program runs.claim0.739
Dynamic nature of commitments.
Cessationsconcept0.728
Buddhist contemplative milestone theorized as near-complete absence of vasomotion; key prediction differentiating vasocomputation theory from alternatives.