The theory of function structure models

We propose a theory that is similar to logical formalisms and aims at describing applied object domains. The theory is based on the well-known “theory of computational models” of Tyugu and Minz, but in addition it includes such an important instrument for describing an object domain as recursion. The proposed theory is quite adequate for nonprocedural descriptions of a wide range of applied areas, but at the same time possesses polynomial estimates and is complete. This formalism is used as a theoretical foundation for developing knowledge-based systems.