tell
:content <expression>
:language <word>
:ontology <word>
:in-reply-to <expression>
:force <word>
:sender <word>
:receiver <word>
Performatives of this type indicate that the :content
sentence is in the sender's virtual knowledge base (VKB) 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).deny
:content <performative>
:language KQML
:ontology <word>
:in-reply-to <expression>
:sender <word>
:receiver <word>
Performatives of this type indicate that the meaning of the embedded
<performative> is not true of the sender. A
deny of a deny cancels out.untell
:content <expression>
:language <word>
:ontology <word>
:in-reply-to <expression>
:force <word>
:sender <word>
:receiver <word>A performative of this type is equivalent to a deny of a tell.
NOTE: untell weaker than telling the negation of the sentence; the sender may not have the negation in its VKB either.
NOTE: Inclusion of untell performative is obviously redundant; in this document, perspecuity takes precedence over minimality.
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