Agent action constraints
Action constraints specify conditions under which the agent cannot concurrently execute certain actions.
{a1,…,an} <~ <code call condition>
This says that if the code call condition is true w.r.t. the agent’s current state, then actions a1,…,an cannot be executed concurrently.
Examples: Moves in two different directions cannot be concurrently executed.
{ move(Dir1),move(Dir2)} <~ Dir1 <> Dir2.
Orders must stay within the budget.
{ order(Item1,Cost1),order(Item2,Cost2)} <~ in(Amt,budget:avail()) & Amt < Cost1 + Cost2.
Web Accessibility