Title :
On the logics of image interpretation: model-construction in a formal knowledge-representation framework
Author :
Schröder, Carsten ; Neumann, Bernd
Author_Institution :
Fachbereich Inf., Hamburg Univ., Germany
Abstract :
In this contribution, we present a formal, logic-based approach to image interpretation by combining methods from two different research areas, namely computer vision and knowledge representation. After describing two well known approaches we present a concise definition of the required solution of an image understanding problem. We then propose an object-centered, KL-ONE-like description logic tailored to the representation needs in image understanding and a calculus for computing an interpretation of a given image according to our definition
Keywords :
computer vision; knowledge representation; object-oriented methods; computer vision; formal knowledge-representation framework; image interpretation logics; image understanding; model-construction; object-centered description logic; Calculus; Computer vision; History; Image analysis; Image sequence analysis; Image sequences; Inference mechanisms; Knowledge representation; Layout; Logic;
Conference_Titel :
Image Processing, 1996. Proceedings., International Conference on
Conference_Location :
Lausanne
Print_ISBN :
0-7803-3259-8
DOI :
10.1109/ICIP.1996.561022
