Вы находитесь на странице: 1из 29

35

РАЗДЕЛ 2

РАЗРАБОТКА КВАНТОРНОЙ АЛГЕБРЫ ПРЕДИКАТНЫХ


ОПЕРАЦИЙ ДЛЯ МАТЕМАТИЧЕСКОГО МОДЕЛИРОВАНИЯ И
ИССЛЕДОВАНИЯ ДИСКРЕТНЫХ ОБЪЕКТОВ И ПРОЦЕССОВ

Раздел посвящен развитию аппарата алгебры предикатов и предикатных


операций. Разработана кванторная алгебра предикатных операций,
обладающая свойством полноты. Указана ее роль в различных областях
науки, в частности в теории интеллекта. Сформулирована и доказана теорема
о равносильности фундаментальной и кванторной алгебр, на основании
которой сформулирована теорема о полноте кванторной алгебры. Приведена
система основных тождеств кванторной алгебры. Решен вопрос взятия
кванторов общности и существования по пустой области в терминах
кванторной алгебры.

2.1. Построение базиса кванторной алгебры предикатных операций

Алгебры предикатных операций необходимо использовать при


проектировании систем обработки информации, различных информационных
структур и их электронных схем. При изучении механизмов интеллекта
человека алгебры предикатных операций целесообразно использовать для
формульной записи свойств (законов) интеллектуального поведения
испытуемого. Само же это поведение удачно описывается на языке алгебры
предикатов. С помощью формул алгебр предикатных операций просто
выражается смысловая структура предложений и текстов естественного
языка [108, 118, 120, 121]. Мысли можно формально представлять в виде
предикатов, а для выражения действий над ними использовать предикатные
операции.
В настоящее время разработано целое семейство алгебр предикатных
36

операций [99-102]: булева алгебра предикатных операций [97, 104], алгебра


предикатных операций с константами и переменными [99], дизъюнктивно-
конъюнктивная алгебра предикатных операций [101] и т.д. Особое место в
семействе алгебр предикатов и предикатных операций занимает
фундаментальная алгебра. Фундаментальной называется любая алгебра
предикатных операций, у которой базисными операциями служат
дизъюнкция XY и конъюнкция XY всевозможных предикатных
операций X и Y , а базисными элементами – предикат 0 и всевозможные
предикаты узнавания предмета xia (i  1, m; xi , a  Ai ) , и всевозможные
P
предикаты узнавания предиката X j ( j  1, n; X i , P  B j ) [101].
Фундаментальная алгебра имеет более экономный базис, чем дизъюнктивно-
конъюнктивная алгебра предикатных операций, но, тем не менее, при любом
носителе N фундаментальная алгебра предикатных операций тоже полна.
Доказательство теоремы представлено в работе [101].
В этой алгебре в роли основных законов используются все основные
законы булевой алгебры, они перечислены выше, и, кроме того, закон
xia   xib
отрицания для предикатов узнавания предмета b Ai
ba
и узнавания

X P
  X Q
предиката j
Q B j
Q P
j
; закон истинности для предикатов узнавания

предмета  xia  1 и узнавания предиката  X Pj  1 ; закон ложности для


a Ai P B j

предиката узнавания предмета, xia xib  0 если a  b , и узнавания предиката


X Pj X Q
j  0, если P Q. Перечисленные законы справедливы для всех i  1, m;

j  1, n; a, b  Ai ; P, Q  B j . Они образуют полную систему законов


фундаментальной алгебры. Теорема о полноте системы законов
фундаментальной алгебры доказана в [101]. Алгебра предикатных операций
вместе с ее подалгеброй, являющейся алгеброй предикатов, называется
алгеброй предикатов и предикатных операций.
Фундаментальная алгебра полна, а это означает, что с помощью формул
фундаментальной алгебры можно выразить любую предикатную операцию,
37

содержащуюся в ее носителе. Кроме того, только для фундаментальной


алгебры известна полная система законов, позволяющая решить вопрос о
том, выражают ли две произвольно взятые ее формулы одну и ту же
предикатную операцию или нет. Эти качества фундаментальной алгебры
делают ее незаменимой для теоретических изысканий в области логической
математики. Вместе с тем, для практических применений фундаментальная
алгебра не всегда удобна, поскольку ее формулы и тождества не обладают
достаточной компактностью и изяществом. Для практических целей более
удобна так называемая прикладная алгебра предикатных операций: базис
операций образован из подстановок вида x / a ( X ) (i  1, m; a U ) ,
i а также
операции отрицания X и дизъюнкции X  Y , произвольных предикатных
операций X и Y , и с базисом элементов, образованным из предикатов

равенства вида D x1 , xi    x1a xia , ( i  2, m ) (здесь они выступают в роли


aM

константных предикатных операций) и предикатных переменных X j , (


j  1, n ), представляющих в данном случае тождественные предикатные
операции) [100]. Эту алгебру еще иначе называют алгеброй подстановочных
операций, так как единственная новая базисная операция в этой алгебре –
подстановка. Подстановок в прикладной алгебре столько, сколько было
раньше предикатов узнаваний предмета. По сравнению с базисом
фундаментальной алгебры базис элементов прикладной алгебры сократился,
а базис операций – расширился. В целом же базис сократился. D – это
константный предикат, другие константные предикаты в базисе прикладной
алгебры не понадобились. Введение в алгебре новой операции подстановки
позволило сократить в базисе число константных операций. Прикладная
алгебра полна и несократима при любых U , m и n [99]. Имеет место
теорема о равносильности фундаментальной и прикладной алгебр:
фундаментальная и прикладная алгебры предикатных операций, имеющие
один и тот же носитель, равносильны. Доказательство теоремы приведено в
[99].
38

Как было показано выше, прикладная алгебра полна, следовательно, она


