Новосельцев В. Б.
Теория структурных функциональных моделей

Предлагается теория, подобная логическим формализмам и предназначенная для описания прикладных предметных областей. Теория основана на хорошо известной «теории вычислительных моделей» Тыугу и Минца, но дополнительно включает такой важный инструмент описания предметной области, как рекурсия. Предлагаемая теория является вполне адекватной для непроцедурных описаний широкого класса прикладных областей и в то же время обладает полиномиальными оценками и является полной. Данный формализм используется как теоретический базис для разработки систем, основанных на знаниях.

Novosel’tsev V. B.
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.

Полный текст статьи / Full texts:

• PDF file (485 KB)
• PostScript file (965 KB)