Technical Reports - Query ResultsYour 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.