Prolog

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

Операторы  если,  то,  и,   или  определены на рис. 14.10.

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

        если

                лампа1 включена  и

                лампа1 не работает  и

                предохранитель1 заведомо цел

        то

                лампа1 заведомо неисправна.

Вот другой пример правила:

        если

                радиатор работает

        то

                предохранитель1 заведомо цел.

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

Рис. 14. 6.  Соединения между предохранителями и приборами в

простой электрической схеме.

формальный язык это транслируется так:

правило_поломки:

                        если

                                Прибор включен и

                                не (Прибор работает) и

                                Прибор соединен с Предохранитель и

                                Предохранитель заведомо цел

                        то

                                Прибор заведомо неисправен.

База знаний такого рода показана на рис. 14. 7.

Упражнения

14. 1.    Рассмотрите 'если-то'-правила рис. 14.2-14.4 и транслируйте их в нашу систему обозначений для правил. Предложите расширение нотации, чтобы, при необходимости, можно было работать с оценками уверенности.

% Небольшая база знаний для локализации неисправностей в

% электрической схеме

% Если прибор включен, но не работает, и предохранитель цел,

% то прибор неисправен.

        правило_поломки:

                                        если

                                                вкл( Прибор) и

                                                прибор( Прибор) и

                                                не работает( Прибор) и

                                                соед( Прибор, Предохр) и