Abstract
Activity recognition within ambient environments is a highly non-trivial process. Such procedures can be managed using rule based systems in monitoring human behavior. However, designing and verification of such systems is laborious and time-consuming. We present a rule verification system that uses model checking techniques to ensure rule validity. This system also performs correction of erroneous rules automatically, therefore reducing reliance on manual rule checking, verification and correction.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Drools Verifier, http://community.jboss.org/wiki/DroolsVerifier
Antoniou, G.: Rule-based activity recognition in ambient intelligence. In: RuleML, p. 1 (2011)
Biswas, J., Mokhtari, M., Dong, J.S., Yap, P.: Mild Dementia Care at Home – Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification. In: Lee, Y., Bien, Z.Z., Mokhtari, M., Kim, J.T., Park, M., Kim, J., Lee, H., Khalil, I. (eds.) ICOST 2010. LNCS, vol. 6159, pp. 160–170. Springer, Heidelberg (2010)
Community, J.: Drools expert guide, http://www.jboss.org/drools/drools-expert
Coronato, A., Pietro, G.D.: Formal specification of wireless and pervasive healthcare applications. ACM Trans. Embed. Comput. Syst. 10, 12:1–12:18 (2010)
Ligeza, A., Nalepa, G.J.: Rules Verification and Validation. In: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 273–301. IGI Global, Hershey (2009)
Preece, A.D., Shinghal, R., Batarekh, A.: Principles and practice in verifying rule-based systems. The Knowledge Engineering Review 7(02), 115–141 (1992)
Storf, H., Becker, M., Riedl, M.: Rule-based activity recognition framework: Challenges, technique and learning. In: PervasiveHealth, pp. 1–7 (2009)
Sun, J., Liu, Y., Dong, J.S., Chen, C.: Integrating specification and programs for system modeling and verification. In: TASE, pp. 127–135 (2009)
Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: Towards Flexible Verification under Fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 709–714. Springer, Heidelberg (2009)
Zhu, J., Lee, V.Y., Biswas, J., Mokhtari, M., Tiberghien, T., Aloulou, H.: Context-aware reasoning engine with high level knowledge for smart home. In: PECCS, pp. 292–297 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, V.Y. et al. (2012). ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT). In: Donnelly, M., Paggetti, C., Nugent, C., Mokhtari, M. (eds) Impact Analysis of Solutions for Chronic Disease Prevention and Management. ICOST 2012. Lecture Notes in Computer Science, vol 7251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30779-9_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-30779-9_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30778-2
Online ISBN: 978-3-642-30779-9
eBook Packages: Computer ScienceComputer Science (R0)