On Mon, January 7, 2013 17:25, Simon Spero wrote:
> We can reify the events, Davidson style.
>
> We can define classes for MessageSendingEvent and ReplyReceivedEvent. (01)
> ;;; 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 (02)
The response should be to a different agent. Note:
>> 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
I assume that feedback should be to "*other* agent" as well. (03)
> (forall ((MessageSendingEvent ?Send1 (ReplyReceivedEvent ?Reply))
> (if (replyReceivedInTime ?Send1 ?Reply)
> (exists ((MessageSendingEvent ?Send2))
> (and
> (= (SenderFn ?Send1) (SenderFn ?Send2))
> (= (TargetFn ?Send1) (TargetFn ?Send2))
Thus this constraint should be removed.
> (= (ContentsFn ?Send2) (ProcessMessageFn (ContentsFn ?Reply))))))) (04)
> ;;; If a message is sent and there is no reply received before the
> ;;; deadline, (05)
Such a rule needs to wait until after the deadline to determine that
no reply is received before the deadline. (06)
> ;;; there is a second message sending whose contents
> ;;; are the Nack for the first message. (07)
A message that no response was received to a message is more specific
than a negative acknowledgement of the message. (08)
> (forall ((MessageSendingEvent ?Send1))
> (if (not (exists (?Reply)
> (replyReceivedInTime ?Send1 ?Reply))) (09)
This needs to be conjoined with:
(< IndexicalNow() (+ (EndFn ?Send1) (MaxWaitTimeFn ?Send1)))
Note that the maximum wait time is likely to be a function of the
message, or its type. (010)
> (exists ((MessageSendingEvent ?Send2))
> (and
> (= (SenderFn ?Send1) (SenderFn ?Send2))
> (= (TargetFn ?Send1) (TargetFn ?Send2))
This constraint should be removed.
> (= (ContentsFn ?Send2) (NackFn ?Send1)))) (011)
i suggest:
(= (ContentsFn ?Send2) (NoResponseToFn ?Send1)))) (012)
> ;;; replyReceived holds if ?Reply is a response to ?Send
> (forall ((MessageSendingEvent ?Send) (ReplyReceivedEvent ?Reply))
> (iff (inReplyTo ?Send ?Reply)
> (replyReceived ?Send ?Reply))) (013)
Good. (014)
> ;;; replyReceivedInTime holds if ?Reply is a response to ?Send that was
> received before the deadline (015)
> (forall ((MessageSendingEvent ?Send) (ReplyReceivedEvent ?Reply))
> (iff (and (replyReceived ?Send ?Reply)
> (< (StartFn ?Reply) (+ (EndFn ?Send1) MaxWaitTime))) (016)
It depends on how the deadline is defined if the the reply event has to
start or finish before the deadline. (017)
Again, (MaxWaitTimeFn ?Send) seems more appropriate. (018)
> (replyReceivedInTime ?Send ?Reply))) (019)
-- doug f (020)
> 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. (021)
_________________________________________________________________
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 (022)
|