1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 1(152)'2018
  5. Аппарат формализации знаний для системы поддержки принятия решений операторами автоматизированной системы управления воздушным движением

Аппарат формализации знаний для системы поддержки принятия решений операторами автоматизированной системы управления воздушным движением

Ю.И. Полонский, С.Г. Шило, И.А. Борозенец, В.С. Мажаров
Аннотации на языках:


Анотация: Работа посвящена усовершенствованию системы информационного обеспечения процессов принятия решений операторами автоматизированной системы управления воздушным движением. Предложен аппарат формализации базы знаний предметной области, который базируется на положениях теории категорий и исчисления присутствия. Предлагается структуры для описания объектов представлять в виде системы целевых установок. На основе сетевой модели задач и целевых установок для каждой из подзадач, а также типа теории формируются аксиомы. В качестве основы для их построения выступает семантическое сетевое представление объекта и формулы отдельных подобъектов. Каждому представлению объекта в теории физической реальности сопоставляется в соответствие совокупность преобразователей информации, которые трансформируют информацию об исходных понятиях, которые удовлетворяют начальным условиям, в информацию о результирующих понятиях, которые должны отвечать новым условиям. В итоге, предложенный аппарат формализации позволяет синтезировать программы для решения задач поддержки принятия решений.


Ключевые слова: потенциально конфликтные ситуации, информационная модель, деятельность оператора, категорная модель знаний