[Fwd: Re: UnConditionalEffect ????]

  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"]
>
>  
>