Mu 微积分在行动规划和推理中的应用 电子书下载

原名:Applying the Mu-Calculus in Planning and Reasoning about Action
作品简介:为了形式化决策图，需要一种“交替”主体和环境的方法。从程序逻辑中，我们引入了命题 mu 演算，它……对于主体 x 时刻 t 来说是时刻 t 的认知替代。……