универсальна в том смысле, что на ее языке можно выразить любые
операции над предикатами. Все известные в математике логические
операции выражены на языке прикладной алгебры в работе [100].
Прикладная алгебра еще слабо изучена. Требует решения вопрос о ее
несократимости, об отыскании полной системы ее тождеств, ждут разработки
методы решения ее уравнений и многие другие проблемы. В данной области
имеются только отдельные разрозненные результаты. Один из таких
результатов связан с идеей введения так называемой кванторной алгебры.
В прикладной алгебре кванторы вводятся в порядке ее консервативного
расширения [100], кванторы вводятся просто по определению, выражаются
через базис прикладной алгебры. С помощью операции подстановки, которая
является базисной операцией в прикладной алгебре, легко выражаются
кванторы общности и существования, которые широко используются в
классической математике в качестве логического инструментария. Квантор
общности по предметной переменной, как известно, для одноместных
предикатов P ( x) в случае конечной области изменения предметной
переменной x определяется следующим образом: если U   a1 , a2 ,  , ak  , то
xP( x )  P (a1 )  P (a2 )    P (ak ) [78]. В общем случае

x ( X )   x / a ( X )
i a U i . (2.1)

Аналогично определяется квантор существования: если U   a1 , a2 ,  , ak  , то


xP( x)  P( a1 )  P( a2 )    P( ak ) [99]. В общем случае
x ( X )   x / a ( X )
i a U i . (2.2)

Зависимости (2.1) и (2.2) можно применять не только к конечному, но и


к бесконечному универсуму U . Кванторы общности и существования можно
понимать не только как предикатные операции, но и как операции над
39

предикатными операциями. В этом случае они определяются следующими


равенствами:
x (F )   x / a (F )
i a U i ,
x ( F )   x / a ( F )
i a U i .

Символ F обозначает произвольную предикатную операцию [100].


Кванторы общности и существования, когда значения предметной
переменной xi ограничены множеством Ai  U , определяются следующими
зависимостями:
x  AP  x   x( A( x)  P ( x)) ;

x  AP x   x( A( x)  P ( x)).

Кванторы по предикатной переменной определяются следующим


образом:
P  F ( P )   F( P)
PM ;

P  F ( P )   F( P )
PM .

Здесь F (P ) – произвольно выбранная предикатная операция, действующая


на предикат P ; M – универсум предикатов [101]. Кванторы по набору
предметных переменных   ( x1 , x2 ,..., xm ) имеют вид:

P( )  x1x2  xm P ( x1 , x2 ,  , xm ) ;

P ( )  x1x2  xm P( x1 , x2 ,  , xm ) .

С их помощью можно выразить кванторы по предикатной переменной P ,


значения которой ограничены предикатами, включенными в фиксированный
предикат M :
P  M  F  P       P     M      F  P  ; (2.3)
P M
40

P  M  F  P       P    M      F  P   . (2.4)
PM

Зависимости (2.3) и (2.4) можно обобщить следующим образом:

P  M  F P, M       P    M      F P, M   ;
PM

P  M  F P, M       P    M      F P, M   .
PM

Здесь F ( P, M ) – произвольно выбранная предикатная операция,


действующая на предикаты P и M [100].
Кванторы по набору предметных переменных, заданных на декартовом
произведении, выражаются следующим образом:

( x1 , x2 , , xm )  M 1  M 2    M m P ( x1 , x2 , , xm ) 
 x1 , x2 , , xm ( M 1 ( x1 ) M 2 ( x2 ) M m ( xm )  P ( x1 , x2 , , xm ));

( x1 , x2 ,  , xm )  M 1  M 2    M m P ( x1 , x2 ,  , xm ) 
 x1 , x2 ,  , xm ( M 1 ( x1 ) M 2 ( x2 )  M m ( xm )  P ( x1 , x2 ,  , xm )).

Заметим, что все вышеперечисленные выражения не выводят за пределы


класса формул прикладной алгебры. Предикатные операции F (P ) и
F ( P, M ) выражаются на языке прикладной алгебры (т.к. это не переменные,

а фиксированные операции). Вместе с тем, эти выражения нельзя причислить


к формулам классического логического исчисления первого порядка, их
нельзя также отнести и к формулам других широко известных логик.
Роль кванторов чрезвычайно велика в классической математике, в
естественном языке, в базах данных, в проектировании информационных
объектов, в теории интеллекта, в информатике и др. областях. Но для
прикладной алгебры – это операция, она получается в результате комбинации
базисных операций прикладной алгебры. Однако сами кванторы обладают
41

достаточной силой, чтобы на них основать особую алгебру предикатных


операций. В результате консервативного расширения базиса прикладной
алгебры кванторами общности и существования, получим новую алгебру
предикатных операций с базисом операций, состоящим из дизъюнкции X  Y
, отрицания X , подстановок xi a ( X) , (i  1, m; a  U ) , кванторов
существования xi  Ai (X) и общности xi  Ai (X) , и с базисом элементов,

образованным из предикатов равенства вида D x1 , xi    x1a xia , ( i  2, m ) и


aM

переменных X j ( X, Y  N ; i, k  1, m; j  1, n; a  Ai ) . Базис этой алгебры


избыточен. Один из кванторов можно исключить из базиса. например
квантор общности:

xi ( X)   xi / a( X)   xi / a ( X)  xi ( X) .
aU aU

Можно исключить из базиса новой алгебры и операцию подстановки,


выразив ее через квантор существования: xi a ( X)  xi  Ai ( xia  X). Операция
конъюнкции выражается посредствам операций дизъюнкции и отрицания,
имеющихся в базисе прикладной алгебры, применяя законы де Моргана. Для
выражения подстановки необходимы предикаты узнавания предмета xia

(i  1, m; a  U ) , а их нет в базисе прикладной алгебры. Вводим их в базис


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

равенства: D x1 , xi    x1a xia , ( i  2, m ). Итак, получаем новую алгебру


