Combining FOIL and EBG to Speed-up Logic Programs
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Machine Learning. Pages 1106-1112.
Abstract
This paper presents an algorithm that combines traditional EBL techniques and recent developments in inductive logic programming to learn effective clause selection rules for Prolog programs. When these control rules are incorporated into the original program, significant speed-up may be achieved. The algorithm is shown to be an improvement over competing EBL approaches in several domains. Additionally, the algorithm is capable of automatically transforming some intractable algorithms into ones that run in polynomial time.
@inproceedings{ijcai1993p153,
title = {Combining FOIL and EBG to Speed-up Logic Programs},
author = {Zelle, John M. and Mooney, Raymond J.},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {1106--1112},
year = {1993},
note = {Machine Learning},
url = {https://ijcai.org/proceedings/1993/153},
}
TY - CPAPER TI - Combining FOIL and EBG to Speed-up Logic Programs AU - Zelle, John M. AU - Mooney, Raymond J. T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 1106 EP - 1112 UR - https://ijcai.org/proceedings/1993/153 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: