Представление и обработка знаний

79 Упорядоченный дизъюнкт – дизъюнкт с упорядоченной по- следовательностью литер, т.е. на множестве литер в дизъюнкте вво- дится отношение порядка. Говорят, что литера L 2 старше литеры L 1 , если L 2 следует за L 1 в записи дизъюнкта. Например, в дизъюнкте: P ( a ) V P ( b ) V P ( c ) старшей является P ( c ), а самой младшей P ( a ). Упорядоченный фактор дизъюнкт . Если две или больше ли- тер с одинаковыми знаками упорядоченного дизъюнкта С имеют наиболее общий унификатор  , то упорядоченный дизъюнкт, полу- ченный из  [ C ] вычеркиванием любой литеры, соответствующей младшей литере, называется упорядоченным фактором дизъюнкта C . Например: C = P ( x ) V R ( x ) V P ( a ),  = { x  a }. Тогда:  [ C ] = P ( a ) V R ( a ) V P ( a ) и фактор дизъюнкт  P ( a ) V R ( a ). Упорядоченная бинарная резольвента. Пусть С 1 и С 2 – упо- рядоченные дизъюнкты, которые содержат литеры L 1 и L 2 = ¬ L 1 со- ответственно. L 1 и L 2 могут быть унифицированы наиболее общим унификатором  . Тогда упорядоченная бинарная резольвента С – это упорядоченный дизъюнкт, полученный путем выполнения сле- дующих действий: 1) определение:  [ С 1] и  [ C 2]; 2) запись дизъюнкции  [ С 1] и  [ C 2] без изменения порядка их литер:  [ С 1] V  [ C 2]; 3) удаление из выражения  [ L 1] и  [ L 2]; 4) вычеркивание из полученной последовательности любой литеры, которая идентична младшей литере. Рассмотрим пример: C 1 = P ( x ) V Q ( x ) V ¬ R ( x ); C 2 = ¬ P ( a ) V Q ( a ); L 1 = P ; L 2 = ¬ P ;  = x  a. 1. Выполняем подстановку:  [ C 1] = P ( a ) V Q ( a ) V ¬ R ( a );  [ C 2] = ¬ P ( a ) V Q ( a ) .