[论文笔记]Web服务集成的策略规划 (CIMS 2008)

Time Spended: 2 hours
本文使用MDP对WSC问题进行建模, 该种建模方法能够考虑Web服务的不确定性(业务逻辑不确定性和服务质量不确定性).

本文总共只有短短4页, 不过涉及了一些我不熟悉的东西:
    情景演算(situation calculus): 一种多类型(many-sorted)一阶逻辑语言(具有某些二阶特性)
    Golog: 基于情景演算理论的高级逻辑编程语言.
    DT-Golog: 扩展了决策理论的Golog逻辑编程语言, "将逻辑编程和MDP规划无缝结合".

如果熟悉以上这些概念的话, 相信论文本身没什么特别的地方.