Suggestions for maintainable AI logic?

Unity Engine
,
1

I’m diving into AI, and I am running into trouble splitting different behaviors into different systems. I cannot use tagging; I’ve tried but I have too many units updating too frequently. Now I am just using a switch statement. But its ugly and I am left with a “God job” which processes all behaviors. Normally in OOP I would have different behaviors as classes, but we can’t do that in ECS.

I am working in an event system which helps alot with setting behaviors/reading player commands, but my problem is I don’t know how I can filter out different units with different behaviors when the time comes to process them. Using one job is an issue for me because as my list of behaviors grows, I am needing more and more component fields…

I also tried tagging “higher level” behaviors, and just polling sub-states within those, but many of these sub-states still use a large variety of components so it doesn’t really fix my problem. Any suggestions or threads welcome!

Here’s an example of what the job looks like right now.

[BurstCompile]
private struct MeleeUnitBehaviourJob : IJobEntityBatch
{
    [ReadOnly] public float deltaTime;

    [ReadOnly] public ComponentTypeHandle<Translation> translationHandle;
    [ReadOnly] public ComponentTypeHandle<Velocity> velocityHandle;
    [ReadOnly] public ComponentTypeHandle<TargetPosition> targetPositionHandle;
    [ReadOnly] public ComponentTypeHandle<FormationForward> forwardHandle;

    public ComponentTypeHandle<UnitSpeedData> speedHandle;
    public ComponentTypeHandle<Acceleration> accelerationHandle;
    public ComponentTypeHandle<Rotation> rotationHandle;
    public ComponentTypeHandle<UnitAnimState> animationStateHandle; // dont need
    public ComponentTypeHandle<UnitBehaviourState> behaviourStateHandle;

    // target enemy
    // enemy stats
    // unit stats
    // potentially many more

    public void Execute( ArchetypeChunk batchInChunk , int batchIndex )
    {
        var batchTranslation = batchInChunk.GetNativeArray( translationHandle );
        var batchVelocity = batchInChunk.GetNativeArray( velocityHandle );
        var batchTargetPosition = batchInChunk.GetNativeArray( targetPositionHandle );
        var batchForward = batchInChunk.GetNativeArray( forwardHandle );

        var batchSpeed = batchInChunk.GetNativeArray( speedHandle );
        var batchAcceleration = batchInChunk.GetNativeArray( accelerationHandle );
        var batchRotation = batchInChunk.GetNativeArray( rotationHandle );
        var batchAnimState = batchInChunk.GetNativeArray( animationStateHandle );
        var batchBehaveState = batchInChunk.GetNativeArray( behaviourStateHandle );

        for ( int i = 0; i < batchInChunk.Count; i++ )
        {
            var position = batchTranslation[ i ].Value;
            var forward = batchForward[ i ].Value;
            var target = batchTargetPosition[ i ].Value;
            var velocity = batchVelocity[ i ].Value;

            var rotation = batchRotation[ i ].Value;
            var acceleration = batchAcceleration[ i ].Value;
            var speed = batchSpeed[ i ];
            var behaveState = batchBehaveState[ i ];
            var animState = batchAnimState[ i ];

            // many of these states rely on similar components in order to run, and I can have 100+ states, and there would be dozens of component type handles
            switch ( behaveState.MainState )
            {
                case ( int ) UnitMainState.Form:
                    switch ( behaveState.SubState )
                    {
                        case ( int ) UnitFormState.Idle:
                            UnitBehaviourLogic.ProcessFormIdle( position , forward , target , ref rotation , ref speed , ref behaveState , ref animState );
                            break;
                        case ( int ) UnitFormState.Rotate:
                            UnitBehaviourLogic.ProcessFormRotate( deltaTime , position , forward , ref rotation , ref behaveState , ref animState );
                            break;
                        case ( int ) UnitFormState.Shift:
                            UnitBehaviourLogic.ProcessFormShift( position , target , ref acceleration , ref behaveState , ref animState );
                            break;
                    }
                    break;
                case ( int ) UnitMainState.March:
                    switch ( behaveState.SubState )
                    {
                        case ( int ) UnitMarchState.Start:
                            UnitBehaviourLogic.ProcessMarchStart( position , target , velocity , ref acceleration , ref rotation , ref behaveState , ref animState );
                            break;
                        case ( int ) UnitMarchState.Rotate:
                            UnitBehaviourLogic.ProcessMarchRotate( deltaTime , position , target , ref rotation , ref behaveState , ref animState );
                            break;
                        case ( int ) UnitMarchState.SpeedUp:
                            UnitBehaviourLogic.ProcessMarchSpeedUp( deltaTime , position , target , speed , ref rotation , ref acceleration , ref behaveState , ref animState );
                            break;
                        case ( int ) UnitMarchState.March:
                            UnitBehaviourLogic.ProcessMarchMarch( deltaTime , position , target , speed , ref acceleration , ref rotation , ref behaveState , ref animState );
                            break;
                        case ( int ) UnitMarchState.SlowDown:
                            UnitBehaviourLogic.ProcessMarchSlowDown( velocity , position , target , ref acceleration , ref behaveState , ref animState );
                            break;
                    }
                    break;
            }

            batchRotation[ i ] = new Rotation { Value = rotation };
            batchAcceleration[ i ] = new Acceleration { Value = acceleration };
            batchSpeed[ i ] = speed;
            batchBehaveState[ i ] = behaveState;
            batchAnimState[ i ] = animState;
        }
    }
}
1 Like
2

