Instantiating Generic Procedures
Agent’s KB is automatically constructed relative to the generic procedure and constraints. KB is updated by web service responses.
Deductive machinery instantiates the generic procedure wrt. constraints and world state to
generate web service requests
that the broker executes.