Adjustable Deliberation of Self-Managing Systems
Martin Randles, Azzelarabe Taleb-Bendiab, Philip L. Miseldine, Andy Laws · 2005
In this paper a cybernetics-based viable system architectural model is introduced, which provides a blueprint for high-assurance systems and a meta-control model necessary for the adjustable deliberation and autonomy of self-managing systems. The logical formalism is provided by the Situation Calculus and underpinned by an Enhanced Belief-Desires-Intentions (EBDI) framework to facilitate the representation and reasoning of scaleable autonomic computing systems.