Achieving real-time agility and adaptation with respect to changing requirements in existing IT infrastructure can pose a complex challenge. We describe a goal-oriented approach to manage this complexity. We argue that a goal-oriented perspective can form an effective basis for devising and deploying responses to changed requirements at runtime. We offer an extended vocabulary of goal types by presenting two novel conceptions: differential goals and integral goals, which we formalize in both linear-time and branching-time settings. We describe goal lifecycles and interactions and the extended notion of context for the representation of rapidly changing, complex operating environments. We then illustrate the working of the approach by presenting a detailed scenario of adaptation in a Kubernetes setting, in the face of a Distributed Denial-of-Service (DDoS) attack.

Probabilistic logics combine the ability to reason about complex scenes, with a rigorous approach to uncertainty. This paper explores the construction of probabilistic spatial logics through the combination of established qualitative spatial calculi together with Markov logic networks (MLNs). Qualitative spatial calculi provide the basis for automated representation and reasoning with complex spatial scenes; MLNs provide a rigorous basis for handling uncertainty and driving probabilistic inference. Our approach focuses specifically on the combination of an uncertain knowledge base with a certain spatial reasoning rule-base. The experiments explore how uncertain knowledge propagates through certain qualitative spatial inferences, using the specific example of reasoning with cardinal directions. The results provide a template for probabilistic qualitative spatial reasoning more generally, with applications to a wide range of common scenarios for situational awareness and automated reasoning under uncertainty.