{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2023,12,21]]，“日期-时间”：“2023-12-21T19:37:08Z”，“时间戳”：1703187428909}，“引用-计数”：0，“发布者”：“AI Access Foundation”，“内容-域”:{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[”jair“]，”摘要“：”由于最近的进展，人工智能规划已经成为多种应用的基础技术。其中最突出的是“能力”级别的自动化Web服务组合（WSC），其中服务是根据本体概念的前提条件和影响来描述的。将WSC作为规划来处理的一个关键问题是，本体不仅是形式词汇；它们还将概念之间可能的关系公理化。这些公理对应于行动和变革文献中所称的“完整性约束”，应用web服务本质上是一种信念更新操作。众所周知，信念更新所需的推理比本体本身的推理更难。当前的规划工具对信念更新的支持严重受限。\我们的第一个贡献在于确定了WSC的一个有趣的特殊情况，它既重要又容易处理。我们称之为“前向效应”的特殊情况的特征是，web服务应用程序的每个分支都至少包含一个新常量，该常量是由web服务生成的输出。我们表明，在这种情况下，信念更新所需的推理简化为本体本身的标准推理。这与“基于消息”的WSC的当前概念有关，并扩展了WSC，在WSC中，通过对单个消息的“局部性”的强烈假设（通常是隐含的或非正式的），消除了对信念更新的需要。我们澄清了前向效应案例的计算特性，并指出了与不确定性下规划的标准概念之间的密切关系，表明后者的有效工具可以成功地应用于前者。\此外，我们还确定了一个重要的子案例，名为“严格向前影响”，其中存在不确定性下的实际规划编译。这使我们能够利用离线规划工具以通用形式解决基于消息的WSC，该形式涉及强大的本体，并且需要对概念之间的部分匹配进行推理。我们提供的经验证据表明，使用Conformant-FF作为底层规划师，这种方法可能非常有效。\n<\/jats:p>“，”DOI“：”10.1613\/jair.2716“，”type“：”journal-article“，”created“：{”date-parts“：[[2018,7,17]]，”date-time“：”2018-07-17T09:22:53Z“，”timestamp“：1531819373000}，”page“：“49-117”，“source”：“Crossref”，“is-referenced-by-count”：28，“title”：[“基于消息的Web服务组合、完整性约束和不确定性下的规划：新连接“]，”前缀“：”10.1613“，”卷“：”35“，”作者“：[{”给定“：”J.“，”家族“：”霍夫曼“，”序列“：”第一“，”从属“：[]}，{”给出“：”P.“additional“，”affiliation“：[]}，{“given”：“M.”，“family”：“Pistore”，“sequence”：“additional”，“affiliation:[]}]，“member”：“16860”，“published-online”：{“date-parts”：[[2009,5,31]]}、“container-title”：[“Journal of Artificial Intelligence Research”]，“original-title“：[]，”link“[{”URL“https:\\/jair.org\/index.php\/jair\/article\/download\/10605\/25368“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/jair.org\/index.php\/jair \/article\/download\/10605\/25367”，“content-type:”application \/postscript“https:\/\/jair.org\/index.php\/jair \/article \/download\/10605\/25368“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,10,21]]，“date-time”：”2019-10-21T18:34:48Z“，“timestamplate”：1571682888000}，“score”：1，“resource”:{“primary”：“{”URL“：”https:\/\/jair.org\/index.php\/jair \/article\/view\/10605“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2009,5,31]]}，“引用计数”：0，“URL”：“http://\/dx.doi.org\/10.1613\/jaire.2716”，“关系”：{}，‘ISSN’：[“1076-9757”]，“ISSN-type”：[{“值”：“1076-9757“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2009,5,31]]}}