Checking Models for Activity Recognition

Martin Nyolt, Kristina Yordanova, Thomas Kirste

2015

Abstract

Model checking is well established in system design and business process modelling. Model checking ensures and automatically proves safety and soundness of models used in day-to-day systems. However, the need for model checking in activity recognition has not been realised. Models for activity recognition can be built by prior knowledge. They can encode typical behaviour patterns and allow causal reasoning. As these models are manually designed they suffer from modelling errors. To address the problem, we discuss different classes of sensible properties and evaluate three different models for activity recognition. In all cases, modelling errors and inconsistencies have been found.

References

  1. Aggarwal, J. K. and Ryoo, M. S. (2011). Human activity analysis: A review. ACM Computing Surveys, 43(3):16:1-16:43.
  2. Hiatt, L. M., Harrison, A. M., and Trafton, J. G. (2011). Accommodating human variability in human-robot teams through theory of mind. In Proc. of the Int. Joint Conference on Artificial Intelligence, pages 2066- 2071.
  3. Hoey, J., Plötz, T., Jackson, D., Monk, A., Pham, C., and Olivier, P. (2011). Rapid specification and automated generation of prompting systems to assist people with dementia. Pervasive and Mobile Computing, 7(3):299-318.
  4. Koller, D. and Friedman, N. (2009). Probabilistic Graphical Models. MIT Press.
  5. Krüger, F., Nyolt, M., Yordanova, K., Hein, A., and Kirste, T. (2014). Computational state space models for activity and intention recognition. A feasibility study. PLoS One.
  6. Krüger, F., Steiniger, A., Bader, S., and Kirste, T. (2012). Evaluating the robustness of activity recognition using computational causal behavior models. In Proc. ACM Conference on Ubiquitous Computing, pages 1066- 1074.
  7. Krüger, F., Yordanova, K., Hein, A., and Kirste, T. (2013). Plan synthesis for probabilistic activity recognition. In Proc. 5th ICAART, pages 283 - 288.
  8. Kwiatkowska, M., Norman, G., and Parker, D. (2011). PRISM 4.0: Verification of probabilistic real-time systems. In Proc. 23rd Int. Conference on Computer Aided Verification, volume 6806, pages 585-591.
  9. Lara, Ó. D. and Labrador, M. A. (2013). A survey on human activity recognition using wearable sensors. Communications Surveys Tutorials, IEEE, 15(3):1192-1209.
  10. Magherini, T., Fantechi, A., Nugent, C. D., and Vicario, E. (2013). Using temporal logic and model checking in automated recognition of human activities for ambient-assisted living. Human-Machine Systems, IEEE Transactions on, 43(6):509-521.
  11. Meyer, B. (1992). Applying “design by contract”. Computer, 25(10):40-51.
  12. Ramírez, M. and Geffner, H. (2010). Probabilistic plan recognition using off-the-shelf classical planners. In Proc. AAAI-10, 24th Conf. Artificial Intelligence.
  13. Yordanova, K. and Kirste, T. (2014). Towards systematic development of symbolic models for activity recognition in intelligent environments. In Proc. 3rd Workshop on AI Problems and Approaches for Intelligent Environments, held at ECAI 2014.
  14. Yordanova, K., Nyolt, M., and Kirste, T. (2014). Strategies for reducing the complexity of symbolic models for activity recognition. In 16th International Conference on Artificial Intelligence: Methodology, Systems, Applications.
Download


Paper Citation


in Harvard Style

Nyolt M., Yordanova K. and Kirste T. (2015). Checking Models for Activity Recognition . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 497-502. DOI: 10.5220/0005275204970502


in Bibtex Style

@conference{icaart15,
author={Martin Nyolt and Kristina Yordanova and Thomas Kirste},
title={Checking Models for Activity Recognition},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={497-502},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005275204970502},
isbn={978-989-758-074-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Checking Models for Activity Recognition
SN - 978-989-758-074-1
AU - Nyolt M.
AU - Yordanova K.
AU - Kirste T.
PY - 2015
SP - 497
EP - 502
DO - 10.5220/0005275204970502