Explanation-based Generalization in a Logic-Programming Environment
Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Acquisition. 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.
@inproceedings{ijcai1987p45,
title = {Explanation-based Generalization in a Logic-Programming Environment},
author = {Hirsh, Haym},
booktitle = {Proceedings of the Tenth International Joint Conference on
Artificial Intelligence, {IJCAI-87}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John McDermott},
pages = {221--226},
year = {1987},
note = {Knowledge Acquisition},
url = {https://ijcai.org/proceedings/1987/45},
}
TY - CPAPER TI - Explanation-based Generalization in a Logic-Programming Environment AU - Hirsh, Haym T2 - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87 PB - International Joint Conferences on Artificial Intelligence PY - 1987 SP - 221 EP - 226 UR - https://ijcai.org/proceedings/1987/45 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
