16、BDI 编程语言的语义基础与实践

BDI 编程语言的语义基础与实践

2APL 语言的计划执行与修复

在 2APL 语言中，计划的执行和修复是重要的环节。首先，存在一种可推导的单步转换，即执行计划的一步会产生新的计划。其单步转换公式如下：
[
A_i = \langle \alpha_i, \beta_i, \gamma_i, (\pi; \delta, r, id), \eta_i, \theta_i \rangle \rightarrow \langle \alpha_{i - 1}, \beta_{i - 1}, \gamma_{i - 1}, (\pi’, \delta, r, id), \eta_{i - 1}, \theta_{i - 1} \rangle = A_{i - 1}
]

对于原子计划 ([\pi_1; \cdots ; \pi_n]) 的执行，有如下转换规则：
[
(\forall i : 1 \leq i \leq m \Rightarrow transition(A_i, A_{i - 1})) \land \exists A : \neg transition(A_{m - 1}, A)
]
[
\langle \alpha_1, \beta_1, \gamma_1, ([\pi_1; \cdots ; \pi_n], \delta, r, id), \eta_1, \theta_1 \rangle \rightarrow \langle \alpha_{m - 1}, \beta_{m - 1}, \gamma_{m - 1}, \cdots, \eta_{m - 1}, \theta_{m - 1} \rangle