Reasoning with limited computational resources (such as time or memory) is an important problem, in particular in knowledge-intensive embedded systems. Classical logic is usually considered inappropriate for this purpose as no guarantees regarding deadlines can be made. One of the more interesting approaches to address this problem is built around the concept of
active logics. Although a step in the right direction, active logics are just a preliminary attempt towards finding an acceptable solution. Our work is based on the assumption that labelled deductive systems (LDSs) offer appropriate metamathematical methodology to study the problem. As a first step, we have reformulated a pair of active logics systems, namely the memory model and its formalized simplification, the step logic, as LDSs. This paper presents our motivation behind this project, followed by an overview of the investigations on meta-reasoning relevant to this work, and introduces in some reasonable detail the MM system.
Economic development is strictly dependent on access to inexpensive and reliable energy sources based on diversified primary fuels. The strategic framework for the construction of the energy mix is defined in the Energy Policy of the State, the content of which, in terms of its mandatory elements, has been specified in the Energy Law. The task of the Energy Policy of the State is to create the shape of the future power sector, including designing the most advantageous regulatory, system and technical solutions guaranteeing the appropriate level of energy security of the country, monitoring of the system’s evolution and also designing and implementing changes aimed at the optimization of the functioning mechanisms. The vision of the development of the power system at the global level should also reflect changes in the formation of dispersed civil energy structures. Unfortunately, the results of the conducted analyses reveal existing imperfections of the data acquisition and information system, which should be used in the planning process. This issue is particularly important from the perspective of the dynamically developing concept of the energy self-sufficiency of communes and the emergence of energy clusters. The present paper describes the functioning of strategic planning in the field of the electric power system with an illustration of the improperly functioning mechanisms of information transfer in the context of the advancement of dispersed civil energy structures.