aM

предикатных операций, которая называется кванторной. Для ее получения из


базиса прикладной алгебры исключили операции подстановки и предикаты
равенства, а добавили кванторы существования xi  Ai (X) и предикаты
узнавания предмета xia (i  1, m; a  U ) . Т.о., кванторной алгеброй называется
алгебра предикатных операций с базисом операций, образованным из
квантора существования xi  Ai (X) ( i  1, m ), отрицания X и дизъюнкции
X  Y всевозможных предикатных операций, и с базисом элементов,
42

образованным из предикатов узнавания предметов xia (i  1, m; a  U ) и


предикатных переменных X j ( X, Y  N ; i, k  1, m; j  1, n; a  Ai ). Т.о.,
несократимый базис кванторной алгебры состоит из операций дизъюнкции,

m
отрицания и m кванторов существования, из  ki предикатов узнавания
i 1

предмета, где ki – число предметов в множестве Ai (i  1, m) и из n


предикатных переменных.
Дизъюнктивно-конъюнктивная алгебра предикатов является
подалгеброй кванторной алгебры, поскольку в базисе последней имеются
дизъюнкция, конъюнкция (выражается посредствам операций дизъюнкции и
отрицания) и предикаты узнавания предмета, а также предикаты 0 (
0 X X  X X  X X ) и 1 (используем закон истинности для предикатов
узнавания предмета).
Утверждение 1. Фундаментальная и кванторная алгебры предикатных
операций равносильны.
Доказательство. Равносильность фундаментальной и кванторной алгебр
будет доказана, если удастся базисные элементы и операции
фундаментальной алгебры выразить через базисные элементы и операции
кванторной алгебры, и наоборот.
1) Выражаем базис фундаментальной алгебры через базис кванторной.
Базисными операциями в фундаментальной алгебре служат дизъюнкция и
конъюнкция. Дизъюнкция присутствуют уже в базисе кванторной алгебры.
Конъюнкция выражается через дизъюнкцию и отрицание:

X Y  X Y . (2.5)

Базисными элементами в ней являются элемент 0, предикаты узнавания


P
предмета xia и предиката X j . Предикаты узнавания предмета x ia в базисе
кванторной алгебры уже имеются. Осталось выразить элементы XP
j и 0. Это
43

можно сделать посредством зависимостей: 0 Xj Xj , где X j – предикатная


переменная, а операция конъюнкции выражена выше (2.5). В свою очередь
предикат узнавания предиката выражается с помощью постоянных
предикатов P и предикатных переменных X j , j  1, n :

P
X j  x1  A1 (x2  A2 ...(xm  Am ( X j ( x1 , x2 ,..., xm ) 
~ P ( x1 , x2 ,..., xm ))...); X ~ P  X P  XP.

Постоянные предикаты P выражабтся на языке дизъюнктивно-


конъюнктивной алгебры предикатов, которая, как было сказано выше,
является подалгеброй кванторной алгебры. Любой фиксированный предикат
Р выражается формулой дизъюнктивно-конъюнктивной алгебры предикатов
с помощью операций  и , примененных к предикатам узнавания предмета
xia (i  1, m; a  U ) . Весь базис фундаментальной алгебры выражен через
базис кванторной алгебры.
2) Выражаем базис кванторной алгебры через базис фундаментальной.
Операциями в несократимом базисе кванторной алгебры, как было сказано
выше, служат дизъюнкция, которая присутствует также и в базисе
фундаментальной алгебры, а также операция отрицания и квантор
существования. Операция отрицания в кванторной алгебре выражается
посредствам законов отрицания для предикатов узнавания предмета
xia   xib X P
  X Q
b Ai
ba
, (i  1, m) и узнавания предиката j
QB j
Q P
j
, j  1, n .

Квантор существования выражается через дизъюнкцию и подстановки по


формуле:
xi  Ai ( X)   xi a ( X) .
a Ai

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


Операции подстановки xi a , (i  1, m) перемещаются непосредственно на
44

предикаты 0 и xib (i  1, m, b  Ak ) , и на предикатные переменные X j ( j  1, n)

, а затем исключаются вовсе с помощью зависимостей:

xi a (0)  0;

xi a ( xkb )  xkb , если i  k ;


1, если b  a ;
xi a ( xib )  
0, если b  a ;

xi a ( X j )   P ( x1 , x2 ,..., a,..., xm ) X Pj ( x1 , x 2 ,..., xi ,..., x m ) .


PB j

Предикат 0 и предикаты узнавания предмета в базисе фундаментальной


алгебры уже есть. Предикат 1 получаем, используя законы истинности для
предикатов узнавания предмета и предикатов узнавания предиката.
Постоянные предикаты P выражаем на языке дизъюнктивно-
конъюнктивной алгебры предикатов, которая, является подалгеброй
фундаментальной алгебры. Предикаты узнавания предиката в
фундаментальной алгебре уже есть.
Элементами в несократимом базисе произвольной кванторной алгебры
служат предикаты xia (i  1, m) , которые присутствуют также и в базисе
фундаментальной алгебры, а также предикатные переменные X j ( j  1, n) .

Последние выражаются по формуле:

X j   P ( x1 , x2 ,..., xm ) X Pj ( x1 , x 2 ,..., x m )
P B j

через дизъюнкцию, конъюнкцию, предикаты узнавания предиката и


постоянные предикаты. Дизъюнкция, конъюнкция, предикаты узнавания
предиката в фундаментальной алгебре имеются, постоянные же предикаты на
языке фундаментальной алгебры, как уже упоминалось, выражаются. Весь
базис кванторной алгебры выражен через базис фундаментальной алгебры.
Итак, фундаментальная и кванторная алгебры равносильны. Теорема
доказана.
45

Из вышедоказанного утверждения и теоремы о полноте