For anyone interested, I’ve decided to keep a list of lists which can be indexed by an integer state. This way I can run a job on each list representing a state, and this allows easy adding of states.

3

I’m yet to see any good alternative to Utility AI for DOTS (in particular Infinite Axis Utility AI)

I would highly recommend reading into it.

4 Likes
4

Would you mind sharing how many agents you had active while you were trying a tagging approach?

We have been using tagging in our ai solution. We end up tagging thousands of agent each frame, and it’s been stable up above 50k agents (near 100k agents, other parts of DOTS start to break down, so we haven’t been able to test above that).

Honestly, tagging like this is something we never expected to work. We were surprised when it did, but it’s been reliable so far.

Hopefully we aren’t about to run into an unforeseen problem that you encountered.

1 Like
5

I am stress testing around 50k units as well. My issue is that sometimes all 50k (or rather 25k for one team) may receive an order at once, for example telling the entire army to move, and that’s 25k tags.

Otherwise on average there would be around a few hundred to five thousand state changes per frame, and that causes spikes of 1-5 ms.

95% + of my game I have managed to get fully multithreaded so far, so I don’t really have anything to fill that gap caused by the single threaded tagging.

Also, my entities are pretty large in memory so maybe that is why as all the components have to be moved as well.

Oh also, I am using tagging for other parts of my game, such as using tagging for unit formations AI, projectiles, etc, so I already have a few ms taken up by that. No room for more.

6

My game is structured where individual units are grouped into larger formations. I am looking to use many ai approaches including utility AI on those, but right now I am talking about the individual units which have a simpler ai model better represented by states.

7

I’ll second Utility AI. I haven’t started coding it just yet, but I have the framework planned out and it is the next thing on my list. The design seems to fit very well with ECS. I only have a few minor concerns about minimizing component additions and removals.

1 Like
8

Audio is a good candidate to fill this gap. Sampling can get pretty expensive when you have thousands of audio sources.

You might want to consider utility trees. The idea is that each behavior leaf node is evaluated and generates its own unique payload of actions and utility values. Then parent nodes evaluate multiple payloads and export their own payload, either propagating relevant data from the chosen child, or perhaps even mixing the children. This continues up to the root which then outputs the actions the AI should take. While this approach doesn’t generalize well since you have to write code for all the nodes, it does map very cleanly to components and systems, and is consequently very easy to get up and running for simple AI models. It also can model a state machine as you just need a parent node to propagate the output of the correct child state.

But if you want to use a state machine with structural changes, then using entities as states and instantiating and destroying those state entities to switch states will save you on structural change costs.

1 Like
9

Thanks for the reply. A few thoughts:

A brute force approach for 50,000 agents like that might be a bit of an ask for even the most powerful game ai on the planet. :stuck_out_tongue: At least today, on a home computer with good framerates. Just saying - worth considering that this is boundary-pushing territory.

It might be worth it to consider some AI optimizations to yield the same visual result. For example:

If your units are grouped into formations, perhaps the formations themselves could be agents. The formation agents are the ones with the “move” behavior, and the individual units always take direction queues from whatever formation they are grouped under.

in that scenario, your individual soldiers don’t need to get new behaviors - just their formations. If you have 50k units, and each formation has 100 units, that’s down to 500 agents receiving the new behavior at once.

2 Likes
10

I have decided to go with a sort of hybrid approach. Thoughts on what I came up with?

So I have an enum of states. Per frame, one job runs for each state, processing the current behavior. If an end condition is met, a flag is set.

Then periodically, a system checks all entities to see if their current state is finished. If so, a utility tree runs to see what the next best state should be. Units can have lists of states to complete for more complex behaviors, and if the current sequence takes precedence over other actions, the current state is set to the next one in the list. Otherwise, the list is cleared and a new state or sequence is added.

Also, states can be overridden by events per frame, such as taking a hit or dying. I also have “soft” events, which are factored into the utility tree as extra parameters, such as nearby enemies. These soft events can also break the unit out of a state even if conditions aren’t met.

2 Likes
11

Actually without doing structural changes 50,000 agents is just fine for me.

I do have formation behaviors, which are more complex as well. The reason I still have per agent ai, is because let’s say a formation is in battle. Many units are not fighting, and so are in a “ready” state, not “combat”. Also units can get separated from their formations, so those agents would have a “marching” state to catch up to the formation which may be idle. Having only the formations as agents makes the game feel “gamey” if that makes sense.

I posted the approach I think I am going with right above if you’re interested.

3 Likes
12

This makes it sound like you’ve standardized the data layout for all of your behaviors, so that they can all be represented by a single struct type. Is that correct?

13

