The correct option is (a) Plan calculus
Easy explanation: Plan calculus applies reasoning over time, user identity, space, and context. It offers information such as when and where. It also provides the context, and reports internal requests. The context may involve location, action, state of existence, etc.