фундаментальной алгебры [101] следует утверждение о полноте кванторной
алгебры: кванторная алгебра полна при любых U , m и n .

2.2. Построение системы основных законов кванторной алгебры

Формулами кванторной алгебры служат кванторные выражения.


Кванторными выражениями называются логические формулы,
представляющие собой суперпозиции булевых операций кванторов,
примененные к предметным и предикатным переменным. Кванторное
выражение называется замкнутым, если в нем при каждой предметной
переменной действует какой-нибудь квантор: xP (x ); x  AP (x );

P  MF (P ) и т.п., F (P ) – это некоторая операция от предиката P . Все это

– замкнутые кванторные выражения – предикаты второго порядка.


Выражение xP ( x, y ) – не замкнутое. Незамкнутые кванторные выражения –
это предикатные операции более общего вида. Кванторные выражения
используются в двух ролях: для записи предикатных операций и для записи
отношений второго порядка. Во второй роли они используются в
классической математике для записи ее утверждений. В первой роли – в
информатике для преобразования отношений первого порядка. Кванторные
выражения в числовой математике используются как логический
инструментарий математики. Лишь логическая математика поставила вопрос
о предании им статуса операций некой алгебры, а именно – алгебры
предикатных операций, сделала их предметом специального изучения.
Кванторные выражение – это стенографическая запись формул прикладной
алгебры. При полном переводе получаются весьма длинные формулы. Так,
например, свойство транзитивности предиката на языке кванторной алгебры
имеет вид
x, y , z  M ( P( x, y )  P( y , z )  P ( x, z )).
46

