Modal Intervals Revisited Part 1: A Generalized Interval Natural Extension

Abstract : The modal intervals theory is an extension of the classical intervals theory which provides richer interpretations (including in particular inner and outer approximations of the ranges of real functions). In spite of its promising potential, the modal intervals theory is not widely used today because of its original and complicated construction. The present paper proposes a new formulation of the modal intervals theory. New extensions of continuous real functions to generalized intervals (intervals whose bounds are not constrained to be ordered) are defined. They are called AE-extensions. These AE-extensions provide the same interpretations as the ones provided by the modal intervals theory, thus enhancing the interpretation of the classical interval extensions. The construction of AE-extensions follows the model of the classical intervals theory: starting from a generalization of the definition of the extensions to classical intervals, the minimal AE-extensions of the elementary operations are first built leading to a generalized interval arithmetic. This arithmetic is proved to coincide with the well known Kaucher arithmetic. Then the natural AE-extensions are constructed similarly to the classical natural extensions. The natural AE-extensions represent an important simplification of the formulation of the four "theorems of $\ast$ and $\ast\ast$ interpretation of a modal rational extension" and "theorems of coercion to $\ast$ and $\ast\ast$ interpretability" of the modal intervals theory. With a construction similar to the classical intervals theory, the new formulation of the modal intervals theory proposed in this paper should facilitate the understanding of the underlying mechanisms, the addition of new items to the theory (e.g. new extensions) and its utilization. In particular, a new mean-value extension to generalized intervals will be introduced in the second part of this paper.
Liste complète des métadonnées

Cited literature [38 references]  Display  Hide  Download
Contributor : Alexandre Goldsztejn <>
Submitted on : Tuesday, July 8, 2008 - 5:30:49 PM
Last modification on : Monday, March 21, 2016 - 5:50:16 PM
Document(s) archivé(s) le : Friday, May 28, 2010 - 11:17:57 PM


Files produced by the author(s)


  • HAL Id : hal-00294219, version 1



Alexandre Goldsztejn. Modal Intervals Revisited Part 1: A Generalized Interval Natural Extension. 2008. 〈hal-00294219〉



Record views


Document downloads