Опровержение фразы

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

расположение_отдела(по_контракту, 100,'Подвал флигеля').

опровергнуть (по_контракту,

расположение_отдела (служащие, 100, 'Флигель 2-й этаж')).

Состояние «по_контракту» - это состояние, для которого осуществляется опровержение, а фраза «расположение—отдела (служащие, 100, Флигель 2-й этаж')» - это опровергаемая фраза. После того как в программу будут добавлены приведенные выше фразы, при просьбе выдать место расположения отдела 100, адресованной к состоянию «по—контракту», будет выводиться новое значение:

| ?— послать (по —контракту, расположение— отдела (100, Р)),

Р = 'Подвал флигеля' ;

Нет

Но по требованию выдать ту же самую информацию, адресованному к состоянию «служащие», все еще будет вырабатываться старое значение;

| ?-, послать((служащие. расположение_oтдела( 100, Р))

Р = 'Флигель 2-й этаж' ;

нет

Если фраза опровергнута для конкретного состояния, то она больше не будет наследоваться ни этим состоянием, ни любыми другими порожденными им состояниями. Если же к (состоянию была бы добавлена новая фраза, то она стала бы наследоваться всеми его порожденными состояниями. Описанное употребление факта "опровергнугь" знательно облегчает сопровождение программы.

Концепции механизма наследования

Механизм наследования базируется на следующих ключевых концепциях:

1) иерархия состояний знаний;

2) наследование фраз от состояния к состоянию, и

3) отмена наследования фразы путем ее опровержения. Концепции формализма фреймов так соответствуют приведенным выше концепциям:

- фрейм соответствует состоянию знаний:

- слот соответствует фразе, относящейся к состоянию знаний;

-наследование значений слотов от фрейма к фрейму соответствует наследованию фраз от состояния к состоянию и,

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

- класс соответствует состоянию знаний;

- метод соответствует фразе относящейся к состоянию знаний;

- объект соответствует фразе, относящейся к состоянию знаний;

- наследование методов от класса к классу cоответстуют наследованию фраз от состояния к состоянию;

- способность локального метода перекрывать унаследованный метод соответствует возможности опровергнуть унаследованную фразу и заменить ее новой фразой.