Technical Reports - Query Results

Your query term was 'number = 90-16'
1 report found
OFAI-TR-90-16 ( 51kB g-zipped PostScript file)

Extending Explanation-Based Generalization by Abstraction Operators

Igor Mozetic, Christian Holzbaur

We present two contributions to the explanation-based generalization techniques. First, the operationality criterion is extended by abstraction operators. These allow for the goal concept to be reformulated not only in terms of operational predicates, but also allow to delete irrelevant arguments, and to collapse indistinguishable constants. The abstraction algorithm is presented and illustrated by an example. Second, the domain theory is not restricted to variables with finite (discrete) domains, but can deal with infinite (e.g., real-valued) domains as well. The interpretation and abstraction are effectively handled through constraint logic programming mechanisms. In the paper we concentrate on the role of CLP(R) - a solver for systems of linear equations and inequalities over reals.

Citation: Mozetic I., Holzbaur C.: Extending Explanation-Based Generalization by Abstraction Operators, Proc. European Working Session on Learning, EWSL-91, pp. 282-297, Porto, Portugal, March 6-8, 1991, Springer-Verlag.