Re: Motion 31 draft text V04.4, extra notes
Nate Hayes wrote:
> What I meant is that at Level 1 there is no definition of midpoint for
> unbounded intervals. So why include unbounded intervals in the Level 1
> model? Especially when a similar treatment at Level 2 of "overflown"
> intervals can provide the same practical benefits? IMO the Level 1
> model is then cleaner and simpler.
If we were only talking about intervals representing uncertain numbers,
which is where midpoint notions are most significant, Nate would be right.
But I believe we also want to support intervals as ranges, e.g. for
constraint propagation. In that case it is essential to provide for
unbounded intervals at Level 1.
It is ok for Level 1 to leave some concepts undefined for unbounded
intervals.
Michel.
P.S. I thought we were going to abandon babytalk and use "overflowed".
---Sent: 2012-04-05 20:47:17 UTC