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