Toward the Automatic Generation of Mathematical Morphology Procedures Using Predicate Logic
Abstract
A discussion is presented of the design of a system that can input a vision task specification and use its knowledge of the operations of mathematical morphology to automatically construct a procedure that can execute the task. To do this, the authors develop a predicate calculus representation to describe the essence of the states of all the images that are created during the execution of the morphological procedure and the states of the relationships among them. The authors translate the English descriptions of morphological procedures into predicate logic. In so doing they gain an understanding of the goal of each procedure and the exact conditions under which a procedure achieves its goal. With this knowledge of the operations of mathematical morphology represented in predicate logic, a search procedure can be used to automatically produce vision procedures.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Cite
Text
Joo et al. "Toward the Automatic Generation of Mathematical Morphology Procedures Using Predicate Logic." IEEE/CVF International Conference on Computer Vision, 1990. doi:10.1109/ICCV.1990.139514Markdown
[Joo et al. "Toward the Automatic Generation of Mathematical Morphology Procedures Using Predicate Logic." IEEE/CVF International Conference on Computer Vision, 1990.](https://mlanthology.org/iccv/1990/joo1990iccv-automatic/) doi:10.1109/ICCV.1990.139514BibTeX
@inproceedings{joo1990iccv-automatic,
title = {{Toward the Automatic Generation of Mathematical Morphology Procedures Using Predicate Logic}},
author = {Joo, Hyonam and Haralick, Robert M. and Shapiro, Linda G.},
booktitle = {IEEE/CVF International Conference on Computer Vision},
year = {1990},
pages = {156-165},
doi = {10.1109/ICCV.1990.139514},
url = {https://mlanthology.org/iccv/1990/joo1990iccv-automatic/}
}