26、多智能体系统中的逻辑框架与承诺策略

多智能体系统中的逻辑框架与承诺策略

1. 社会与集体承诺的定义

社会承诺与行动相关，其定义由公理给出：
[
COMM(i, j, \alpha) \leftrightarrow INT(i, \alpha) \land GOAL(j, done(i, \alpha)) \land C - BEL_{ {i,j}}(INT(i, \alpha) \land GOAL(j, done(i, \alpha)))
]
其中，(done(i, \alpha)) 表示智能体 (i) 刚刚执行了动作 (\alpha)。

1.1 集体态度的调整方案

• 集体意图 ：
  [
  C - INT_G(\phi) \leftrightarrow M - INT_G(\phi) \land awareness_G(M - INT_G(\phi))
  ]
• 社会承诺 ：
  [
  COMM(i, j, \alpha) \leftrightarrow INT(i, \alpha) \land GOAL(j, done(i, \alpha)) \land awareness_{ {i,j}}(INT(i, \alpha) \land GOAL(j, done(i, \alpha)))
  ]
• 集体承诺 ：
  [
  C - COMM_{G,P}(\phi) \leftrightarrow M - INT_G