Детерминированный выбор Параллельное выполнение

                                                                                     

                                          Недетерминированный выбор

                                                     

Детерминированный выбор

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

Могут быть использованы:

1. НАМ (нормальные алгоритмы Маркова).

2. Приоритет (частного перед общим).

3. Рейтинги.

 

Условия корректности детерминированного выбора

1). Условие коммутативности

 

2).

 

Недетерминированный выбор

Возможны два случая:

- мягкий недетерминизм (потом, на каком-то этапе узнаем, какой был сделан выбор)

- жесткий приоритет (не узнаем, что было выбрано)

 

Условия корректности недетерминированного выбора

1). Условие коммутативности

 

2). Условие идемпотентности

    

3). Условие ассоциативности

  

4). Условие дистрибутивности

  

5).

Параллельное выполнение

Условия корректности параллельного выполнения

1). Условие коммутативности

 

2). Условие ассоциативности

  

3). Условие дистрибутивности

 

4). Условие останова

 

5).

(6). Условие идемпотентности

    

Эффект интерференции

Это означает, что результат параллельного выполнения правил

Пример

Правила

           

, где {0,0} и {1,1} – не ожидаемые состояния

 - если в универсум входит подструктура , то она заменяется на

Зависимости  и :

1). По входу:

 

2). По выходу:

 

3). По входу / выходу:

 

В каких случаях параллельное выполнение будет корректно или возможно?

 

 

Есть P={ }

1). Матрица параллелизма

Q=|| ||

 

=                                                  =

 

2). После нахождения активного множества AS=  для каждого правила определяем || множество.