One way is to model as a goal-oriented case with pre and post conditions on 
activities.  (01)
Mills  (02)
On Jan 7, 2013, at 3:03 PM, Edmon Begoli <ebegoli@xxxxxxxxx> wrote:  (03)
> 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  (04) 
_________________________________________________________________
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  (05)