Конспект лекций по программированию для начинающих. Гладков В.П. - 72 стр.

                                      74

i-м столбцом, будем обозначать ki. Полная ТР с ограниченным входом
содержит 2n правил, где n - количество условий.
   Получить полную таблицу можно, если добавить к произвольной таблице
правило ИНАЧЕ, которое будет принимать значение «истина», если все другие
правила ТР будут ложными. ТР с правилом ИНАЧЕ приведена ниже:
                                 На прогулку!
     На улице сильный ветер?                    Да
     Идет дождь?                                   Да
     Идет град?                                       Да
     Небо затянуто тучами?                                  Да
     ИНАЧЕ?                                                      Да
     Оденьтесь теплее                           х
     Наденьте плащ и возьмите зонт                 х        х
     Лучше подождать с прогулкой                      х
     Прогулка может получиться весьма                            х
     приятной
   ТР избыточна, если хотя бы два ее столбца перекрывают друг друга по
значениям условий и определяют одни и те же действия. Пример избыточной
таблицы:
                                С1    1    -
                                С2    -    0
                                А1    x    x
   Таблица решений противоречива, если хотя бы два столбца ее перекрывают
друг друга по значениям условий, но определяют различные действия. Пример
противоречивой ТР:
                                 С1 1 -
                                 С2 - 0
                                 А1 х
                                 А2       х
   Работа по ТР осуществляется следующим образом:
   1) устанавливается истинность всех условий, используемых в ТР для
заданных исходных данных;
   2) выбирается правило ТР, содержащее те же значения истинности условий,
что и установленные на первом шаге, при этом вместо прочерка можно
поставить 1 или 0. Используя пометку во входе действий, в столбце действий
считываем то, что нужно выполнить. Если таких правил несколько и каждое
помечает одно и то же действие, то таблица избыточна и одно из правил можно
отбросить. Если таких правил несколько и каждое помечает разные действия, то
таблица противоречива и ей пользоваться нельзя.
   Упражнения:
   1. Какое решение подскажет ТР примера 9.27, если Вы хотите перейти
улицу, но горит желтый сигнал светофора?
   2. Что произойдет, если витязь из примера 9.28 поедет направо?