On the Definition of Specialization Hierarchies for Procedures
Abstract
We highlight the growing body of systems in AI and outside where IS-A hierarchies of procedures co-occur with more traditional onea of objects, and we classify the various types of specialisations. We then give formal definitions which approximate their intended meanings and, finally, examine their utility using as a criterion the way in which they aid program verification.
Cite
Text
Borgida. "On the Definition of Specialization Hierarchies for Procedures." International Joint Conference on Artificial Intelligence, 1981.Markdown
[Borgida. "On the Definition of Specialization Hierarchies for Procedures." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/borgida1981ijcai-definition/)BibTeX
@inproceedings{borgida1981ijcai-definition,
title = {{On the Definition of Specialization Hierarchies for Procedures}},
author = {Borgida, Alexander},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1981},
pages = {254-256},
url = {https://mlanthology.org/ijcai/1981/borgida1981ijcai-definition/}
}