Логические нейронные сети



Начинаем решать пример - часть 3


Итак, ступим на путь абстрагирования.

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

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

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

if A1 then if B1 then R1 else if (C1

C2
C3) then R2 else R3 else if B3 then R4 else R5.

Здесь R1-R5 - принимаемые решения.

Одно решение соответствует некоторой, в общем случае не единственной, комбинации событий. Для изображения таких комбинаций воспользуемся записями, например, вида А1

(В2
В3)
(С4
С5). Это означает, что Вася отправился в палатку то ли к Регине, то ли к Аполлинарии, торгующей продукцией то ли фирмы Пират, то ли фирмы Ночная Бабочка. Однако эта же запись означает, что все составляющие ее конъюнкции А1
В2
С4, А1
В3
С4 и др. приводят к одному и тому же решению.

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

\left \begin{array} {1} if A1\wedge B1\wedge (C1\vee C2\vee C3\vee C4\vee C5) \ then\ R1;\\ if A1\wedge (B2\vee B3)\wedge (C1\vee C2\vee C3) \ then\ R2;\\ if A1\wedge (B2\vee B3) \wedge (C4\vee C5) \ then\ R3;\\ if A2\wedge B3\wedge (C1\vee C2\vee C3\vee C4\vee C5) \ then\ R4;\\ if A2\wedge (B1\vee B2)\wedge (C1\vee C2\vee C3\vee C4\vee C5) \ then\ R5.\end{array}

(3.1)

Тогда, например, первое логическое высказывание означает "Если Вася отправился в одну из пяти палаток, и все они торгуют сегодня продукцией фирмы Красный Киллер, то следует принять решение R1 (например, заказать туристическую путевку)".

Второе логическое высказывание означает: "Если Вася посетил одну из палаток С1, С2 или С3, торгующих сегодня продукцией фирм В2 и (или) В3, то следует принять решение R2" и т.д.




Содержание  Назад  Вперед