Способ формирования правила получения логического вывода

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

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

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

Известен способ унифицированной семантической обработки информации, обеспечивающий в рамках одной формальной модели представление, контроль семантической правильности, поиск и идентификацию описаний объектов по патенту РФ №2393536. В способе совмещают несколько процессов обработки: поиск-идентификация описаний, пополнение описаний значениями признаков, расширение множества признаков, используемых для описания, изменение самих наборов описаний, обнаружение и диагностика ошибок ложной синонимии и омонимии и комбинации перечисленных выше действий. При этом используют данные в зависимости от текущего состояния и для поиска-идентификации, и для пополнения, и для обнаружения, и диагностики ошибок. Для обрабатываемых наборов описаний используют простые или составные ключи, предназначенные для повышения скорости сопоставления, динамически пополняют набор признаков, с помощью которых дается описание объектов и на основании которого осуществляют сопоставление.

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

Известен машинореализуемый способ автоматизированного построения маршрута логического вывода в базе знаний по патенту РФ №2607995. Технический результат заключается в сокращении времени построения маршрута логического вывода. Указанный результат достигается за счет базы знаний, содержащей представление модели предметной области в виде объектов и связей, организованных в ориентированный двудольный граф, при этом объекты содержат параметры, причем связи содержат правила и каждое правило имеет входную переменную и выходную переменную, а каждый связанный с правилом параметр является его входной либо выходной переменной. Формируют совокупность известных параметров и задают искомые параметры. Запускают одновременно несколько запускаемых правил, в которых известный параметр является входной переменной, для которых известны все остальные входные переменные, при этом имитацию запуска правила осуществляют путем присваивания выводимым в этом правиле переменным значений «известно». Если найдены все искомые параметры, упомянутую обработку прекращают и задача считается решенной, в противном случае осуществляют дальнейший поиск маршрута логического вывода. Строят последовательность из запущенных правил в порядке их запуска, при этом построенная последовательность правил представляет маршрут логического вывода.

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

Известен способ для обработки данных в логической системе с компьютерной поддержкой по патенту РФ №2583720 (выбран в качестве наиболее близкого аналога прототипа), включающий в себя следующие этапы:

- направление (S₁) подлежащего подписке запроса (А) приложения (1) на по меньшей мере одно устройство (R) логических выводов,

- передача (S₅, S₇, S₈) информации основанных на событии данных источника (4, 5) данных на устройство (R) логических выводов, причем передачу (S₅, S₇, S₈) данных источника (4, 5) данных на устройство (R) логических выводов осуществляют, основываясь на событии, в особенности к определенным моментам времени,

- определение (S_F) причинного и/или основанного на времени логического вывода посредством блока (R_P) рассуждений устройства (R) логических выводов на основе семантической модели, содержащей терминологические понятия онтологии, и экземпляра модели семантической модели, содержащего конкретные экземпляры терминологических понятий онтологии, на основании данных источника (4, 5) данных переданных информации и - передача (S₉, S₁₀) логического вывода в приложение (1) посредством устройства (R) логических выводов.

В способе по патенту РФ №2583720 осуществляют формализацию сведений о семантических признаках определенных фактов или явлений, и генерации нового знания посредством логических выводов. При этом сами правила логического вывода в способе по патенту РФ №2583720 заданы исходно и не меняются по ходу процесса обработки информации.

Способ по патенту РФ №2583720, выбранный в качестве наиболее близкого аналога, не позволяет автоматизировать процесс получения правил логического вывода.

Техническая проблема, решаемая заявляемым изобретением - создание способа формирования правила получения логического вывода, в результате осуществления которого возможно автоматизировать процесс формирования правил получения логического вывода; кроме того, технической проблемой, решаемой заявляемым способом, является обеспечение возможности создания или выполнения критичных к времени запросов и логических выводов без увеличения объема требуемой памяти.

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

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

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

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

На основании поступившей первичной информации и первичного решения, принятого пользователем, компьютер вырабатывает первичную гипотезу о причинно-следственной связи между составом и значениями признаков, характеризующих каждое выделенное событие и/или факт, с одной стороны, и принятым пользователем первичным решением, с другой стороны. Указанная первичная гипотеза на данном этапе представляет собой неподтвержденное правило логического вывода о причинно-следственной связи между составом и значениями признаков, характеризующих каждое выделенное событие и/или факт, с одной стороны, и принятым пользователем первичным решением, с другой стороны. Первичная гипотеза подлежат сохранению компьютером для ее последующего использования.

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

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

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

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

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

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

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

Заявляемый способ подтверждается следующими примерами.

Пример 1.

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

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

а) определяет набор классов происшествий, о которых говорится в связанных сообщениях;

б) определяет разброс значений признаков, свидетельствующих о месте и времени происшествия, и вычисляет максимальную величину разброса;

