A Situation Calculus-based Approach to Model Ubiquitous Applications

Title: A Situation Calculus-based Approach to Model Ubiquitous Applications

Research Question: How can we develop a computing model that accurately represents the unique characteristics of ubiquitous applications, which operate continuously and autonomously?

Methodology: The researchers proposed a revised Situation Calculus to model the paradigm of networked information services in a ubiquitous environment. They replaced traditional situations (action sequences) in Reiter's calculus with value tuples of decisive fluents, as Reiter's situations would cause increasing computational complexity over time. Additionally, they introduced a validity theory to axiomize application-specific validity requirements and maintain them during running time, enabling the service system to accept, partially accept, supplement, or reject original execution intentions automatically.

Results: The researchers demonstrated their approach using ACS, an example of a ubiquitous service. They showed that their model could achieve satisfactory trade-offs between rigorous validity requirements, persistent autonomy, and flexible computing style.

Implications: This research provides a new computing model that accurately represents the unique characteristics of ubiquitous applications. It offers a framework for developing and analyzing such applications and contributes to the ongoing development of computing systems for ubiquitous environments.

Link to Article: https://arxiv.org/abs/0311052v1 Authors: arXiv ID: 0311052v1