Previous: Reserved Performative Names Up: Reserved Performative Names Next: Database performatives
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) (cf. Section ).
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.
finin@cmsc