в) определяет совпадающие значения иных семантических признаков.

Состав семантических признаков зависит от классификации сообщения. Так, пожар может характеризоваться площадью возгорания и числом пострадавших, отравление продуктами горения - числом пострадавших и типом горючего вещества. Конкретные способы классификации, выделения семантических признаков не связаны с реализацией предлагаемого способа и здесь не описываются.

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

Ниже в Таблице 1 перечислены сообщения, поступавшие в ситуационный центр, в порядке их поступления.

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

После поступления второго сообщения пользователь сравнил набор и значения его признаков с набором и значениями признаков контролируемого происшествия, и принял решение о том, что второе сообщение свидетельствует о том же происшествии, что и первое, создав тем самым между ними логическую связь. На основе этого решения компьютером была сформирована следующая гипотеза:

Условие гипотезы, сформулированной в результате обработки первого и второго сообщений, в отношении которых пользователь принял решение о том, что они свидетельствуют об одном и том же происшествии, может быть записано так: «Сообщения свидетельствуют об одном происшествии, если они относятся к классам [Задымление, Пожар], разброс по координатам места происшествия не превышает 100 м, разброс по времени не превышает 10 мин, и Тип объекта, на котором произошло происшествие - Здание или Торговый центр».

Затем поступило третье сообщение, и пользователь снова принял решение о том, что оно свидетельствует о том же происшествии. На основании сравнения признаков первого и третьего сообщений сформирована вторая гипотеза.

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

На основании сообщения №4 пользователь создал новое контролируемое происшествие.

При поступлении сообщения №5 пользователь принимает решение о том, что это сообщение не свидетельствует о том же происшествии. Такой вывод оператора противоречит ранее сформулированной гипотезе №2:

Как видно из Таблицы 5, результат сравнения признаков сообщений №4 и №5 удовлетворяет условиям гипотезы №2, однако в этом случае пользователь не принял того решения, которое должен бы был принять, если бы гипотеза №2 была верной. Поэтому гипотеза №2 помечается как неверная и не будет формироваться вновь в процессе дальнейшей работы компьютера.

В ходе дальнейшей работы компьютера поступают сообщения №6 и №7, на основании которых компьютер формирует гипотезу №3.

Компьютер выполняет сравнение условий гипотезы №1, оставшейся не опровергнутой, и вновь сформированной гипотезы №3. Условия агрегирования могут варьироваться в зависимости от прикладной задачи, для решения которой реализуется способ. В рассматриваемом примере компьютер находит достаточное количество общих элементов предпосылок между гипотезами №1 и №3, и формирует на их основе агрегированное правило получения логического вывода. В части набора классов (типов) происшествия выполняется дополнение предпосылок, в части признаков места и времени, а также семантических признаков - исключение предпосылок, то есть выбирается наиболее строгий вариант соответствия.

Читаемый вид агрегированного правила №1 таков: «Сообщения свидетельствуют об одном происшествии, если они относятся к классам [Задымление, Пожар, Пострадавший с ожогами], разброс по координатам места происшествия не превышает 100 м, разброс по времени не превышает 10 мин, и Тип объекта, на котором произошло происшествие - Здание».

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

Пример 2.

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

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

Гипотезы формируются на основании наборов признаков, характеризующих случаи, в которых принято решение об остановке. При этом формируемые гипотезы не должны противоречить тем случаям, когда решение об остановке не было принято. В данном примере при формировании гипотез не учитываются значения признаков, учет которых привел бы к недостоверности гипотез из-за наличия противоречащих случаев. Так, 3-й случай препятствует включению в условие значений уровня шума и вибрации, т.к. они превышают соответствующие значения в 1-м и 2-м случаях, но решение об остановке не было принято.

Условие правила, сформированного на основании агрегирования гипотез: «Решение об остановке принимается, если производится автоматический сброс излишнего давления И температура рабочей жидкости превышает 120°C».

Пример 3.

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

В примере 3 использован «Российский терапевтический справочник» под ред. А.Г. Чучалина, Москва, «Геотар-Медиа», 2005, стр. 140-148

Правила, сформированные алгоритмом на основании перечисленных случаев.

1. Если Характер боли в эпигастральной области = «Резкая, поздняя через 1,5-2 часа после еды», и Результат ФГДС = [язвенный дефект, эрозии], то вероятный предварительный диагноз = Язвенная болезнь 12-перстной кишки хроническая (обострение)

2. Если Характер боли в эпигастральной области = «Вскоре после еды, усиливается при наклонах и в горизонтальном положении», и Результат ФГДС = рефлюкс эзофагит, то вероятный предварительный диагноз = Гастроэзофагеальная рефлюксная болезнь (ГЭРБ).