[论文解读] A Situation Calculus-based Approach To Model Ubiquitous Information Services

Wenyu Dong, Ke Xu+1 more|ArXiv.org|Nov 28, 2003

Logic, Reasoning, and Knowledge参考文献 14被引用 11

一句话总结

本文提出了一种增强的情境演算框架，用于建模自主的普适信息服务，引入了决定性流畅量以捕捉与演化相关的状态变化，并嵌入了基于有效性的服务策略。通过一个上下文感知的日历服务（ACS）展示了该方法，表明确定性动作与确保有效性的策略能够实现在动态环境中的自主、应用特定的决策。

ABSTRACT

This paper presents an augmented situation calculus-based approach to model autonomous computing paradigm in ubiquitous information services. To make it practical for commercial development and easier to support autonomous paradigm imposed by ubiquitous information services, we made improvements based on Reiter's standard situation calculus. First we explore the inherent relationship between fluents and evolution: since not all fluents contribute to systems' evolution and some fluents can be derived from some others, we define those fluents that are sufficient and necessary to determine evolutional potential as decisive fluents, and then we prove that their successor states wrt to deterministic complex actions satisfy Markov property. Then, within the calculus framework we build, we introduce validity theory to model the autonomous services with application-specific validity requirements, including: validity fluents to axiomatize validity requirements, heuristic multiple alternative service choices ranging from complete acceptance, partial acceptance, to complete rejection, and validity-ensured policy to comprise such alternative service choices into organic, autonomously-computable services. Our approach is demonstrated by a ubiquitous calendaring service, ACS, throughout the paper.

研究动机与目标

• 解决在普适信息服务中建模自主行为的挑战，其中系统必须适应动态、上下文敏感的环境。
• 通过识别对系统演化既必要又充分的流畅量，克服标准情境演算的局限性。
• 引入一种有效性理论，以形式化建模自主系统中的应用特定约束和服务策略。
• 通过基于有效性条件的启发式服务选择（完整、部分或拒绝）实现自主决策。
• 通过一个实际案例进行实用性的展示：在普适计算中的自适应日历服务（ACS）

提出的方法

• 将‘决定性流畅量’定义为既必要又充分以确定系统演化潜力的流畅量。
• 证明在确定性复杂动作下，决定性流畅量的后继状态满足马尔可夫性质，从而确保状态转移的无记忆性。
• 引入‘有效性流畅量’以形式化公理化应用特定的约束和服务需求。
• 开发一种‘确保有效性的策略’机制，基于有效性条件整合多种服务选择（完整、部分或拒绝）。
• 构建一个正式的演算框架，将情境演算与有效性理论相结合，以建模动态环境中的自主行为。
• 将该框架应用于案例研究：一个普适日历服务（ACS），展示动作与有效性规则如何控制服务的自适应。

实验结果

研究问题

• RQ1 情境演算如何被扩展以建模普适信息服务中具有动态上下文的自主行为？
• RQ2 哪些流畅量对确定系统演化至关重要，以及如何正式识别和隔离它们？
• RQ3 如何将有效性约束正式整合到基于动作的推理中，以确保服务的正确性与适应性？
• RQ4 在何种机制下，能够在不同有效性条件下实现自主决策，例如部分或完全拒绝服务？
• RQ5 所提出的框架能否在现实世界中的普适服务（如上下文感知日历服务）中实际应用？

主要发现

• 本文成功识别并形式化了‘决定性流畅量’作为决定系统演化的最小状态变量集合，从而实现高效推理。
• 证明了在确定性动作下，决定性流畅量的后继状态满足马尔可夫性质，确保该框架与概率性和动态推理的兼容性。
• 通过整合有效性流畅量与确保有效性的策略，实现了对服务接受、拒绝或部分履行的系统性处理，基于上下文约束。
• 通过一个普适日历服务（ACS）的运行模型展示了该方法，表明在动态、上下文敏感条件下如何实现自主决策。
• 该框架为建模普适计算中的自主服务提供了正式且可扩展的基础，明确支持应用特定的策略与约束。