На языке же прикладной алгебры это свойство имеет вид

 ( x / a y / bP( x, y )  x / b y / cP ( x, y )  x / a y / cP ( x, y )
a , b , cM .

С первого взгляда кажется, что операция транзитивности берется от разных


предикатов ( P( x, y ), P ( y , z ), P( x, z )) . Но это неверно, в данном случае имеем
дело с одним и тем же предикатом P ( x, y ) .

Наряду с наличием полного базиса кванторной алгебры, нет полной


системы законов данной алгебры. Законы однозначно определяют алгебру,
если их набор полон, можно образовать все ее свойства. В кванторной
алгебре легче разрабатывать вопрос о полноте законов, так как в ней
отсутствует операция подстановки. Тождеств в кванторной алгебре очень
много. Здесь вопрос лишь в том, чтобы отобрать в полную систему законов
законы из числа уже известных. Ниже приводятся известные законы
кванторной алгебры, которые являются базой для поиска полной системы
законов кванторной алгебры [122, 123].
 Законы исключения и введения кванторов

yP( x )  P ( x ), yP ( x )  P ( x ) .

Эти равенства справедливы для любого предиката P . Квантор можно


опускать, если предикат, на который он действует, не зависит от переменной,
по которой берется этот квантор. И обратно – в этом случае квантор можно
вводить.
 Законы переброски кванторов:

y ( P ( x )Q( y ))  P( x)yQ( y ); y ( P ( x )  Q( y ))  P ( x)  yQ( y );

y ( P ( x )Q ( y ))  P ( x )yQ( y ); y ( P ( x )  Q ( y ))  P ( x )  yQ( y ).
47

Это – обобщение законов исключения и введения кванторов. Квантор по


переменной y можно перебрасывать через любой предикат, не зависящий от
переменной y .
 Законы замены связанной переменной

xP( x)  yP( y ), xP( x )  yP( y ) .

Связанную квантором переменную можно менять на любую другую, но


только в тех случаях, когда это не приводит к коллизии (столкновению,
конфликту) предметных переменных. Например, неверно, что
xyP ( x, y )  xxP( x, x ) . Нельзя связанную переменную заменять на
такую другую, которая уже имеется в том же кванторном выражении. Но
можно заменить предметную переменную y в той же формуле на
переменную z, так как она не встречается в этой формуле:
xyP ( x, y )  xzP ( x, z ) . Это равенство верно для любых предикатов P .
Заменяя переменную, можно действовать так, как будто других переменных
в формуле нет. В данном случае игнорируется наличие в формуле
переменной x и ее положение в формуле сохраняется неизменным при
замене y на z .
 Частные законы дистрибутивности для кванторов:

xP( x )  xQ( x)  x( P ( x)  Q ( x)),

xP( x )  xQ( x )  x( P ( x)  Q ( x )). (2.6)

Эти равенства верны для любых предикатов P и Q. Это – дистрибутивные


свойства кванторов, регулирующие раскрытие скобок и вынос кванторов за
скобки. x  ( x1 , x2 ,..., xm ) – под символом x можно понимать также и целый
набор переменных. После раскрытия скобок первое условие становится более
сильным, а второе – более слабым. Поэтому имеют место такие следования:
48

xP ( x)  xQ ( x)  x ( P ( x)  Q ( x)),

xP( x)  xQ( x)  x( P( x)  Q ( x )).

Обратные следования неверны:

xP ( x)  xQ ( x)   x( P ( x)  Q ( x)),

xP( x)  xQ( x)  x( P( x)  Q( x)).

Знак  означает логическую неравносильность двух высказываний


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

P  UQ  U ((x  UP ( x)  xQ( x))  x( P ( x)  Q( x))) .

Все эти тождества можно записать и для многоместных предикатов, тогда


x  ( x1 , x2 ,..., xm ) , а вместо U будет U m .

 Общие законы дистрибутивности для кванторов.


Можно так скорректировать частные законы дистрибутивности, приведенные
выше, несколько усложнив их, что они будут выполняться в любой
комбинации знаков , ; , ; , ; , :

xP ( x)  xQ( x)  x( P ( x)  yQ( y ))  xy ( P ( x)  Q ( y ));


49

xP( x)  xQ( x)  x( P ( x )  yQ( y ))  xy ( P ( x)  Q ( y )).

В итоге получаем следующие обобщенные законы дистрибутивности


(выноса кванторов за скобки):
xP( x)  xQ( x)  xy ( P ( x)  Q ( y ));

xP( x)  xQ( x )  xy ( P ( x )  Q ( y )).

Эти законы верны и при прежних комбинациях знаков:


xP( x)  xQ( x )  xy ( P ( x )  Q ( y ));

xP( x)  xQ( x)  xy ( P ( x)  Q( y )).

Однако, как правило, при комбинациях знаков ,  и ,  переходят на


частные дистрибутивные законы, так что последние два закона используются
редко (например, когда надо приводить кванторные выражения к
стандартной форме, так называемой пренексной стандартной форме
Сколема). При переводе этих законов необходимо использовать законы
замены связанной переменной и законы переброски кванторов, которые были
приведены выше. Теперь оба квантора  и  можно выносить за скобки, как
при операции дизъюнкции, так и конъюнкции, но это достигается за счет
усложнения формулы (вместо одного квантора появляется два, а вместо
одной переменной – две переменные).
 Коммутативные законы для кванторов:

xyP ( x, y )  yxP ( x, y ), xyP ( x, y )  yxP ( x, y ).

Однако, необходимо отметить, что в коммутативные законы


справедливы только для одноименных кванторов. Разноименные кванторы
менять местами нельзя. Т.е. выражение xyP ( x, y )  yxP ( x, y ) неверно.
50

Тем не менее, в данном выражении левое условие сильнее правого, поэтому


имеет место следование xyP( x, y )  yxP( x, y ) . Обратное следование,
вообще говоря, неверно.
 Законы замены кванторов:

xP ( x)  x P ( x) ;

x, yP ( x, y )  y xP( x, y ) ;

x, yP( x, y )  xyP ( x, y ) .

Последние два правила непосредственно следуют из первого правила замены


кванторов и коммутативных законов для кванторов. Для краткости вместо
xy пишут x, y .

 Кванторные законы де Моргана:

xP ( x )  x P ( x ) ; (2.7)

xP ( x )  x P ( x ) . (2.8)

При переброске отрицания через знак квантора он заменяется на


противоположный. С помощью этих законов и закона двойного отрицания
получают зависимости, выражающие один квантор через другой

xP ( x )  x P ( x ) ; xP( x)  x P ( x) .

Именно, используя эти зависимости, можно объяснить полноту


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

отрицания для предиката узнавания предмета xia =bU
b а
хib , i  1, m .

Кванторная алгебра – алгебра для записи операций над предикатами.


51

Учитывая, что P ( x )  P * ( x ) , и используя кванторные законы де Моргана


(2.7),(2.8), имеют место равенства:

xP( x )  xP ( x )  xP* ( x ) ;

xP ( x )  xP ( x )  xP* ( x ) .

Это только наиболее известные законы. Подобных тождеств –


необозримое множество. Актуальная задача – разобраться в тождествах
кванторной алгебры; найти полные и несократимые системы законов,
удобные для человека и машины; разработать способы тождественного
преобразования формул; найти стандартные формы предикатных операций.
Дизъюнкция и отрицание определяются законами булевой алгебры.
Предикаты узнавания предмета определяются законами отрицания,
истинности и ложности для предикатов узнавания предмета. Нерешен вопрос
о том, будет ли такая система тождеств кванторной алгебры полной. Это
надо проверять и исследовать.

2.3. Взятие кванторов общности и существования по пустой области


в терминах кванторной алгебры

Пусть K  M  N – произвольное бинарное отношение, а K  x, y  ,

заданный на M N, – соответствующий ему предикат (или


характеристический предикат. Индексирование fk : M  2N допускает
различные естественные продолжения до отображения из 2 M в 2 N . Такое
отображение есть определение образа совокупности предметов, т.е.
определение образа множества. В математической литературе часто
встречаются два отображения вида f k : 2 M  2 N , описание которых приведено
ниже.
52

Пусть А – произвольное подмножество множества М. В качестве образа


В множества А относительно К можно взять либо объединение образов тех
элементов, которые составляют А, либо их пересечение:

B   Sa , (2.9)
a A

B   Sa , (2.10)
a A

причем В, очевидно, будет подмножеством множества N. Выражения (2.9) и


(2.10) в терминах кванторной алгебры приведены ниже. В случае
объединения образов имеем
B  y    S a  y    x / aK  x, y   x  AK  x, y  . (2.11)
a A a A

Обозначим отображение (2.11) через F : 2M  2 N . Это отображение


представляет собой общий вид линейно-логического оператора (ЛЛО), в
случае объединения образов. В общем же случае ЛЛО F : ( M )  2 N имеет
вид:
B  y   x A x   K  x, y   .

Свойства ЛЛО F : ( M )  2 N :

1) F  A1  A2   F  A1   F  A2  или F  A1  A2   F  A1   F  A2  ;
2) F  0  0 или ( F     0 , A1 , A2  M ).

Аналогично выражение (2.9) перепишется в виде

B y    S a  y    x / aK  x, y   x  AK  x, y  . (2.12)
a A a A

Данное отображение обозначим через G : 2M  2 N . Оно является отображением

Галуа, в случае, если B   Sa . Общий вид отображения Галуа G : ( M )  2 N


a A


B y   x A x   K  x, y  . 
53

Свойства отображения Галуа G : ( M )  2 N :

1) G  A1  A2   G  A1   G  A2  или ( G  A1  A2   G  A1   G  A2  );
2) G  0  1 или ( G     N , A1 , A2  M ).
Отображения F и G, порождаемые отношением K  M  N , преобразуют
подмножество A  M в подмножество B  N . Описание этих отображений на
языке кванторной алгебры, т.е. в виде (2.11), (2.12), однозначно
предписывает алгоритм вычисления образов. Однако возникают технические
трудности, когда при помощи выражений (2.11), (2.12) необходимо
определить образ пустого множества. Это связано с тем фактом, что образ
множества определяется через образы входящих в него элементов. Исходные
определения, как видно, имеют тот же недостаток. Для ответа на
поставленный вопрос можно обратиться к отличной от (2.9), (2.10)
теоретико-множественной записи отображений F и G. Так, согласно [123],
отображение F : 2M  2 N имеет вид

