* Some simple examples of parameterised agents. * Parameterising on an action: agent A(var) = var.0; agent A; cp (A(a), T); cp (A(a), F); cp (A(a), T); cp (A(a), T); * Parameterising on an action set: agent B(Set) = (a.0 + c.0)\Set; set ASet = {a,b}; cp (B(ASet), T); cp (B(ASet), F); cp (B(ASet), T); cp (B(ASet), T); set AnotherSet = {}; cp (B(AnotherSet), T); cp (B(AnotherSet), F); cp (B(AnotherSet), T); cp (B(AnotherSet), T); * You can give the actual parameter action set by listing members too: cp (B({a,b}), T); cp (B({a,b}), F); cp (B({a,b}), T); cp (B({a,b}), T); * Parameterising on an agent: agent C(Agent) = Agent + c.0; agent AnAgent = a.0; cp (C(AnAgent), T); cp (C(AnAgent), F); cp (C(AnAgent), T); cp (C(AnAgent), T);