Skip to main content

Integration of image sequence evaluation and fuzzy metric temporal logic programming

  • Computer Perception / Neural Nets
  • Conference paper
  • First Online:
KI-97: Advances in Artificial Intelligence (KI 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1303))

Included in the following conference series:

Abstract

Advanced image sequence evaluation systems generate a voluminous amount of quantitative data which is increasingly difficult to assess. The challenge consists in abstracting from and reasoning with these data in order to create a more intuitive access to image evaluation results.

This contribution reports about experiences and results gained by connecting an existing advanced image sequence evaluation system with a Fuzzy Metric Temporal Logic (FMTL) system which is able to represent and process uncertain, time-related data. We will explain and demonstrate the advantage of using FMTL in order to automatically analyze traffic situations recorded by a video camera and evaluated by our image evaluation system. In particular, we shall address difficulties arising from feeding a logic inference system with uncertain real world data.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Buxton, S. Gong: Visual Surveillance in a Dynamic and Uncertain World. Artificial Intelligence 78 (1995) 431–459.

    Google Scholar 

  2. S. Dance, T. Caelli, Z.-Q. Liu: A Concurrent, Hierarchical Approach to Symbolic Scene Interpretation. Pattern Recognition 29:11 (1996) 1891–1903.

    Google Scholar 

  3. G. Herzog: From Visual Input to Verbal Output in the Visual Translator. Working Notes AAAI-95 Fall Symposium Series ‘Computational Models for Integrating Language and Vision', R.K. Srihari (ed.), Cambridge/MA, 10–12 November 1995, pp. 9–15.

    Google Scholar 

  4. T. Huang, D. Koller, J. Malik, G. Ogasawara, B. Rao, S. Russell, and J. Weber: Automatic Symbolic Traffic Scene Analysis Using Belief Networks. Proc. 12th National Conf. on Artificial Intelligence, Seattle/WA, 31 July–4 August 1994, pp. 966–972.

    Google Scholar 

  5. H. Kollnig, H.-H. Nagel: 3D Pose Estimation by Fitting Image Gradients Directly to Polyhedral Models. Proc. 5th International Conference on Computer Vision ICCV '95, Cambridge/MA, 20–23 June 1995, pp. 569–574.

    Google Scholar 

  6. H. Kollnig, H.-H. Nagel: Matching Objects to Segments from an Optical Flow Field. Proc. 4th European Conference on Computer Vision (ECCV '96), Vol. 11, Cambridge/UK, 15–18 April 1996, Lecture Notes in Computer Science 1065, Springer-Verlag, Berlin a. o. 1996, pp. 388–399.

    Google Scholar 

  7. R. Mann, A. Jepson, J.M. Siskind: The Computational Perception of Scene Dynamics. Computer Vision and Image Understanding 1065:2 (1997) 113–128.

    Google Scholar 

  8. H.-H. Nagel: From Image Sequences towards Conceptual Descriptions. Image and Vision Computing 6:2 (1988) 59–74.

    Google Scholar 

  9. H.-H. Nagel, H. Kollnig, M. Haag, H. Damm: The Association of Situation Graphs with Temporal Variations in Image Sequences. Working Notes AAAI-95 Fall Symposium Series ‘Computational Models for Integrating Language and Vision', R.K. Srihari (ed.), Cambridge/MA, 10–12 November 1995, pp. 1–8.

    Google Scholar 

  10. K. Schäfer: Unscharfe zeitlogische Modellierung von Situationen und Handlungen in Bildfolgenauswertung und Robotik. Dissertation, Fakultät für Informatik der Universität Karlsruhe (TH), Juli 1996. Published in: Dissertationen zur Künstlichen Intelligenz (DISKI), Band 135, infix-Verlag, St. Augustin, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Gerhard Brewka Christopher Habel Bernhard Nebel

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Haag, M., Theilmann, W., Schäfer, K., Nagel, H.H. (1997). Integration of image sequence evaluation and fuzzy metric temporal logic programming. In: Brewka, G., Habel, C., Nebel, B. (eds) KI-97: Advances in Artificial Intelligence. KI 1997. Lecture Notes in Computer Science, vol 1303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540634932_24

Download citation

  • DOI: https://doi.org/10.1007/3540634932_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63493-5

  • Online ISBN: 978-3-540-69582-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics