Commitment (Abstract Performative)

Internal commitment to make a sentence true; correctness requires fulfillment; example of abstract performative not necessarily externally expressed.

Neighborhood — ranked by edge-count

concept

Abstract Performatives
related_to
Internal actions like commitments not necessarily expressed in output, but on whose fulfillment correctness depends.
commitment
related_to
An internal obligation to make some sentence true, a key abstraction for Elephant speech acts.

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.

Abstract performatives include purely internal actions such as commitments not necessarily expressed in output, but on whose fulfillment the correctness of the program depends.quote0.834
Definition of abstract performative, a core invention of the paper.
make commitmentmethod0.822
Internal action to create a commitment object in Elephant.
exists commitmentmethod0.783
Predicate to check whether a commitment exists.
performative gestureconcept0.781
The idea that spatial moves are not static arrangements but live, enacted gestures.
Performativesconcept0.778
Commitments are like specifications, but they are to be considered as dynamic, i.e. specific commitments are created as the program runs.claim0.778
Dynamic nature of commitments.
cancel commitmentmethod0.767
Internal action to revoke a commitment in Elephant.
What class of sentences to allow as expressing various kinds of commitments?question0.758
Open problem on the expressiveness of commitment sentences.