[ontolog-forum] Modeling expectations and expirable events

[Edmon Begoli <ebegoli@xxxxxxxxx>]

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    (01)