A Resilient Behavior Approach Based on Non-monotonic Logic

Abstract

In this article we present an approach for representing a resilient system which has the capability of absorb perturbations and overcome a disaster. A framework called KOSA is depicted, which is a world that contains a set of knowledge describing objectives, states and actions, linked by a set of rules. This link is expressed by a default theory. First, we define resilience as a relation among states and objectives. Secondly, from a given state, extensions are calculated, which provides information where to go to the future state. The connection, among two or more states creates different configurations that we call trajectories. These connections represent an evolution of the knowledge. Consequently, this reveals the existence of a resilient trajectory. Examples of piloting an airplane are concerned through this paper. Eventually, we present a discrete theoretical behavior of the complete model. Finally the notion of distance among extensions is introduced.