Spaces of Theories with Ideal Refinement Operators
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 527-531.
Abstract
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the non-existence of ideal refinement operators has been proven for the standard clausal search spaces based on B-subsumption or logical implication, which scales up to the spaces of theories. By adopting different generalization models constrained by the assumption of object identity, we extend the theoretical results on the existence of ideal refinement operators for spaces of . clauses to the case of spaces of theories.
@inproceedings{ijcai2003p78,
title = {Spaces of Theories with Ideal Refinement Operators},
author = {Fanizzi, Nicola and Ferilli, Stefano and Di Mauro, Nicola and Basile, Teresa Maria Altomare},
booktitle = {Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence, {IJCAI-03}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Georg Gottlob},
pages = {527--531},
year = {2003},
url = {https://ijcai.org/proceedings/2003/78},
}
TY - CPAPER TI - Spaces of Theories with Ideal Refinement Operators AU - Fanizzi, Nicola AU - Ferilli, Stefano AU - Di Mauro, Nicola AU - Basile, Teresa Maria Altomare T2 - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03 PB - International Joint Conferences on Artificial Intelligence PY - 2003 SP - 527 EP - 531 UR - https://ijcai.org/proceedings/2003/78 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
