---
title: "Explanation-based Generalization in a Logic-Programming Environment"
authors:
  - "Haym Hirsh"
doi: ""
url: "https://ijcai.org/proceedings/1987/45"
pdf: "https://ijcai.org/proceedings/1987/0045.pdf"
venue: "Proceedings of the Tenth International Joint Conference on Artificial Intelligence"
year: 1987
pages: "221-226"
track: "Knowledge Acquisition"
keywords:
---

# Explanation-based Generalization in a Logic-Programming Environment

Haym Hirsh

*Proceedings of the Tenth International Joint Conference on Artificial Intelligence*, pages 221-226.

## Abstract

This paper describes a domain-independent implementation of explanation-based generalization (EBG) within a logic-programming environment. Explanation is interleaved with generalization, so that as the training instance is proven to be a positive example of the goal concept, the generalization is simultaneously created. All aspects of the EBG task are viewed in logic, which provides a clear semantics for EBG, and allows its integration into the logic-programming system. In this light operationality becomes a property requiring explicit reasoning. Additionally, viewing EBG in logic clarifies the relation of learning search-control to EBG, and suggest. solutions for dealing with imperfect domain theories.