Previous: Multi-response query performatives Up: Reserved Performative Names Next: Generator performatives
achieve :content <expression> :language <word> :ontology <word> :force <word> :sender <word> :receiver <word>Performatives of this type are requests that the recipient try to make the sentence in :content true of the system (technically, that the sender wants the recipient to want to make the sentence true of the system).
unachieve :content <expression> :language <word> :ontology <word> :sender <word> :receiver <word>A performative of this type is the same as a deny of an achieve.
finin@cmsc