• DocumentCode
    304816
  • 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
  • Volume
    1
  • fYear
    1996
  • fDate
    16-19 Sep 1996
  • Firstpage
    785
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Image Processing, 1996. Proceedings., International Conference on
  • Conference_Location
    Lausanne
  • Print_ISBN
    0-7803-3259-8
  • Type

    conf

  • DOI
    10.1109/ICIP.1996.561022
  • Filename
    561022