关注AI的朋友可能会看过赖勇浩翻译的《有限状态机时代终结的10大理由》 ,里面谈到了状态机的诸多弊端。同时在ppt(附上下载地址)中述说了行为树的诸多优点,这里就不在赘述了。更多得是想总结一下自己玩了一阵子行为树后的一些实践体会。
个人体会:
状态机来实现AI更符合我们思维的朴素表达,我想任何一个有经验的coder都能直观得去写一个自己的AI状态机。它用于一些简单的ai其实是没有大问题的,(搜索敌人,靠近,攻击,死亡)用状态机其实更加便捷。但是面对一些复杂的ai逻辑实现就会显得比较繁杂。同时,当需要对现有行为逻辑进行扩展的时候,代码上就会显得比较吃力,因为要维护的状态量会成倍增加。
行为树,实现AI的过程更加得有技巧,框架设计者较为全面考虑了我们可能会遇到的种种情况,把每种情况都抽象成了一个类型的节点,而我们要做的就是按照规范去写节点,然后把节点连接成一颗行为树。更加得具有面向对象的味道,行为模块间的藕合度相对较低。
举个粗糙的例子来比较一下两者的不同:
AI行为:吃饭 睡觉 打豆豆(很消耗体力和脑力的;)
1.打豆豆 HP -= 5 / 秒 MP -= 3 / 秒
2.吃饭 HP += 10/秒 MP -= 1 / 秒
3.睡觉 MP += 15/秒 HP -= 2/秒
4.吃饭和睡觉是不可打断的动作(pending),必须执行到吃饱(HP = 100) or 睡饱(MP = 100)
5.打豆豆是瞬发动作,每帧都可以执行一次
状态机的实现逻辑图:
行为树的实现逻辑图:
其实不管你知不知道什么是selector,condition都不要紧,至少从上图,应该可以看出来,行为树节点间的联系并不像状态机那样得“紧密”。
选择两种不同的ai实现方法,也决定了具体行为的实现逻辑。
比如对于sleep动作的实现,如果是状态机:
function sleep() =
if Y == 100 then
AwakeEvent()
return
end
HP -= X
MP += Y
end
然后每一帧执行sleep()
如果是选择行为树:
function sleep()
local sleepTime = (100/15)
<span style="white-space:pre"> </span>--不好意思乱入了一段cocos2dx的代码
self:runAction(cc.Sequence:create(cc.DelayTime:create(sleepTime),cc.CallFunc:create(cancelPending)))
local cancelPending = function()
pending = false
end
end
罗列一下行为树的概念:
对于有限状态机而言,必须明确 状态的转换方式;对于行为树,必须明确状态前提:前提条件
每一个行为必须有“前提条件” ,这决定了该行为是否被选择。
行为树的运算也是通过帧循环的update来驱动,不一定是每帧都update,但是要周期性update。
每一次run从根节点(root)开始,每一运行都会选择一个可行的子节点运行,这种选择可以是随机方式,也可以是预设好优先条件
行为树由叶子节点和中间节点组成,叶子节点是最基本的行为(如跑动,攻击),中间节点代表逻辑单元(巡逻,逃跑)。
当一个叶子节点被选择后,就会激活其对应的基本的行为
最基本的行为可能执行成功也可能失败。
高等级的行为(中间节点)是否执行成功依赖于他们的孩子节点是否执行成功。
一个子节点失败可能导致父母节点选择另外一个孩子。
除了选择(selector)一个单独的子节点行为,一个节点还可能顺序(sequence)or并行(concurrent)得运行他的所有子节点。
一个行为除了有前提条件,可能还有上下文条件(父节点or孩子节点可能存储一定的状态变量)。
高优先级的行为可能抢占低优先级的行为
转载一段akara的行为树实现方案:
* Composite Node 组合节点
* Decorator Node 装饰节点
* Condition Node 条件节点
* Action Node 行为节点
各种节点的详细描述:
* Selector Node 选择节点
描述:从头到尾,按顺序选择第一个执行条件为真的子节点,遇到True停止。
处理流程:当执行本类型Node时,它将从begin到end迭代执行自己的Child Node:如遇到一个Child Node执行后返回True,那停止迭代,本Node向自己的Parent Node也返回True;否则所有Child Node都返回False,那本Node向自己的Parent Node返回False。
* Sequence Node 序列节点
描述:从头到尾,按顺序执行每一个子节点,遇到False停止。
处理流程:当执行本类型Node时,它将从begin到end迭代执行自己的Child Node:如遇到一个Child Node执行后返回False,那停止迭代,本Node向自己的Parent Node也返回False;否则所有Child Node都返回True,那本Node向自己的Parent Node返回True。
* Parallel Node 并行节点
描述:从头到尾,平行执行它的所有子节点。
Parallel Selector Node: 有一个子节点True返回True,否则返回False。
Parallel Sequence Node: 有一个子节点False返回False,否则返回True。
Parallel Fall On All Node: 所有子节点False才返回False,否则返回True。
Parallel Succeed On All Node: 所有子节点True才返回True,否则返回False。
Parallel Hybird Node: 指定数量的子节点返回True或False后,才决定结果。
* Decorator Node 装饰节点
描述:装饰节点一般用来作为额外的附加条件。例如,时间间隔控制,次数控制,频率控制,结果取反,错误处理等。
* Condition Node 条件节点
描述:顾名思义,就是对应条件的节点。
* Action Node 行为节点
描述:顾名思义,就是用于完成某种动作的节点。
从代码实现的角度来谈下优缺点
优点:
1. 行为逻辑和状态数据分离,任何节点写好以后可以反复利用
2. 重用性高,可用通过重组不同的节点来实现不同的行为树
3. 呈线性的方式扩展,易于扩展
4. 可配置,把工作交给designer
5. 能够胜任"AI" “掉宝”等等场景。
缺点:
1. 每一帧都从root开始,有可能会访问到所以的节点,相对State Machine消耗更多的cpu
2. 任何一个简单的操作都必须要使用节点
稍后,再谈谈行为树中节点实现细节,以及其几块重要部分:blankboard,可配置化等等