[Attempto] or is interpreted as inclusive or , or xor?

[Gabriele Kahlout]

> > I tried the editor for the FOL of 'A customer inserts a VisaCard or
> inserts a MasterCard'∧ Inserts(x,MasterCard))
>
> Note, that the 'or' in ACE means inclusive not exclusive or.
>

So this could mean that a customer could insert 2 cards before inserting a
code  in

A customer inserts a VisaCard or inserts a MasterCard, and inserts a code.

Wasn't natural language or mostly xor?


> Best regards.
>
> Norbert E. Fuchs
> Department of Informatics & Institute of Computational Linguistics
> University of Zurich
>
>
>
>
>


-- 
Regards,
K. Gabriele

--- unchanged since 25/1/10 ---
P.S. Unless a notification (LON), please reply either with an answer OR with
" ACK" appended to this subject within 48 hours. Otherwise, I might resend.
In(LON, this) ∨ In(48h, TimeNow) ∨ ∃x. In(x, MyInbox) ∧ IsAnswerTo(x, this)
∨ (In(subject(this), subject(x)) ∧ In(ACK, subject(x)) ∧
¬IsAnswerTo(x,this)) ⇒ ¬IResend(this).

Also note that correspondence may be received only from specified a priori
senders, or if the subject of this email ends with a code, eg. -LICHT01X,
then also from senders whose reply contains it.
∀x. In(x, MyInbox) ⇒ In(senderAddress(x), MySafeSenderList) ∨ (∃y. In(y,
subject(this) ) ∧ In(y,x) ∧ isCodeLike(y, -LICHT01X) ).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100711/2cb21083/attachment.htm>