B   y  N  x, y   K для некоторого x  A . (2.13)

Отображение G : 2M  2 N , выглядит следующим образом

B   y  N  x, y   K для всех x  A . (2.14)

Представление отображений F и G в виде (2.13) и (2.14) можно


рассматривать как задание множества В признаком (высказыванием).
Задание множества признаками является мощным инструментом теории
множеств, позволяющим определить множество по задающему его свойству.
Так в выражениях (2.13) и (2.14) таким свойством является выражение в
фигурных скобках, стоящее справа от вертикальной черты. Множества
можно определять свойствами благодаря специальной аксиоме, иногда
называемой принципом свертывания [122, 123].
54

Поскольку  x, y   K  K  x, y  , то выражения (2.11) и (2.13) практически


совпадают и задают одно и то же множество В. То же самое можно сказать и
о выражениях (2.12) и (2.14). Поэтому решение проблемы: определить чему
равняются F   и G  , – как видим, нисколько не облегчается, если
воспользоваться выражениями (2.13) и (2.14). В различных математических
источниках, где отображения F и G используются в качестве инструмента
описания или исследования, данный вопрос не затрагивается.
Попытаемся на основании выражений (2.13) и (2.14) определить чему
равно множество В, если A   . Попробуем рассмотреть признак, которым
задается множество В в этих выражениях. На первый взгляд кажется, что и в
(2.13), и в (2.14) B   , поскольку в обоих случаях условие (признак) кажется
противоречивым, а значит такому условию не удовлетворяет ни один объект.
С другой стороны можно прийти к выводу о том, что как в (2.13) так и в
(2.14), B  N , если A   . Рассмотрим, например, выражение (2.13). Пусть
A   a1 , a2 ,  , ak  . Тогда выражении (2.13) можно переписать в виде

B   y  N  a1 , y   K или  a2 , y   K , или …, или  ak , y   K  .

Логично предположить, что при A   само это условие выродится, т.е.


будет пустым. Пустое условие естественно трактовать как отсутствие каких-
либо ограничений на объект. Таким образом, если A   , то выражение
(2.13) можно представить в следующем виде

B  yN    y N y – любой объект  =  y  N   N .

Рассуждая аналогично, к такому же выводу можно прийти и для выражения


(2.14). Как можно заметить, делая выводы на основании одной лишь
интуиции, можно прийти к противоположным выводам. Поэтому
наибольшая ценность приведенных выше рассуждений относительно образа
пустого множества состоит в том, что выявилось два типа противоположных
55

друг другу условий при задании множества признаком. Во-первых, это


противоречивое условие, которому не удовлетворяет ни один объект.
Множество, заданное таким условием, будет пусто. Во-вторых, это пустое
или вырожденное условие, которому удовлетворяет любой объект.
Множество, заданное таким условием, будет либо ограничено некоторым
условием по умолчанию – в рассмотренном случае таким условием было «
yN », – либо совпадать со всем универсумом рассматриваемой задачи.
Попытаемся найти четкий ответ на поставленный вопрос, действуя иначе.
Кванторную алгебру можно рассматривать как формальную систему (или
теорию), которая является алгебраизированной версией исчисления
предикатов. В связи с этим, можно воспользоваться аксиомами этой
формальной системы (т.е. тождествами кванторной алгебры). Приведем ее
выражения (2.11) и (2.12) к такому виду, который позволит дать однозначный
ответ на поставленный вопрос. Если условия в выражениях (2.13) и (2.14)
преобразовывали, полагаясь на интуицию и «здравый смысл», то действуя
описанным образом, для решения проблемы используется формализованный
аппарат кванторной алгебры.
Преобразуем выражение (2.11) с учетом xi a ( X )  xi  Ai ( xia  X )


x  AK  x, y    x / aK  x, y    x  M x a  K  x, y 
a A a A
  .

Для выполнения следующего преобразования воспользуемся законом


дистрибутивности для квантора существования (2.6). Применяя данный
закон, а также тождества дизъюнктивно-конъюнктивной алгебры предикатов,
продолжаем преобразовывать выражение (2,11)

  
 x  M x a  K  x , y   x  M  x a  K  x , y  
aA aA
 
 x  M    x a   K  x, y    x  M  A x   K  x , y   .
  a A  
56

Т.о., отображение можно представить в виде

B y   x  M  A x   K  x, y   . (2.15)
Для преобразования выражения (2.12) понадобятся все
вышеперечисленные тождества, а также законы де Моргана (законы
отрицания) для кванторов (2.7), (2.8)

x  AK  x, y   x  AK  x, y   x  A K  x, y  
 
  x / a K  x , y    x  M x a  K  x , y  
a A a A

a A
 
 x  M  x a  K  x, y   x  M    x a   K  x, y   
  a A  

   
 x  M A x   K  x, y   x  M A x   K  x, y   x  M A x   K  x, y  .  

Тогда выражение G : 2M  2 N можно представить в виде


B y   x  M A x   K  x, y  .  (2.16)

Возвращаясь к вопросу: чему равны F   и G  , – видим, что в


выражениях (2.15) и (2.16) содержится ясный ответ, т.к. эти выражения
позволяют подставить характеристический предикат A( x ) любого
подмножества A  M . При A   A( x )  0 . Подставляя в (2.16) вместо A( x)

ноль, и учитывая xi / a 0  0 , получим

B  y   x  M  0  K  x , y    x  M  0    x / a  0   0 .
aM

