В статье обсуждается синтез оптимальных форм логического управления, задаваемых в виде последовательность операции (команд) некоторого вычислительного средства. Решение задачи предлагается осуществить на основе синтеза формулы для функции в базисе бинарных операций произвольной значности.

Для репрезентации данных и знаний, накопленных в информационной системе, предприятия, предлагается использовать механизм автоматической генерации документов, основанный на понятийном моделировании некоторого фрагмента предметной области репрезентации.

В данной работе представлена скоринговая система. Идея построения состоит в том, чтобы каждому клиенту банка поставить в соответствие некоторое вещественное число, которое характеризовало бы его платежеспособность. Затем, по этому числу определяется вероятность, с которой клиент выплатит кредит. Далее несколькими способами формируется критерий выдачи кредита.

При репрезентации знания преобразуются в новую форму с учетом некоторой активной проблематики, а сам процесс преобразования описывается знанием о накопленных ранее знаниях, или метазнанием. Для представления метазнаний используется понятийная структура области репрезентации, где заданы отображения одних понятий в другие, задающие способы их абстрагирования. Приведено описание разработанной системы текстовой репрезентации знаний, накопленных в CAD/CAM/PDM системах.

Для устранения субъективности в оценке качества программ и устройств предлагается использовать верхние оценки трудоемкости вычислений для задач дискретной обработки данных конечной размерности, для чего служит разработанная методика абсолютной оценки эффективности дискретных моделей, которая применима не только при программной, но и для аппаратурной реализации логической обработки данных.