Re: [ontolog-forum] Modeling expectations and expirable events

[Simon Spero <sesuncedu@xxxxxxxxx>]

We can reify the events, Davidson style. 

We can define classes for MessageSendingEvent and ReplyReceivedEvent.

;;; If a reply is received for a message sending before the deadline,  

;;; there is a second message sending whose contents depend on the contents of the reply

(forall ((MessageSendingEvent ?Send1 (ReplyReceivedEvent ?Reply))

 (if (replyReceivedInTime ?Send1 ?Reply)

      (exists ((MessageSendingEvent ?Send2))

      (and

       (= (SenderFn ?Send1) (SenderFn ?Send2))

       (= (TargetFn ?Send1) (TargetFn ?Send2))

       (= (ContentsFn ?Send2) (ProcessMessageFn (ContentsFn ?Reply)))))))

;;; If a message is sent and there is no reply received before the deadline, 

;;; there is a second message sending whose contents are the Nack for the first message. 

(forall ((MessageSendingEvent ?Send1))

(if (not (exists (?Reply)

 (replyReceivedInTime ?Send1 ?Reply)))

    (exists ((MessageSendingEvent ?Send2))

      (and

       (= (SenderFn ?Send1) (SenderFn ?Send2))

       (= (TargetFn ?Send1) (TargetFn ?Send2))

       (= (ContentsFn ?Send2) (NackContentsFn ?Send1))))

;;; replyReceived holds if ?Reply is a response to ?Send

(forall ((MessageSendingEvent ?Send) (ReplyReceivedEvent ?Reply))

(iff (inReplyTo ?Send ?Reply)

   (replyReceived ?Send ?Reply)))

;;; replyReceivedInTime holds if ?Reply is a response to ?Send that was received before the deadline

(forall ((MessageSendingEvent ?Send) (ReplyReceivedEvent ?Reply))

(iff (and (replyReceived ?Send ?Reply)

(< (StartFn ?Reply) (+ (EndFn ?Send1) MaxWaitTime)))

   (replyReceivedInTime ?Send ?Reply)))

On Mon, Jan 7, 2013 at 3:03 PM, Edmon Begoli <ebegoli@xxxxxxxxx> wrote:

Would someone have a recommendation on how to formally model following situations:

(I am specifically looking for formalism on expectation and expiration/timeout of window of expectation

similar to situation or even calculus.)

Complete scenario would be something like:

Agent has issued a signal and it is expecting a response from another agent.

Response has to occur within particular interval (minutes) of time.

If response does not occur, expecting agent will respond to other agent with negative feedback.

If respond does occur, expecting agent will evaluate response and provide feedback which may be positive or negative
based on the nature of response.

Thank you in advance.

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
 

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)