Т.о. F    0 при любом K  M  N . Подставляя A( x )  0 в (2.16), получим

 
B y   x  M 0  K  x, y   x  M 1  K  x, y    x  M 1   x / a1  1 .
aM
57

Последнее равенство получено с учетом xi / a1  1 . Т.к. B y   1 при любом


yN , то B  N . Т.о. G   N при любом K  M  N .
Итак, на поставленный вопрос получен однозначный ответ. Однако
ответ был получен на основании чисто формальных преобразований. Трудно
осознать, почему были получены именно такие результаты. Почему, согласно
выражению (2.13), пустому множеству соответствует пустое множество, а,
согласно (2.14), пустому множеству соответствует все множество N, если эти
выражения столь похожи. В связи с этим, данные результаты требуют
отдельного осмысления и истолкования.

2.4. Перспективы развития и исследования кванторной алгебры


предикатных операций

В классической математике широко используется инструментарий


кванторных выражений. Используются переменные – предметные,
предикатные, более высокого порядка кванторные ступени, подстановки,
замены переменных, перестановки. Применение кванторов в естественном
языке и в проектировании информационных объектов – изучено очень слабо.
Сегодня нет ясности, какая алгебраическая система лежит в основе
комплекса логических средств математика. Из базиса кванторной алгебры
можно исключить подстановки, но рудимент все же остается в виде
предикатов узнавания предмета x a  D  x, a  . Сегодня не известно ни одной
алгебры предикатных операций (даже алгебры предикатов), в которой можно
было бы полностью исключить подстановку из базиса. Замену переменных и
перестановку, выполняемые под знаком квантора, можно выразить через
подстановку [99]. Математики пользуются кванторами, подстановками,
перестановками, заменами переменных, предикатными переменными,
равенством, получается мощная алгебраическая конструкция, явно
избыточная как алгебра предикатных операций.
58

Аксиоматическое построение кванторной алгебры – это одно из


важнейших направлений дальнейшего развития в математике интеллекта (т.е.
в теории интеллекта). Неизвестна полная система тождеств. Перед
кванторной алгеброй стоят те же проблемы, что и перед прикладной
алгеброй. Нет хороших стандартных форм (известны предваренная
нормальная форма Сколема, пренексные формы). Если бы существовали
удобные (и единственные для каждой предикатной операции) стандартные
формы, и способы приведения к ним любых кванторных выражений, то
необходимость в доказательствах отпала бы. Обычно теоремы
формулируются как следование, которое легко устанавливается, т.к. посылка
в виде стандартной формы будет просто частью стандартной формы
следствия. Пренексные формы для этого не годятся, т.к. нет единственности
представления предикатной операции, они имеются только для замкнутых
кванторных выражений. Для доказательства теоремы достаточно было бы
лишь записать теорему в виде формулы A, записать конъюнкцию аксиом
формулы A, составить импликацию AB и привести ее к стандартной форме;
если выйдет 1, то теорема верна, а если получится что-то другое, то не верна.
В кванторной алгебре кванторы выражаются через подстановки, т.е.
кванторная алгебра в этом виде фактически представляет собой
консервативное расширение прикладной алгебры. Как консервативное
расширение прикладной алгебры кванторная алгебра полна и несократима.
Если кванторы вводятся как базисные операции, то необходимо выяснить,
что можно исключить из базиса прикладной алгебры. Если ничего не
исключать, то кванторная алгебра будет просто консервативным
расширением прикладной алгебры, если что-то исключить, то получится
какая-то новая алгебра. Тогда можно ее исследовать на полноту и
несократимость.
К решению логических уравнений (в том числе и кванторных) сводится
задача формирования машиной ответов на запросы. Запрос – это требование
59

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


удовлетворяющее определенным условиям. Если надо указать значение в
ячейке таблицы, то это можно сделать путем решения уравнения с
предметными переменными. Если надо получить таблицу, то приходится
решать логические уравнения относительно предикатных переменных. Ответ
на запрос получается в результате решения кванторного уравнения.
Некоторые результаты в этой области уже получены [124]. Общее решение
простейшего предикатного уравнения x / aP ( x )  1 имеет вид: P( x)  x a  C ( x ) .

C (x ) – произвольный предикат на этой же области, что и P (x ) . Уравнение


сложнее – x  AP( x)  1 – имеет решение: P( x )  A( x )  C ( x) . Еще сложнее:
три уравнения – рефлексивность, симметричность, транзитивность. Общее
решение известно:

E ( x, y )  u  A( F ( x, u ) ~ F ( y, u )) , ( x, y  A) .

F – произвольный предикат на A  A (так же как и E ). Регулярный метод


решения подобных систем логических уравнений неизвестен. Могут быть
уравнения третьей ступени, которые надо решать относительно переменных
предикатных операций.
Любой вопрос – это требование найти решение некоторого логического
уравнения или системы логических уравнений (обычно кванторных).
Решение кванторных уравнений необходимо для того, чтобы машина могла
давать ответы на вопросы. Естественный язык пользуется уравнениями,
которые решаются просто и единственным образом. Примером такого
уравнения есть декартово произведение P( x, y )  A( x )  B ( y )  A( x )  B ( y ) . По
известному P ( x, y ) находим A и B : A( x)  yP( x, y ) ; B( y )  xP ( x, y ) . Язык
использует и более общие уравнения этого же типа – квазидекартовые
уравнения, например: P ( x, y, z )  A( x, y )  B ( y, z ) . Его решение:
A( x, y )  zP ( x, y , z ) ; B ( y , z )  xP ( x, y , z ) .
60

При связи моделей происходит ни что иное, как связь компонентов


моделей кванторами. Включение – пример связи между моделями (то есть
отношения, связывающего их). M  N,P :

 ( x, y )  M  N : P ( x, y )  1 – отношение, связывающее M , N и P .

 x  MP Mx,yN  QN y  – операция, преобразующая модель


