Re: Draft Minutes of telcon 12_12_06

Dear Giorgos,

In the minutes you scribed you wrote:

> michael: if you agree on syntax you have to also specify semantics to 
> exchange
> ... harold's example might not cover c-terms

Please correct before submitting for acceptance: it's not 'c-terms' but
\psi-terms (i.e., the Greek (!) letter "psi").

Same remark also everywhere else it occurs in the rest of the text below.

> hassan: subsumption is too much for minimal core
> ... you can close your signature and have the same semantics as individuals
> 
> <GerdW> john{age->40} what is the predicate ?
> 
> <sandro> ChrisW? Are you purposely ignoring the queue or not paying 
> attention to IRC?
> 
> hassan: it is important for exchange

Please modify to:

    hassan: Constraints are IMHO the right level of abstraction for rule exchange
    because they allow *approximation*. Approximation it is important for exchange
    as one may still wish to exchange rules at some level of *abstraction*. Indeed,
    abstraction  is possible simply by relaxing some constraints describing the
    data over which the rules are defined.

Thanks.

Regards,

-hak
-- 
Hassan Aït-Kaci
ILOG, Inc. - Product Division R&D
tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com