机构名称：
¥ 2.0
抽象的信念 - 意外 - 意见（BDI）代理是一种受欢迎的代理体系结构。我们扩展了具有高级功能（例如恢复失败和声明性目标）的BDI编程语言的概念代理表示法（CAN），包括概率行动成果，例如反映失败的执行器和概率政策，例如用于概率计划和意图选择。该扩展名是在米尔纳的Bigraphs中编码的。通过应用我们的BigRapher工具和Prism模型检查器，可以研究和比较在不同的概率结果和计划/事件/意图选择策略下成功的可能性（意图完成）。我们提出了一个智能的制造用例。一个显着的结果是，与意图选择相比，计划选择的效果有限。我们还看到，动作失败的影响可能是边缘的，即使失败概率很大，也可以对代理做出更明智的选择。
发射速率图算法的定量分析
主要关键词
相关文件推荐
