Explaining Object Motion Using Answer Set Programming

  • Franz WotawaEmail author
  • Lorenz Klampfl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 12117)


Identifying objects and their motion from sequences of digital images is of growing interest due to the increasing application of autonomous mobile systems like autonomous cars or mobile robots. Although the reliability of object recognition has been increased significantly, there are often cases arising where objects are not classified correctly. There might be objects detected in almost all images of a sequence but not all. Hence, there is a need for finding such situations and taking appropriate measures to improve the overall detection performance. In this paper, we contribute to this research direction and discuss the use of logic for identifying motion in sequences of images that can be used for this purpose. In particular, we introduce the application of diagnosis and show an implementation using answer set programming.


Spatial reasoning Qualitative reasoning Diagnosis Application of answer set programming 



The financial support by the Austrian Federal Ministry for Digital and Economic Affairs and the National Foundation for Research, Technology and Development is gratefully acknowledged.


  1. 1.
    Bennett, B.: Spatial reasoning with propositional logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning. The Morgan Kaufmann Series in Representation and Reasoning, pp. 51–62. Morgan Kaufmann (1994).,
  2. 2.
    Bennett, B.: Modal logics for qualitative spatial reasoning. Logic J. IGPL 4(1), 23–45 (1996). Scholar
  3. 3.
    Cohn, A., Hazarika, S.: Qualitative spatial reasoning. Fundamenta Informaticae 46(1–2), (2001)Google Scholar
  4. 4.
    Dague, P.: Qualitative reasoning: a survey of techniques and applications. AI Commun. 8(3/4), 119–192 (1995)Google Scholar
  5. 5.
    Davis, R.: Diagnostic reasoning based on structure and behavior. Artif. Intell. 24, 347–410 (1984)CrossRefGoogle Scholar
  6. 6.
    Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Tessaris, S., et al. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 40–110. Springer, Heidelberg (2009). Scholar
  7. 7.
    Geiger, A., Lenz, P., Stiller, C., Urtasun, R.: Vision meets robotics: the kitti dataset. Int. J. Rob. Res. (IJRR) 32, 1231–1237 (2013)CrossRefGoogle Scholar
  8. 8.
    de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97–130 (1987)zbMATHCrossRefGoogle Scholar
  9. 9.
    Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. KR 92, 165–176 (1992)Google Scholar
  10. 10.
    Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)MathSciNetzbMATHCrossRefGoogle Scholar
  11. 11.
    Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 161–215. Springer, Dordrecht (2007). Scholar
  12. 12.
    Suchan, J., Bhatt, M., Varadarajan, S.: Out of sight but not out of mind: an answer set programming based online abduction framework for visual sensemaking in autonomous driving. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (2019).
  13. 13.
    Weld, D., de Kleer, J. (eds.): Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, Burlington (1989)Google Scholar
  14. 14.
    Wotawa, F.: Reasoning from first principles for self-adaptive and autonomous systems. In: Lughofer, E., Sayed-Mouchaweh, M. (eds.) Predictive Maintenance in Dynamic Systems, pp. 427–460. Springer, Cham (2019).

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Christian Doppler Laboratory for Quality Assurance Methodologies for Cyber-Physical Systems, Institute for Software TechnologyGraz University of TechnologyGrazAustria

Personalised recommendations