Вестник Кольского научного центра РАН. 2014, №1.

УДК 519.673: 004.9 ИНДИКАТОРЫ ХОДА ЛОГИЧЕСКОГО ВЫВОДА НА СПИСКОВЫХ ПЕРЕМЕННЫХ* А.Я. Фридман Институт информатики и математического моделирования КНЦ РАН Аннотация В гибких дискретных системах (экспертных, информационно-аналитических и др.) существует проблема останова процесса вычислений, т.е. выявление шага обработки, после которого необходимо изменить режим работы системы (например, выдать сигнал ошибки или изменить направление логического вывода). В настоящей работе предлагается применить для этого универсальные эвристические индикаторы хода вывода, которые можно конкретизировать для реальных типов данных. Такие индикаторы позволяют оценить успешность продвижения кцели вывода и принять решение о его прекращении или продолжении. Ключевые слова: списковая переменная, логический вывод, управление применением продукций, эвристический индикатор хода вывода. Введение Во многих компьютерных системах обработки информации переменные величины могут принимать только значения из дискретных конечных множеств (аналогично спискам). Так поступают либо с целью использования комбинаторных алгоритмов [1-3], либо для того, чтобы избежать вычислительных проблем, связанных с малыми изменениями количественных переменных, и обеспечить поддержку совместной расчетно-логической обработки данных любых типов [4]. Согласно [5], подобные схемы и устройства относятся к гибким дискретным системам (ГДС), поскольку предназначены для реагирования на дискретные события и работы в меняющейся обстановке. В ГДС существует проблема останова процесса вычислений, т.е. выявления шага обработки, после которого необходимо изменить режим работы системы (например, выдать сигнал ошибки или изменить направление логического вывода). В настоящей работе предлагается применить для этого универсальные индикаторы хода вывода, которые можно конкретизировать для реальных типов данных. Без потери общности анализ таких индикаторов ведется на примере системы ситуационного моделирования (ССМ) [4, 6]. Логическая обработка знаний в ССМ В ССМ имеются интерфейсы для ввода-вывода данных различных типов, но их внутреннее представление унифицировано: реальные значения кодируются натуральными числами, соответствующими положению этих значений в списке допустимых значений, который формируется при первичном декларировании данного. Данные со строковыми значениями называются параметрами, а имеющие числовые значения - переменными, и над ними можно выполнять определенные математические операции. Когда результат вычислений представляет собой значение переменной, он округляется до ближайшего значения из списка допустимых значений. В дальнейшем, если сказанное относится к данным любого разрешенного в ССМ типа (и к переменным, и к параметрам), употребляется термин “данное”. Назовем атомарным фактом факт простейшего возможного в ССМ формата: <имя> = <значение>, (1) где <значение> - одно из значений данного с именем <имя> из списка его допустимых значений. Поскольку все значения каждого данного предполагаются взаимно не пересекающимися, то область истинности атомарного факта есть единственное значение из области определения этого данного. Общая форма записи факта в ССМ такова: * Работа выполнена при поддержке РФФИ (проекты №№ 14-07-00256-а, 14-07-00257-а, 14-07-00205-а, 13-07-00318-а, 12-07-00689-a, 12-07-000550-a, 12-07-00302-а) и Президиума РАН (проект 4.3 Программы № 16) 35