16、重配置期间承诺的演变

重配置期间承诺的演变

1. 框架属性

在计划生成过程中，为了对复杂的社会行动进行推理，需要保留以下框架属性：
- FR1: succ(action - allocation(τ, P); construction(ϕ, G, P)) → allocation(τ, P)
- FR2: succ(means - end - analysis(σ, τ); action - allocation(τ, P); construction(ϕ, G, P)) → means(σ, τ) ∧ allocation(τ, P)
- FR3: succ(division(ϕ, σ); means - end - analysis(σ, τ); action - allocation(τ, P); construction(ϕ, G, P)) → division(ϕ, σ) ∧ means(σ, τ) ∧ allocation(τ, P)

这些属性是推理复杂社会行动所必需的，但并非 TeamLog 推理所需框架公理的全部。

2. 重配置期间集体承诺的演变

集体承诺触发计划的实现。在计划执行过程中，由于行动失败或其他情况，集体承诺可能会发生演变，以确保尽可能实现共同目标。集体承诺的演变可能意味着集体意图和合作团队的演变。

在团队合作中，需要严格维护集体承诺的组成部分。我们的方法基于重配置算法，不考虑所应用的集体承诺类型，也不考虑代理对情况细节的了解。我们的分析旨在制定一组确保重配置正确性的最小属性。

2.1 承诺