A Situation Calculus-based Approach to Model Ubiquitous Information Services

Title: A Situation Calculus-based Approach to Model Ubiquitous Information Services

Abstract: This research paper presents an improved version of the Situation Calculus, a branch of the situation theory, to model autonomous computing paradigms in ubiquitous information services. The authors' approach is demonstrated through a ubiquitous calendaring service, ACS, and aims to make it practical for commercial development and easier to support autonomous paradigms imposed by ubiquitous information services.

Research Question: How can the Situation Calculus be improved to model autonomous computing paradigms in ubiquitous information services?

Methodology: The authors made improvements to Reiter's standard Situation Calculus by exploring the inherent relationship between fluents and evolution. They defined decisive fluents that are sufficient and necessary to determine evolutionary potential. They then proved that their successor states satisfying Markov property.

Results: The authors introduced a validity theory to model the autonomous services with application-specific validity requirements, including validity fluents, heuristic multiple alternative service choices, and validity-ensured policy.

Implications: The authors' approach is demonstrated by a ubiquitous calendaring service, ACS, and aims to make it practical for commercial development and easier to support autonomous paradigms imposed by ubiquitous information services.

Keywords: Ubiquitous Computing, Situation Calculus, Fluent, Validity Theory

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