Re: [Fwd: Re: UnConditionalEffect ????]

You can pick apart everything in this way.  It depends on the level
of abstraction you model things at.

Another example of an unconditional effect is that when you log
out of a web service that requres login, the termination time of your
session is recorded.

On Fri, 16 Jan 2004, Monika Solanki wrote:

>   This condition could also be treated as a pre-condition for the
> login-process
> -
> I am wondering if this is really unconditional. The bank would allow me
> to login only if I am a registered user. So if the condition:
> validUser(UserID) is true only then the bank login process would be
> executed and the date and time would be recorded and considered as an
> effect, which actualkly makes it a Conditional effect.
>
> -Monika
>
> Sheila McIlraith wrote:
>
> >It is possible to have an unconditional effect.  Off the top of my
> >head:
> >
> >E.g.,  Imagine that everytime you log onto your online banking system,
> >the web service records the date and time that you logged on.  That's
> >an unconditional effect of executing the bank-login process.
> >
> >
> >
> >On Fri, 16 Jan 2004, Monika Solanki wrote:
> >
> >
> >
> >>It is possible to have unConditional output for a service, however is it
> >> possible to have "unConditional Effect". I am not sure about that  If
> >>someone can provide me with an example, it will be great.
> >>[Please note: my definition of effects does not include knowledge effects]
> >>
> >>Conditions/Preconditions can be expressed as conjunctions of formulae
> >>(which cannot be directly expressed in existing SWRL), however I believe
> >>that conditional effects would be represented in the form of an
> >>implication, which can be represented in SWRL.
> >>Since we want to be as close to SWRL as possible, would be good to have
> >>a mix'n' match kind of representation within the process model i.e
> >>expressing C/PC in a flavoured version of SWRL and CE in pure SWRL.
> >>
> >>Thanks,
> >>
> >>Monika
> >>
> >>
> >>
> >>
> >>--
> >>[To unsubscribe to this list send an email to "majdart@bbn.com"
> >>with the following text in the BODY of the message "unsubscribe daml-process"]
> >>
> >>
> >>
> >--
> >[To unsubscribe to this list send an email to "majdart@bbn.com"
> >with the following text in the BODY of the message "unsubscribe daml-process"]
> >
> >
> >
>
>

Received on Friday, 16 January 2004 12:00:11 UTC