Extending Explanation-Based Generalization with Metalogic Programming

3noneBERTARELLO S.; COSTANTINI S.; G. LANZARONEBertarello, S.; Costantini, S.; Lanzarone, GAETANO AURELI

Extending Explanation-Based Generalization by Abstraction Operators

ion Operators Igor Mozetic Austrian Research Institute for Artificial Intelligence Schottengasse 3, A-1010 Vienna, Austria [email protected] Christian Holzbaur Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence University of Vienna Freyung 6, A-1010 Vienna, Austria [email protected] Abstract 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 Appears in Machine Learning --- EWSL-91 (Y..