Time Spended: 2 hours
本文使用MDP对WSC问题进行建模, 该种建模方法能够考虑Web服务的不确定性(业务逻辑不确定性和服务质量不确定性).
本文总共只有短短4页, 不过涉及了一些我不熟悉的东西:
情景演算(situation calculus): 一种多类型(many-sorted)一阶逻辑语言(具有某些二阶特性)
Golog: 基于情景演算理论的高级逻辑编程语言.
DT-Golog: 扩展了决策理论的Golog逻辑编程语言, "将逻辑编程和MDP规划无缝结合".
如果熟悉以上这些概念的话, 相信论文本身没什么特别的地方.