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

摘要： 本文使用MDP方法对WSC进行建模, (S3.2)讨论了如何对Sequential结构进行建模, (S3.3)进一步讨论如何对conditional/parallel/iterative 结构进行建模. (S4)中则介绍了两个求解MDP的经典算法backward recursive value iteration和forward value iteration. 阅读全文