Оба вида знаний некоторой предметной области можно рассматривать в виде двух параметрических множеств в условной системе координат. По оси ординат в этой системе будут откладываться некоторые условные значения, указывающие на их глубину. А по оси абсцисс – некоторые значения, характеризующие жесткость знания. Жесткость согласно этой градации в какой-то мере характеризует точность знаний. Если мы имеем, скажем, точную формулу, описывающую данный процесс однозначно, то можем считать наши знания жесткими, устоявшимися. Если же такой формулы нет, есть лишь некое расплывчатое описание, то, конечно, такое знание трудно назвать строгим, оно будет нежестким.

Что дает подобная теория на практике? На ее основе эстонским ученым удалось создать пакеты программ, позволившие автоматизировать проектирование таких систем, которые раньше создавались лишь вручную.

Сначала в Эстонии были разработаны системы программирования. Примером такой системы может послужить МикроПРИЗ – пакет программ для расчета валов, проектирования активных фильтров, моделирования динамических систем и т. д. Но такая САПР в общем-то мало чем отличается по своим возможностям от обычной. И поэтому для расширения ее возможностей был создан еще один пакет программ – система МикроЭКС-ПЕРТ. Она позволяет представлять знания в виде конкретных примеров. То есть поведение системы выбирается из имеющихся вариантов правильного ее поведения в каких-то типичных случаях.

В итоге теперь в процессе автоматизированного проектирования могут принять участие три действующих «лица». Во-первых, это человек-конструктор, во-вторых, программа МикроЭКСПЕРТ и, в-третьих, тоже программа – МикроПРИЗ. Они действуют заодно, обеспечивая быстрое выполнение того или иного производственного задания.

Сначала МикроЭКСПЕРТ задает вопросы человеку и с помощью, скажем, дисплея выбирает схему конструкции. Затем эта схема передается системе МикроПРИЗ, которая, пользуясь понятиями из своей базы знаний, строит вычислительную модель для прочностных расчетов, а потом уже на ее основе синтезирует алгоритмы решения расчетных задач.