Standard effects

Scott A. Moore
University of Michigan Business School
samoore@umich.edu

Last modified: 04/30/98

This paper is work-in-progress. It is not even close to being complete. It may change from day to day. Do not cite this work. All rights reserved. © 1998 Scott A. Moore.

standardEffects M
defines the standard perlocutionary effects for message M.
flbcMsg()
a standard FLBC message.
considerForKB X because Y
consider adding X to the knowledge base because of Y.
S believes C
it is the case that S believes that C.
S wants C
S wants C.
do(S, C)
S does C.
S permitTo C
S is permitted to C.
S prohibitFrom C
S is prohibited from C.
S should C
X should do C.
S obligated C because Y
S is obligated to C because of Y.
S requireTo C
S is required to C. \item \textbf{Time predicates
1) time(T, C): During some time period T, C is (was, will be) true. 2) time(after(T), C): After time T it will be the case that C. 3) time(before(T), C): Before time T it was the case that C. 4) now: refers to the current date and time.
determine(X, Y)
the value of X is determined to be Y.
flbcMsg(H, S, F, P)
an FLBC message of the form F(P) from H to S.
Other (relatedTo(), is())
 

Definitions

standardEffects flbcMsg(speaker=S, hearer=H, force=advise, 
        content=C, context=X, id=ID) :-
  considerForKB S believes (H should C) because flbcMsgID=ID,
  considerForKB S wants (H believes (H should C)) because 
        flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=ascribe, 
        content=relatedTo(F, O), context=X, id=ID) :-
  considerForKB S believes relatedTo(F, O) because flbcMsgID=ID,
  considerForKB S wants (H believes relatedTo(F, O)) because 
        flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=assent, 
        content=C, context=X, id=ID) :-
  considerForKB S believes C because flbcMsgID=ID,
  considerForKB S believes (H believes C) because flbcMsgID=ID,
  considerForKB S wants (H believes C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=assert, 
        content=C, context=X, id=ID) :-
  considerForKB S believes C because flbcMsgID=ID,
  considerForKB S wants (H believes C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=concede, 
        content=C, context=X, id=ID) :-
  considerForKB S believes C because flbcMsgID=ID,
  considerForKB time(before(now), S believes not C) because 
        flbcMsgID=ID,
  considerForKB S wants (H believes C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=confirm, 
        content=C, context=X, id=ID) :-
  considerForKB S believes C because flbcMsgID=ID,
  considerForKB S wants (H believes C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=denial, 
        content=C, context=X, id=ID) :-
  considerForKB S believes not C because flbcMsgID=ID,
  considerForKB S believes (H not believes not C) 
                  because flbcMsgID=ID,
  considerForKB S wants (H believes not C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=describe, 
        content=is(O, F), context=X, id=ID) :-
  considerForKB S believes is(O, F) because flbcMsgID=ID,
  considerForKB S wants (H believes is(O, F)) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=dispute, 
        content=C, context=X, id=ID) :-
  considerForKB S not believes C because flbcMsgID=ID,
  considerForKB S believes (H believes C) because flbcMsgID=ID,
  considerForKB S wants (H not believes C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=dissent, 
        content=C, context=X, id=ID) :-
  considerForKB S believes not C because flbcMsgID=ID,
  considerForKB S believes (H believes C) because flbcMsgID=ID,
  considerForKB S wants (H believes not C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=inform, 
        content=C, context=X, id=ID) :-
  considerForKB S believes C because flbcMsgID=ID,
  considerForKB S believes (H not believes C) because flbcMsgID=ID,
  considerForKB S wants (H believes C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=offer, 
        content=C, context=X, id=ID) :-
  considerForKB S believes 
        (S obligated (C if do(H, flbcMsg(H, S, effective(accept), C))) 
                      because flbcMsgID=ID)
           because flbcMsgID=ID,
  considerForKB S wants (C if do(H, flbcMsg(H, S, effective(accept), C))) 
                  because flbcMsgID=ID,
  considerForKB S wants (H believes 
                           (S obligated 
                              (C if flbcMsg(H, S, effective(accept), C)) 
                              because flbcMsgID=ID))
                  because flbcMsgID=ID,
  considerForKB S wants (H believe 
                           (S wants (C if do(H, 
                              flbcMsg(H, S, effective(accept), C)))))
                  because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=permit, 
        content=C, context=X, id=ID) :-
  considerForKB S believes (H permitTo C) because flbcMsgID=ID,
  considerForKB S wants (H believes (H permitTo C)) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=predict, 
        content=time(T, C),
        context=X, id=ID) :-
  considerForKB S believes time(T, C) because flbcMsgID=ID,
  considerForKB S wants (H believes time(T, C)) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=prohibit, 
        content=C, context=X, id=ID) :-
  considerForKB S wants (H believes (H prohibitFrom C)) 
                  because flbcMsgID=ID,
  considerForKB S wants not do(H, C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=promise, 
        content=C, context=X, id=ID) :-
  considerForKB S believes (S obligated do(S, C) 
                              because flbcMsgID=ID) 
                  because flbcMsgID=ID,
  considerForKB S wants do(S, C),
  considerForKB H believes (S obligated do(S, C) 
                              because flbcMsgID=ID) 
                  because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=question, 
        content=isTrueFalse(C),
        context=X, id=ID) :-
  considerForKB S wants do(H, determine(isTrueFalse(C), TruthValue)) 
                  because flbcMsgID=ID,
  considerForKB S wants do(H, flbcMsg(H, S, inform, TruthValue)) 
                  because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=request, 
        content=C, context=X, id=ID) :-
  considerForKB S wants do(H, C) because flbcMsgID=ID,
  considerForKB S wants (H wants do(H, C)) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=require, 
        content=C, context=X, id=ID) :-
  considerForKB S wants (H believes (H requireTo C)) because flbcMsgID=ID,
  considerForKB S wants do(H, C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=retract, 
        content=C, context=X, id=ID) :-
  considerForKB S not believes C because flbcMsgID=ID,
  considerForKB S believes (H believes time(before(now), S believes C)) 
                  because flbcMsgID=ID,
  considerForKB S wants (H not believes C) because flbcMsgID=ID.

standardEffects flbcMsg(speaker=S, hearer=H, force=retrodict, 
        content=time(T, C), context=X, id=ID) :-
  considerForKB S believes time(T, C) because flbcMsgID=ID,
  considerForKB S wants (H believes time(T, C)) because flbcMsgID=ID.