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

[Alex Shkotin]

Hi Gabriele,

It seems that if you have an axiom of your application area of kind you have
written:
"If a card X1 is inserted then exactly X1 is inserted. ..."

then later in "factology" they may simply report that
"A customer inserts a VisaCard or inserts a MasterCard"

Regards,

Alex


2010/7/11 Gabriele Kahlout <gabriele at mysimpatico.com>

>
>
> 2010/7/11 Norbert E. Fuchs <fuchs at ifi.uzh.ch>
>
>
>> On 11 Jul 2010, at 09:12, Gabriele Kahlout wrote:
>>
>> > 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?
>>
>> Not in our experience. We checked naturally occurring "either-or" on the
>> web, and found that in most cases it did not mean exclusive or, but
>> emphasis.
>>
>> That's interesting, is there a report on this research?
>
> http://en.wikipedia.org/wiki/Exclusive_or#Exclusive_.E2.80.9Cor.E2.80.9D_in_natural_language
>
>
> So in this case one should have written "the customer inserts a VisaCard or
> inserts a MasterCard, and not both and inserts a code.
> But there is no support for both, so how could mutual exclusiveness be
> expressed?
>
> "No card is inserted while another card is inserted. The customer inserts a
> VisaCard or inserts a MasterCard, and inserts a code."
> but function words while and another don't exist. So:
> "If a card is inserted then no other card is inserted. ..."
> but other also doesn't exist:
> "If a card X1 is inserted then no card is inserted except X1. ..."
> but except doesn't exist:
> "If a card X1 is inserted then exactly X1 is inserted. ..."
> exactly meaning that no other card is inserted.
>
> Is the last the most natural way to express xor in ACE for the example
> sentence?
>
>
> --
> 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) ).
>
>
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100711/641a1d93/attachment.htm>