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

[Edmon Begoli <ebegoli@xxxxxxxxx>]

Thanks Mills.

Do you have any research paper or a book reference to share that describes the concept you suggest?

Thank you,

Edmon

On Mon, Jan 7, 2013 at 3:31 PM, Mills Davis <lmd@xxxxxxxxxxxxxx> wrote:

One way is to model as a goal-oriented case with pre and post conditions on activities.

Mills

On 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

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