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...

• Type: Conference
• Year: 1993
• Where: AAAI
• Authors: Philippe Dague
• Keywords: AAAI 1993, Correspondent Overlapping Relations, Delay Numeric Evaluation, Intelligent Agents, Interval Propagation