Всякая научная теория вне зависимости от специфики знаний и области формализации призвана эффективно выполнять множество функций обработки информации. Для достижения глобальной цели - максимальной помощи в решении каждой из бесконечного множества проблем эволюции общества - информационный компьютер должен моделировать все функции научных теорий, объединенные в концептуально единую систему обработки знаний, и за счет этого обеспечивать возможность непосредственно использовать знание в явной форме для решения текущих и новых проблем. Разъяснено содержание коммуникативных, дескриптивно-прескриптивных и аргументативных (дедукции, индукции, объяснение, предсказание, понимание) функций научных теорий, описаны модели синтеза разных компонентов структуры научных теорий. Для организации произвольно сложного диалога субъекта с внешним миром достаточно коммуникативных функций анализа и порождения языковых сообщений и объектов действительности. Дескриптивно-прескриптивные функции являются основой познания и преобразования действительности. Описательный характер имеют все факты действительности, оценочный - стандарты, образцы, идеалы, нормы. Аргументация - процесс рассуждения, в ходе которого порождаются доводы (суждения, умозаключения), обосновывающие оценку (истинности или ценности) высказывания или теории. Дано самоописание метаязыка нормальных форм знаний. Приведена структура ядра информационного компьютера, основанного на этом метаязыке, в составе компилятора метапрограмм, двух интерпретаторов (метапрограмм и терминальных программ), глоссария терминов и двух массивов данных (входного и выходного). Описан процесс функционирования системы обработки знаний на базе информационного компьютера. Приведена информация о реализации макета информационного компьютера в форме персонального компьютера, расширенного интерпретатором баз знаний, выполненным на макетной плате корпорации Actel, с минимально необходимой аппаратно-программной поддержкой. Предоставление пользователям метаязыка для описания прикладных проблем и совершенной технологии постановки и решения задач, реализующей все функции научной теории, обеспечит предельно высокий рост надежности "мягкого" продукта и эффективности программирования.

• Кургаєв Олександр Пилипович (1940–) (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"