Formal Model for the Dynamics of Compositional Reasoning Systems

摘要

In this report we introduce a formal model to describe in a generic manner thebehavior (or dynamics) of a certain type of reasoning systems, 'compositional reasoning systems'. This model can be used to specify behavior at any desired level of detail. Our formalization is based on partial temporal models, and uses the notions of information states, transitions between them, and traces generated by these transitions. We illustrate these notions for a specific type of compositional reasoning systems, the ones that can be specified using our framework for formal DEsign and Specification of Interacting REasoning modules (DESIRE). It will be shown how various aspects of behavior of DESIRE systems can be described using the formal model for dynamics introduced in this report; it is pointed out how semantics of the dynamics of DESIRE systems can be based on this formal model.