25、基于观察行为推断BDI智能体心理状态及多智能体通信中的信念修正

基于观察行为推断BDI智能体心理状态及多智能体通信中的信念修正

在多智能体系统的研究中，理解智能体的心理状态以及处理不确定通信环境下的信息是两个重要的问题。下面将分别介绍基于观察行为推断BDI智能体心理状态的方法，以及多智能体通信中的迭代信念修正。

基于观察行为推断BDI智能体心理状态

• 解释函数 ：给定有限感知 $\delta \in L_{\Delta}$、有限规则描述集 $RD \subseteq L_{RD}$ 和有限可溯因集 $\Lambda \subseteq L_{\Lambda}$，有以下三个解释函数：
  • $explc(\delta, RD, \Lambda, \Xi_c) = { \lambda \in \Lambda | (RD \cup \lambda) \models plan(\pi) \& (\delta, \pi) \in \Xi_c }$
  • $expll(\delta, RD, \Lambda, \Xi_l) = { \lambda \in \Lambda | (RD \cup \lambda) \models plan(\pi) \& (\delta, \pi) \in \Xi_l }$
  • $explp(\delta, RD, \Lambda, \Xi_p) = { \lambda \in \Lambda | (RD \cup \lambda) \models plan(\pi) \& (\delta, \pi) \in \Xi_p }$
    这些解释函数可作为不同解释策略的一部分，反映定义11中规定的条件