W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2008

Re: lack of model theory for errors in built-ins

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Mon, 04 Feb 2008 13:35:06 +0100
Message-ID: <47A7067A.9070607@ilog.fr>
To: Jos de Bruijn <debruijn@inf.unibz.it>
CC: Michael Kifer <kifer@cs.sunysb.edu>, RIF WG <public-rif-wg@w3.org>

Jos de Bruijn wrote:
> 
> You're right.  The definitions don't work.  If we would fix them, we end 
> up with your option (b).
> So we're back where we started, with the two choices you described in [1].

That is:
> 5. For predicates, we have two options.
>    a. The simplest option is to say that a predicate, p(a,b,c,...), is false if
>       any of its arguments evaluates to _|_ in the interpretation.
> 
>    b. This option introduces a new truth value, called E (error) such that 
>       ~E = E, E/\F=F, E/\T=E, E\/F=E, E\/T=T. Then we can say that
>       p(a,b,c,...) has truth value E if at least of of the args is _|_.

If it is the case that we are, indeed, back to that point, may I insist 
that we should also consider a third choice (or that someone provides me 
with an explanation why we should not consider it) [2]:
>> What if the new truth value E was such that:
>>   ~E = E/\F = E/\T = E\/F = E\/T
>>      = E :- T = E :- F = T :- E = F :- E
>>      = Forall E = Exists E
>>      = E
>> so that as soon as you have an E somewhere, everything becomes E?

"If", because it is still not clear to me why we cannot just say that 
RIF-BLD does not provide semantics for ExtTerms outside of their domains 
of definition...

Cheers,

Christian

[1] http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/0099.html
[2] http://lists.w3.org/Archives/Public/public-rif-wg/2008Jan/0061.html
Received on Monday, 4 February 2008 12:35:44 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:42 UTC