Sciweavers

AAAI
1993

Numeric Reasoning with Relative Orders of Magnitude

13 years 5 months ago
Numeric Reasoning with Relative Orders of Magnitude
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative information and of ensuring validity of the results in IR are tackled. Correspondent overlapping relations are defined in R and all rules of ROM(K) are transposed to R. The obtained system ROM(R) depends on two independent numbers which may be freely chosen for each application. Unlike other proposed systems, a sound calculus is thus ensured in (18, while keeping the ability to provide commonsense explanations of the results . These results can be refined by using additional techniques. In this way, k-bound-consistency, which generalizes interval propagation, is evaluated. Using computer algebra to push symbolic computation as far as possible and delay numeric evaluation considerably improves the results . Exact results may even be obtained by computing the roots of partial derivatives and then the extrema o...
Philippe Dague
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1993
Where AAAI
Authors Philippe Dague
Comments (0)