Implementação de um sistema de interpretação de seqüências de imagens baseado em uma semântica de caminhos

Abstract

Neste trabalho abordamos o problema de interpretação de seqüências de imagens e sua principal contribuição é apresentar e discutir a implementação de um sistema computacional capaz de interpretar seqüências de imagens baseado em raciocínio espacial qualitativo. Nossa princiapl motivação para este desenvolvimento é interpretar seqüências de imagens, executando inferências lógicas sobre mudanças ocorridas nas cenas. Este sistema tem a habilidade de extrair informações de objetos de uma seqüência de imagens, obtidas por um sensor, associando relações entre objetos na cena e mudanças ao longo da seqüência, fornecendo assim, uma interpretação de alto nível. O sistema é dividido em dois módulos, o Módulo 1: extração de informações e o módulo 2: interpretação de alto nível. No Módulo 1 tem-se a entrada das cenas nno sitema. O módulo 2 é responsável por interpretar os movimentos dos objetos na seqüência de imagens. Para isto, utilizaremos o formalismo chamado T-logic (SANTOS, p. ; SANTOS, M. 2005), que é uma instância da Lógica de transações (BONNER ; KIFFER, 1993). Este formalismo utiliza dois oráculos baseados em raciocínio espacial qualitativo. Os testes efetuados no sistema mostram é possível interpretar seqüências de imagens utilizando raciocínio espacial qualitativo através do formalismo T-Logic.

In this work we tackle problem of image sequence interpretation, where our main contribution is to present and discuss an implementation of a system for interpreting image sequences based on qualitative spatial reasoning. Our motivation for this is to do the interpretation executing logical inference methods on changes that occurred in scenes. The system developed has the ability to extract information of objects picked out in images describing the changes that occurred in the environment, thus providing a high level interpretation about objects movement. The system has two modules, the first module is Information Extraction and second is High-Level Interpretation. Module 1 has as input snapshots of the world. Module 2 is responsible for the interpretation of object movements in images sequences provide to the system. For this, we use the logical formlism called T-Logic (SANTOS, P. ; SANTOS, M., 2005), that is an instance of Transaction Logic (BONNER ; KIFER, 1993). This logical formalism uses two oracles based on qualitative spatial reasoning. we present some experiments that show that the system developed is capable to interpret image sequences using qualitative spatial reasoning encoded within T-Logic.