Труды КНЦ вып.8 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 3/2017(8))

Утверждение 1 (У1). Если все строки (кортежи) С-системы пусты, то есть содержат хотя бы по одной пустой компоненте каждая, то С-система пуста (соответствующая задача CSP несовместна). Утверждение 2 (У2). Если все компоненты некоторого атрибута (столбца С-системы) являются полными, то данный атрибут можно удалить из С-системы (удаляются все компоненты, стоящие в соответствующем столбце), а пара “удаляемый атрибут - его домен” сохраняется в векторе частичного решения. Утверждение 3 (УЗ). Если домен некоторого атрибута С-системы содер­ жит значения, не встречающиеся в соответствующем столбце, то эти значения удаляются из данного домена. Утверждение 4 (У4). Если строка С-системы содержит хотя бы одну пустую компоненту (строка пуста), то строка удаляется. Утверждение 5 (У5). Если компонента некоторого атрибута содержит значение, не принадлежащее соответствующему домену, то это значение уда­ ляется из компоненты. Утверждение 6 (У6). Если одна строка С-системы полностью домини­ рует (покомпонентно содержит) другую строку, то доминирующая строка удаляется из С-системы. Представление качественных абстракций физических законов в виде совокупности С-систем Рассмотрим простую электрическую схему, состоящую из выключателей, ламп и источников питания (рис.), описанную в [10]. В настоящей работе строится качественная модель электрической схемы в терминах матриц ограничений (в виде набора С-систем), а возникающие задачи моделирования предлагается рассматривать как задачи удовлетворения ограничений. Данная предметная область не относится к слабо формализованным, для нее сфор­ мулированы количественные законы, например, закон Ома. Однако, при решении ряда задач либо точные числовые данные не требуются, либо изме­ рение всех необходимых числовых параметров осложнено. В этих случаях, даже если известна строгая аналитическая модель исследуемого объекта, пред­ почтение отдается качественным моделям. Компоненты исследуемой электрической схемы делятся на два типа: выключатели и лампы. Выключатели могут быть разомкнутыми или замкну­ тыми, а лампы могут быть светящимися или темными, сгоревшими или исправными. SI В1 S2^ В2 ВЗ Пример электрической схемы 100