It sounds like you came up with something that matches your mental model of what you want and is also potentially ECS-friendly. If it does what you want and improves performance, then it is a definite win.

2 Likes
14

My data layout is like this so far.

public struct UnitAIData : IComponentData
{
    public int CurrentState;
    public float StateTimer;
    public bool Loop;
    public bool FollowingSequence;
    public bool ConditionMet;
}

public struct UnitStateSequence : IBufferElementData
{
    public DynamicBuffer<UnitBehaviourStates> States;
}

public struct UnitBehaviourEvents : IBufferElementData
{
    public DynamicBuffer<UnitBehaviourEventType> Events;
}

public struct UnitInteractionEvent
{
    public Entity Entity;
    public Entity OtherEntity;
}
public struct UnitBehaviourEvent
{
    public Entity Entity;
    public UnitBehaviourEventType Type;
}

CurrentState references an enum, holding all states. ConditionMet is determined in the jobs which process each state. It can rely of the state timer, some other condition, or both. The buffer allows me to represent an “action”, for example attack another unit can be the states “Rotate, March, Enter Combat”. Or an action can simply be a single state. With the event system, I found this allows basically anything to be modeled.

For example, if an agent has the AttackUnit sequence, but the higher level system detects another enemy very close, a “NearbyEnemy” event will be triggered. This is a soft event, so the unit will finish its “Rotate” state, then clear the sequence and update to combat.

A “hard” event like being attacked will immediately break the current state.

An event like being shot can insert a state into the current sequence, so it will play “Hit” animation then return to whatever agent was doing.

All the higher level decision making is done by the tree and events, so it neatly separates states and decision making. The only downside so far is each state is very specific, so around 100 states, and I need a separate job for each. Similar to tagging but instead its just a NativeList<UnsafeList>, and each UnsafeList represents one state holding all entities in that state.

On state change, the entity is simply removed from current list and added to appropriate list.

2 Likes
15

I appreciate the breakdown, thank you!

It took me a second to grok, since you’re using vocabulary here different from how I typically hear it used.

It sounds like in your model, a behavior can have one or more states. I’m used to FSMs being used in which states have one or more behaviors, and those behaviors become active when the agent transitions to that state.

For instance, if an agent is in a “defensive” state, it would respond differently to events than it would if it were in an “offensive” or “retreat” state, etc. I’m used to states being used to switch up how an agent is currently behaving at a high level. It sounds like you’re using that word to describe the different phases, or sub-tasks, of an action.

But it sounds like a semantic difference. There’s no right or wrong way to build a state machine, as long as it does what you need. I’m glad this is working for you, and that you found a solution!

1 Like
16

Apologies I am kinda mixing and matching terms here!

A state is what the agent is doing right now, while a behavior can be comprised of one or more states in sequence. Any state can switch to any other state, but for convenience certain behaviors are set sequences of states. But an agent can break out of that sequence into another behavior regardless of its current state.

1 Like
17

Tiny suggestion: If it’s always true that the ‘currentState’ represents an action the agent is currently performing, then it might be worth simplifying your terminology by renaming ‘currentState’ to ‘currentAction’.

…And in general, replacing the word “state” with “action” in all of your variable and type names.

Conceptually, the agent’s “state of being” is always that they’re performing an action. And the ‘currentAction’ variable describes what that action is.

I’m used to this concept being described as “macro” and “micro” behaviors. Or “tasks” and “subtasks”. For example: “Completing a macro behavior can involve completing one or more micro behaviors.”

A neat design trick is that there doesn’t really need to be a structural difference between a macro and micro behavior. They can both just be considered the same type of thing - a ‘behavior’.

For example: AttackBehavior’s functionality could just be to schedule a new series of upcoming behaviors:

  • RotateBehavior
  • MarchBehavior
  • EnterCombatBehavior

…and then complete itself.

What a change like this accomplishes is to remove the need for there to be a separate “sub-task” type of thing in your ai model. Now, every behavior is just one type of thing - a ‘behavior’.

The code doesn’t need to care that ‘AttackBehavior’ represents a higher level of granularity than the other behaviors it schedules. All the code needs to know about AttackBehavior is that it’s a behavior, which means it does something, and then finished based on a condition - just like all other behaviors. It’s probably fine if only the humans are aware of a concept like the ‘level of granularity’ of a behavior - knowing that isn’t going to make the program run any faster, but it will add complexity.

I find that whenever you can flatten out a model by reducing the # of different types, the new simplicity is often a benefit.

Of course, ignore that if I’m off base, or if I’m misunderstanding your model.

3 Likes
18

Excellent suggestion! I will do that; it does make the model simpler and more generic.

2 Likes
19

Good luck!

1 Like
20

This is likely something that you’ve already considered/implemented but I’ll mention it just in case - if by tag components you mean zero-data components you could take advantage of the .AddComponent() and .RemoveComponent() overloads which take EntityQuery instead of individual entities. As I understand it this is much more performant as only the chunk’s archetype will change and no entities need to be moved.

If the entities in your armies are grouped in such a way that they have their own queries then you could take advantage of this to bring down those spikes.