Affiliations: Center for Service Research, National Institute of Advanced Industrial Science and Technology (AIST), 1-18-3 Sotokanda, Chiyoda-ku, Tokyo 101-0021, Japan, E-mail: [email protected] | Graduate School of Knowledge Science, Japan Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan, E-mail: [email protected]
Note:  He is currently a researcher of NEC Corporation.
Abstract: A key aspect of ubiquitous computing is using sensor networks to effectively and unobtrusively infer human activities in their environment. A typical top-down approach is to first label and decompose activities as sequences of actions with certain probabilities, and then use these predefined activity models for recognition and prediction. This approach, however, does not capture the internal goals of different actions, and it only deals with those explicitly defined activity models. In this article, inspired by traditional activity theory and qualitative process theory, we present a goal-directed human activity computing model. A formal activity ontology is proposed so as to capture the internal semantic relations between different atomic activities such as actions and processes. A number of representative inference rules are then introduced to predict the future activities based on the activity ontology. The proposed formal activity computing model is simulated and demonstrated with Maude, a formal specification and programming language.
Keywords: Ubiquitous computing, human activity computing, ontology, formal methods, Maude