We propose mathematical foundations for knowledge systems based on the notion of effectively presented domain. The paper aims to give a schematic model for computer's behavior in chang- ing information environment. In this paper, we focus on compu- tational resources rather than on computer's particular actions.