La Trobe
41917_SOURCE01_2_A.pdf (13.21 MB)

ASR: ASP-based stream reasoning for semantic sensor data processing and activity recognition

Download (13.21 MB)
posted on 2023-01-18, 15:47 authored by Manh Thang Do
Submission note: A thesis submitted in total fulfilment of the requirements for the degree of Doctor of Philosophy to the School of Engineering and Mathematical Sciences, Faculty of Science, Technology and Engineering, La Trobe University, Bundoora.

This thesis proposes the ASR language (Answer set programming (ASP)-based Stream Reasoning language), as a dialect of the dlv language, for stream reasoning with abilities to deal with ambiguous situations and to integrate with Artificial Neural Network (ANN) from machine learning. The ASR language is a dialect of a well-developed logic-based reasoning engine. We equip ASR with stream reasoning functionalities such as handling data stream, performing reasoning continuously, and reasoning about ambiguous situations. With the focus on sensor applications and activity recognition, we chose the ASP technique with dlv language (a state-of-the art ASP solver) to be the foundation for developing ASR. We also utilized ANN, due to its versatility, as an external reasoning technique to be integrated into ASR systems to enhance their reasoning ability. To reason about ambiguous situations, especially in dealing with ambiguous sensor data, we propose a method which uses weak constraints of ASP in combination with the window slide technique and activity relationships. We develop the ASR framework to examine the feasibility, performance, accuracy and practicality of our approach. The ASR framework also allows ASR systems to integrate with ANN seamlessly. As a proof-of-concept, we implemented a case study (“AutoDiary”) which automatically detects a user’s daily activities, and then, provides statistical information about the users’ daily routine patterns and consequently gives alerts and recommendations to the user.


Center or Department

Faculty of Science, Technology and Engineering. School of Engineering and Mathematical Sciences.

Thesis type

  • Ph. D.

Awarding institution

La Trobe University

Year Awarded


Rights Statement

The thesis author retains all proprietary rights (such as copyright and patent rights) over the content of this thesis, and has granted La Trobe University permission to reproduce and communicate this version of the thesis. The author has declared that any third party copyright material contained within the thesis made available here is reproduced and communicated with permission. If you believe that any material has been made available without permission of the copyright owner please contact us with the details.

Data source

arrow migration 2023-01-10 00:15. Ref: latrobe:41917 (9e0739)

Usage metrics

    Open Theses


    No categories selected