M  N , P ( x, y ) в модель N , Q( y ) .

 y  N (x  MP x, y   Q y  )  1 – отношение, связывающее модели


M  N , P ( x, y ) и N , Q( y ) .

Разные кванторы в совокупности действуют на все предметные переменные.


Это все – отношения на множестве моделей. Огромное количество условий
представляют собой отношения на наборах множества моделей. Включение
моделей тоже можно записать формально. Замкнутые кванторные формулы –
это отношения над предикатами, незамкнутые – операции. Пример связи
моделей на примере Евклидовой геометрии: M  N, P , M – множество
точек, N – множество прямых, P  x, y  – точка x лежит на прямой y . Связь
трех моделей представима в виде

M , A( x ) , N , B ( y ) , M  N , F ( x, y ) : y  N (x  M F  x, y  , A x   B  y  )
M N M N
.

Имеется еще одна проблема, которая пока до конца не решена, но ее


чрезвычайно важно решить. Алгебры предикатных операций – это «второй
этаж» абстракции («первый этаж» – алгебра предикатов), и строить эту
иерархию можно до бесконечности. Целесообразно было бы иметь не
бесконечную систему алгебр, а одну – единственную алгебру, т.н.
универсальную алгебру предикатов, которая бы заменила эту бесконечную
иерархию алгебр. Впервые эту идею высказал Гильберт в начале 20-х годов
XX столетия. Предполагается, что этот вопрос можно решить с помощью т.н.
редукции: P( x)  x  P  ( x, P ) . После того, как алгебра предикатных
61

операций введена и для каждой предикатной переменной введена своя


область (введение таких областей – это тоже проблема, нуждающаяся в
разработке, этот вопрос еще менее проработан, чем в алгебре предикатов),
можно на формулу алгебры предикатных операций посмотреть как на
формулу алгебры предикатов. Предикатные переменные рассматриваются
просто как предметные переменные на некоторой области. Никаких
переменных предикатов теперь нет. Дело осложняется тем, что теперь на
области определены булевы операции. Предикат P ( x) понимается теперь
как постоянный бинарный предикат x  P от двух предметных переменных
x и P на своих областях определения. Знак  теперь есть имя предиката
 ( x, P )  x  P . Специальные уравнения алгебры предикатов задают области
определения отдельных переменных (в том число и бывших предикатных
переменных). Если надо подставить значение вместо какой-то переменной,
это делается с помощью подстановочной операции над предикатами, которая
является операцией алгебры предикатов. Операции алгебры теперь
распространятся и на предметные переменные, которые теперь понимаются
как одноэлементные множества. Идеология такая же, как и в теории
множеств. Все начинается с множеств, а предметы относятся к категории
праэлементов. Праэлемент – это бесструктурные элементы. Теория
множеств, похоже, реализует такую ступенчатую универсальную логическую
алгебру. Так что логический универсальный аппарат можно попытаться
извлечь из учения о множествах путем его формализации и алгебраизации.
Теория множеств становится, таким образом, источником для развития
логического аппарата. Итак, получается предикат на области. Когда же
записывается уравнение P ( x1 , x2 ,..., xm )  1 и x1  M 1 , x2  M 2 ,..., xm  M m ) , то
получается просто многоместное отношение – и ничего более. В
дизъюнктивно-конъюнктивной алгебре области для переменных вводить не
обязательно, т.к. там ограничение областей для переменных получается
автоматически самими формулами предикатов. Но если необходимо
62

использовать еще и отрицание, то приходится ограничивать области


изменения переменных, т.к. формулы теряют смысл: непонятно теперь, что
значит P. Ни одна из существующих алгебр предикатных операций не
обходится без равенства и подстановки. Правда, достаточно их соединить в
предикате узнавания предмета x a  y / aD x, y  . В редуцированной
(одноэтажной) алгебре над некоторыми из предметных переменных можно
производить булевы операции (дизъюнкции, конъюнкции и отрицания). Но
над некоторыми иными переменными алгебры (теми, которые с самого
начала были предметными переменными) булевы операции нельзя
производить. Но как только углубляется структура, предметные (первичные)
переменные превращаются в булевы и над ними после этого можно
производить булевы операции. Получается, что можно вообще обойтись без
предметных переменных – теория множеств в этом отношении оказалась
права (с ее учением о праэлементах).

2.5. Выводы по разделу

Из проведенных исследований вытекают следующие выводы.


1. Разработана кванторная алгебра предикатных операций с
несократимым базисом, состоящим из операций дизъюнкции, отрицания и m

m
кванторов существования, из  ki предикатов узнавания предмета, где ki –
i 1

число предметов в множестве Ai (i  1, m) и из n предикатных переменных.


Это позволило расширить теорию алгебрологического аппарата и пополнить
семейство алгебр предикатов и предикатных операций алгеброй удобной в
плане практического применения и, в базисе которой отсутствует операция
подстановки. Отсутствие операции подстановки в базисе позволяет решить
вопрос о полной системе тождеств, необходимой для установления
тождественности нескольких формул данной алгебры.
63

2. Сформулировано и доказано утверждение о равносильности


кванторной и фундаментальной алгебр предикатных операций, из которой
непосредственной следует, что кванторная алгебра полна. А это в свою
очередь означает, что с помощью формул кванторной алгебры можно
аналитически описать какой угодно предикат, а значит и какое угодно
отношение произвольного типа.
3. Определена система основных тождеств для кванторной алгебры.
Однако вопрос о полной системе тождеств, которая позволяет дать ответ на
вопрос: выражают ли две взятые формулы одну и ту же предикатную
операцию, – пока остается открытым.
4. Решен вопрос взятия кванторов общности и существования по пустой
области в терминах кванторной алгебры, что позволило применить алгоритм
вычисления образа множества к пустому множеству.
Основные результаты раздела опубликованы в работах [125] и [126].