Reactive commonsense reasoning - Towards semantic coordination with high-level specifications

In contemporary distributed applications questions concerning coordination have become increasingly urgent. There is a trade-off however to be made between the need for a highly reactive behavior and the need for semantically rich high level abstractions. Especially w.r.t. context-aware applications where various systems have to act together and come to coordinated conclusions the need for powerful semantic abstractions is evident. In our argument we start with a calculus for highly reactive behavior. Then we introduce stepwise two extensions w.r.t. the representation of semantic relationships. The first extension concerns the integration of description logics in order to represent statements about the current situation. The main extension however concerns the integration of classifications (also known as formal contexts). By integrating these highly abstract notions into our membrane-based calculus we make a proposal for the support of common sense reasoning during runtime. The main purpose of the resulting framework is to provide a generic notion of context which is accessible for a rigorous computational treatment during runtime. We claim that this proposal is a contribution to the robustness of systems behavior and context-awareness.