CC BY
91
УДК 519.7
О ЛИНГВИСТИЧЕСКОЙ АЛГЕБРЕ
БАТАЛИНА.В., ДУДАРЬ З.В, СТОРОЖЕНКО А.В., ШАБАНОВ-КУШНАРЕНКО Ю.П.
Предпринимается попытка идентифицировать некоторые механизмы естественного языка в виде математической структуры, названной лингвистической алгеброй. В ней имеются два яруса — семантический и синтаксический. Первый ярус представляется одним из вариантов алгебры предикатов, второй — алгебры предикатных операций. Рассматривается метод экспериментальной проверки алгебро-логических моделей языка. Разрабатывается способ формульной записи смысла словосочетаний и предложений естественного языка.
1. Введение
Естественный язык представляет собой сложный объект. Чтобы преуспеть в математическом анализе механизма языка, необходим правильный подход к его изучению. В данной статье в качестве такового используется гипотеза, гласящая, что естественный язык — это какая-то алгебра. Последняя называется лингвистической алгеброй. Ставится задача: как можно конкретнее и детальнее описать механизм лингвистической алгебры.
Охарактеризуем общее понятие алгебры, которое затем будет использовано в качестве инструмента математического описания механизма естественного языка. Алгеброй А над А называется любая система формульной записи элементов какого-нибудь множества А. Множество А называется носителем алгебры А. Любая алгебра А над А характеризуется своими базисными операциями, используемыми в роли преобразователей ее элементов, и базисными элементами, выбираемыми из ее носителя А. Множество всех базисных операций алгебры А называется ее базисом операций, множество всех базисных элементов -базисом элементов алгебры А. Базис операций и базис элементов, взятые вместе, образуют базис алгебры А.
Формулой алгебры называется любая запись, которая выражает какую-нибудь суперпозицию базисных операций этой алгебры, примененную к ее базисным элементам. Каждая формула алгебры выражает некоторый элемент ее носителя и в этой роли может использоваться как его имя. Алгебра А называется полной, если каждый элемент ее носителя можно выразить в виде какой-нибудь формулы алгебры А. Базис алгебры называется полным, если эта алгебра полна. Он называется несократимым, если исключение любой операции или элемента из базиса делает его неполным. Любые две формулы алгебры, выражающие один и тот же элемент ее носителя, называются тождественными. Тождеством алгебры А называется любая запись, указывающая какую-нибудь пару тождественных формул алгебры А. Если алгебры А и В заданы над одним и тем же носителем А, то в этом случае допустимо говорить о тождественных формулах различных алгебр. Система тождеств алгебры А называется полной, если из нее можно вывести факт тождественности или нетождественности любых двух формул алгебры А. Система тождеств алгебры называется несократимой, если ни одно из ее тождеств невозможно логически вывести из совокупности
остальных. Схемой тождеств алгебры называется любая запись, указывающая какое-нибудь семейство тождеств этой алгебры.
Из гипотезы о том, что естественный язык есть алгебра, можно вывести много разнообразных следствий, которые допускают опытную проверку. Так, каждое предложение и образуемый из предложений текст выражают некоторую мысль, поэтому мысли следует рассматривать как элементы носителя лингвистической алгебры, а соответствующие им предложения (тексты) — как описывающие их формулы. Предложения и тексты должны строиться тем же способом, который используется при образовании формул. Предложения, выражающие одну и ту же мысль, необходимо рассматривать как тождественные формулы лингвистической алгебры.
Мысли интернациональны, каждую из них можно выразить на любом языке. Разные языки (например, русский и английский) необходимо рассматривать как различные лингвистические алгебры, заданные над одним и тем же носителем — множеством всевозможных мыслей, которыми способны оперировать люди. Предложения разных языков, выражающие одну и ту же мысль, — это тождественные формулы. Перевод текстов с одного языка на другой следует считать переходом от формул одной лингвистической алгебры к тождественным им формулам другой, заданной над тем же носителем. В роли носителя любой лингвистической алгебры выступает множество всех мыслей, которыми способны оперировать люди.
Проверяя в лингвистическом эксперименте следствия, выводимые из этой гипотезы и других допущений, формулируемых ниже, можно подтвердить или опровергнуть исходные положения (аксиомы) создаваемой таким способом теории естественного языка. Если удастся получить большое число разнообразных следствий из аксиом и при этом окажется, что ни одно из них не противоречит фактам языка и речи, то это обстоятельство можно будет расценить как подтверждение развиваемой теории. Если же некоторые из формулируемых гипотез не выдержат испытания или подтвердятся лишь частично, то ничто не помешает заменить их более совершенными, опираясь на полученные отрицательные результаты.
2. Мысли как предикаты
Важно ответить на вопрос: какова структура элементов носителя лингвистической алгебры? Иными словами, какова математическая природа мыслей, выражаемых предложениями и текстами, т.е. что представляет собой смысл (иначе — содержание) любого предложения (текста) естественного языка? На этот счет будем придерживаться следующей гипотезы: мысли — это предикаты. Если это так, тогда лингвистическую алгебру следует рассматривать как алгебру предикатов. Эта гипотеза мотивирована тем, что в математике все мысли (идеи и понятия) выражаются предикатами. Если же естественный язык — тоже математический объект (а мы предположили, что он есть алгебра), то и здесь следует ожидать того же.
Для дальнейшего изложения потре буется понятие предиката. Предикатом размерности т, определенным на множестве U, называется любая функция Р(х1, х2,..., хт)=§, отображающая множество Um в множество Е={0, 1}. Множество всех предикатов Р.итЖЕ, будем обозначать символом P. Значения
РИ, 1998, № 4
101
независимых переменных хі (i= 1, m) предиката Р
называются предметами, а сами переменные — предметными. Множество U называется универсумом предметов, множество Um — предметным пространством размерности т. Множество V={xi, х2,..., xm} называется универсумом предметных переменных. Множества U и V можно выбрать произвольно. Элементы множества Е называются логическими. Элемент 0 называется ложью, элемент 1 — истиной. Зависимая переменная § предиката Р называется истинностной, а ее значения — истинностными. Алгеброй предикатов над Р называется любая алгебра, носителем которой служит множество Р всех предикатов, определенных на универсуме предметов U.
Чтобы убедиться в том, что содержанием любого предложения действительно служит некоторый предикат, достаточно задаться вопросом, что представляет собой содержание какой-нибудь формулы. Ответ очевиден: содержанием формулы является функция, которую она выражает. Но если предложение есть формула, то его содержанием тоже должна быть какая-то функция. Какая же? Для ответа на этот вопрос заметим, что если предложение используется для характеристики какой-то вполне определенной ситуации (а предложения только для этого и нужны), то оно станет либо истинным, либо ложным. Если же предложение рассматривать вне связи с какой бы то ни было ситуацией, тогда вопрос о его истинности или ложности не возникает. Точно так же, пока в формулу не подставлены значения ее аргументов, нет повода спрашивать, каково конкретное значение функции, выраженной этой формулой. Истинностное значение каждого предложения (т.е. его истинность или ложность) однозначно определяется ситуацией, к которой оно отнесено. Аналогично, значение любой формулы однозначно определяется набором значений всех входящих в нее аргументов.
Таким образом, каждое предложение выражает некоторую функцию с двоичными значениями, иначе говоря, задает какой-то предикат P(x)=§. Независимой переменной x этой функции служит переменная ситуация, зависимой — истинностная переменная §. После подстановки вместо переменной x конкретной постоянной ситуации х=а заданное предложение становится истинным (§=1) или ложным (§=0) в зависимости от того, соответствует или нет содержание этого предложения ситуации а, к которой оно отнесено. А что такое переменная ситуация х? Она должна представлять собой, в соответствии с приведенным выше определением понятия предиката, набор х=(х1, х2,..., хт) предметных переменных х1, х2,..., хт. Любая постоянная ситуация х=а должна быть набором а=(а1, а2,..., ат) каких-то предметов
х1 а1, х2 а2і...і хт ат.
Итак, каждое предложение должно выражать некоторый предикат Р(х1, х2,..., хт)=§, представляющий зависимость истинностной переменной § от предметных переменных х1, х2,..., хт.. Однако, если обратиться к конкретным предложениям естественного языка (например, русского), то никаких предметных переменных в них обнаружить не удается. Объясняется это тем, что предложение естественного языка, в отличие от математической формулы, выражает не всю функцию Р(х1, х2,..., хт), а только ее имя Р. Каждый раз человек, преобразуя то или иное
предложение в соответствующую ему мысль, достраивает его до предиката, добавляя к нему (как к имени предиката) недостающие предметные переменные. Только после этого предложение становится доступным для понимания. И наоборот, преобразуя некоторую мысль в предложение, человек исключает из нее предметные переменные, передавая другим людям не саму мысль, а только ее имя.
Покажем, как можно дополнить предложение предметными переменными. Пусть дано какое-нибудь предложение, например:
“На столе лежит книга”. (а)
Определяем число предметов, о которых идет речь в предложении (а). Очевидно, что таких предметов — два, один из них характеризуется словом “стол”, а другой — словом “книга”. Из множества Vвыбираем какие-нибудь две предметные переменные, например х1 и х2, и вводим их в предложение (а) после указанных слов. В результате получаем следующее утверждение:
“На столе х1 лежит книга х2”. (б)
Оно выражает теперь не только имя предиката, как исходное предложение (а), но и сам предикат с аргументами х1 и х2. Используя предложение (а) как имя полученного предиката, последний можем записать в виде:
На столе лежит книга(х1, х2). (в)
Предложение, дополненное предметными переменными, будем называть высказыванием. Именно так в математической логике называется любое утверждение, выражающее какой-либо предикат. В нашем примере в роли высказывания используется запись (б). Предложение, выполняющее роль имени предиката и входящее в его состав, будем записывать жирным шрифтом, чтобы отличить его от исходного предложения, которое записывается нежирным (так сделано в записях (а) и (в)).
Добавим к предложению (а) еще одно:
“Рядом с нею стоит лампа”, (г)
образуя из них единый текст. В предложении (г) речь идет тоже о двух предметах. Первый из них указан местоимением “нею”, второй — именем существительным “лампа”. Из контекста (а контекстом для предложения (г) служит предложение (а)) явствует, что слово “нею” является заменителем слова “книгой” , относящегося к предмету х2, который фигурирует в первом предложении. Слово “лампа” вводит третий предмет, отличающийся от первых двух, что требует введения еще одной предметной переменной, в качестве которой берем х3. В результате получаем высказывание
“Рядом с книгой х2 стоит лампа х3”, (д)
которое выражает предикат
Рядом с книгой стоит лампа(х2, х3). (е)
Обратим внимание на тот важный факт, что предложение
“Рядом с книгой стоит лампа”, (ж) использованное в качестве имени предиката (е), становится двусмысленным, если его рассматривать вне контекста и без предметных переменных х2 и х3. Теперь нельзя с уверенностью определить, о какой конкретно книге в нем идет речь: о той же самой, что и в предложении (а) (т.е. о предмете х2), или о какой-либо иной (например, о предмете х4). Еще более многозначным воспринимается предложение (г). В нем слово “нею” может относиться к какому угодно
102
РИ, 1998, № 4
предмету, а не только к книге. Введением же предметных переменных подобные неоднозначности полностью устраняются. Этот факт наглядно демонстрирует необходимость дополнения предложений предметными переменными для возможности их однозначного понимания. При переходе от предложений (а) и (г) к соответствующим им высказываниям (б) и (д) мы опирались непосредственно на интуицию человека, являющегося носителем русского языка. Однако возможно и формальное выполнение такого перехода, который в этом случае должен осуществляться чисто механически только на основе анализа текста предложения и окружающего его контекста без обращения к их смыслу. Эта задача весьма сложна и, насколько нам известно, никем еще не рассматривалась, однако без ее решения невозможна автоматизация процесса понимания текстов естественного языка.
Обнаруживается следующее несоответствие принятой нами исходной теоретической схемы и фактического положения дел. Алгебраический подход к естественному языку требует, чтобы все предметные переменные х1, х2,..., хт алгебры предикатов присутствовали в каждом предикате Р(х\, х2,..., хт). А фактически это не так: в предикатах (в) и (е) присутствуют не все переменные. Так, в предикате (в) отсутствует переменная х3, а в предикате (е) — переменная хі. Однако точно такое же несоответствие наблюдается и в математике. Там тоже почти во всех используемых на практике формулах присутствует лишь небольшая часть переменных той алгебры, на языке которой они пишутся. В математике это несоответствие преодолевается введением понятия несущественной переменной. Этим понятием воспользуемся и мы для дальнейшего построения теории языка.
Аргумент хі (i = im) предиката Р(хь х2,..., х,..., хт) называется несущественным, если при любых х1, х2,..., Х-1, хі’, хі’’, х+1,..., хт є U Р(хі, х2,...,х_1, хі’, х+1,..., хт)=Р(х1, х2,..., х-1, хі’’, х+1,..., хт). Согласно этому определению, значение предиката Рне зависит от значения несущественного аргумента хі при любых фиксированных значениях остальных переменных. Если в формуле предиката Р переменная xi отсутствует, это свидетельствует о том, что она для этого предиката несущественна. В перечне аргументов предиката Р(х1, х2,..., хт) несущественные переменные можно опускать. Например, предикат Р(х1, х2,..., хт), у которого существенны лишь переменные х2 и х4, можно записать в виде Р(х2, х4). Если в формуле предиката присутствует несущественный аргумент, то ее всегда можно так тождественно преобразовать, что он в ней исчезнет. Предикат, у которого все аргументы, кроме одного, несущественны, называется унарным, двух — бинарным, трех — тернарным, n (n < т) — n-арным. Число n называется арностью предиката. От него надо отличать число т, являющееся размерностью предиката. При т=1 предикат называется одноместным, при т=2 — двухместным и т.д. При произвольном т предикат называется т-местным. При т > 2 предикат Р(х1, х2,..., хт) называется многоместным.
Каждый человек в своей речевой практике использует значительное число предметных переменных. Особенно это отчетливо ощущается при освоении больших по объему связных текстов, таких как
роман Толстого “Война и мир” или трехтомный учебник Фихтенгольца по математическому анализу, когда приходится держать в уме одновременно большое количество действующих лиц и событий или понятий. По предварительным оценкам число предметных переменных в подобных случаях достигает многих сотен и даже тысяч. Отсюда следует, что число т, характеризующее количество всех предметных переменных в множестве V лингвистической алгебры, весьма велико. Для оценки его конкретной величины необходимы дополнительные исследования. Формально приходится считать, что каждое предложение, входящее в состав таких текстов, имеет все эти аргументы. Однако существенными из них в отдельных высказываниях всегда будут лишь немногие предметные переменные (обычно не более десятка). В приведенном выше примере текст состоит из двух предложений (а) и (г), в нем незримо присутствуют три предметные переменные. Существенными же в каждом из этих предложений выступают две переменные (в первом — х1 и х2, во втором — х2 и х3). Общей для обоих предложений является одна суще -ственная переменная (х2).
3. Естественный язык как булева алгебра
Рассмотрим теперь вопрос о базисных элементах лингвистической алгебры. Предложения строятся из отдельных слов. Поэтому естественно предположить, что в роли базисных элементов в лингвистической алгебре выступают слова. Поскольку любые элементы носителя лингвистической алгебры — предикаты, то и слова, рассматриваемые в качестве базисных элементов, тоже должны быть предикатами. Попытаемся показать, что это так и есть на самом деле. С содержательной стороны любые элементы лингвистической алгебры являются мыслями, а мысли выражаются предложениями. Следовательно, отдельные слова тоже надо рассматривать как предло -жения. Но возможно ли это? Приведем соображения в пользу положительного ответа на этот вопрос.
Начнем с имен существительных. Возьмем, к примеру, слово “книга”. Его можно употребить в роли предложения. Чтобы это показать, произведем следующий мысленный эксперимент (если потребуется, его можно выполнить и в натуре). Исследователь предъявляет испытуемому слово “книга” и при этом указывает на предмет х, который выбирается им произвольно. Испытуемый должен определить, является ли предъявленный ему предмет х книгой или нет. Если испытуемый способен дать правильный ответ на предъявление любого предмета, то, тем самым, он демонстрирует знание смысла слова “книга”. И наоборот, тот, кто такой ответ дать не может, не проявляет полного знания смысла этого слова.
В описанном эксперименте испытуемый реализует предикат Р(х), выраженный высказыванием “Предмет х есть книга”. Его имя можно кратко записать одним словом Р=“книга”. В данном употреблении слово “книга” играет роль целого предложения. Выразим предикат Р(х), реализуемый испытуемым в этом эксперименте, записью книга(х). В ней слово книга используется в роли имени Р предиката Р(х), а переменная х — в роли его аргумента. Значениями переменной х служат предметы, предъявляемые испытуемому. Множество всевозможных предметов, на которые способен отреагировать испытуемый,
РИ, 1998, № 4
103
играет роль универсума предметов U. Таким образом, каждое имя существительное Р можно понимать как имя некоторого предиката Р(х), заданного на множестве всевозможных предметов U. Предикат этот реален и вполне определен, поскольку его может воспроизвести на практике любой человек, владеющий русским языком, отвечая на вопрос: “Подходит ли предмет х под понятие, выраженное именем существительным Р? ”. В приведенном выше примере этот вопрос будет выглядеть следующим образом: “Является ли предмет х книгой?”.
Аналогичные соображения применимы также и к словам, относящимся кдругим частям речи. Возьмем, к примеру, имя прилагательное “большой”. Его можно понимать как предикат большой (х), выражаемый высказыванием “Предмет х — большой” (хотя бы в одной из возможных ролей: стола, стула и т.д.). Такое расширительное понимание смысла имен прилагательных представляется неизбежным, если исходить из того, что каждое слово, взятое само по себе (т.е. вне контекста), что-то означает. Языковая же интуиция человека ясно свидетельствует, что это так и есть. Предъявляя испытуемому, владеющему русским языком, предметы из множества U и предлагая ему ответить на вопрос “Большой ли предмет х?”, можно убедиться, что слову “большой” соответствует вполне определенный предикат и именно тот, о котором говорилось выше. То же относится и к любым другим именам прилагательным. С причастиями (например, “едущий”) и порядковыми числительными (например, “второй”) поступаем аналогично.
Переходим к глаголам. Берем, к примеру, слово “лежит”. Ему ставим в соответствие предикат ле-жит(х), выражаемый предложением “Предмет х лежит”. Количественные числительные, например, “два”, выражаем предикатом два(х), где аргумент х определен теперь уже не на множестве всех предметов U а на системе имен всех подмножеств множества U. Испытуемый, реализующий предикат два(х), должен отвечать на вопрос: “ Состоит ли множество х из двух предметов?”. Обращаемся к наречиям. Слово “темно” понимаем как предложение, относящееся к ситуации х. Испытуемый, отвечающий на вопрос “Темно ли в ситуации х?”, будет реализовать предикат темно(х). Слово “очень” выражает предикат очень(х), реализуемый испытуемым, которому предложено отвечать на вопрос “Обладает ли предмет х каким-либо свойством в высокой степени?”. Например, можно ли утверждать, что предмет х очень большой или очень пушистый и т.п. (далее следует перечисление всевозможных свойств предмета, доступных для понимания испытуемым). Предлоги также можно понимать как предикаты, но не унарные, как это было до сих пор, а бинарные. Например, предлог “на” понимаем как предикат на(х, у), соответствующий предложению “Предмет х находится на предмете у”. Мы предполагаем, что любое слово (за исключением небольшого количества слов, выражающих операции над предикатами, таких как “не”, “и”, “или”) можно представить подобным способом в виде некоторого предиката. Для прочного обоснования этой гипотезы необходимы специальные исследования в области анализа смысла слов.
Рассмотрим теперь вопрос о базисных операциях лингвистической алгебры. Из любого предложения можно образовать его отрицание, поставив перед ним
частицу “не” или выражение “ложно, что”. Например, из фразы “Идет дождь” образуем ее отрицание “Не идет дождь” (“Ложно, что идет дождь”). Отрицанием можно действовать также и на отдельные слова и словосочетания, например: “не стул”, “не синий”, “не очень”, “не два”, “не едет”, “не синий платок” и т.п. Естественно предположить, что с алгебраической точки зрения отрицание предложения P — это булева операция отрицания предиката Р(х), выражающего содержание этого предложения. Обозначая операцию отрицания словом не, можем, к примеру, записать:
не(стол(х))=(не стол)(х).
В результате ее выполнения получаем новый предикат с именем не стол. В общем случае имеем
Не(Р(хі, х2,..., хот))=(неР)(хх, х2,..., хт). (1) Здесь Р(х1, х2,..., хт) — произвольное высказывание; х1, х2,..., хт — его предметные переменные; Р — предложение, соответствующее этому высказыванию; не(Р) — предложение, получаемое из предложения Р действием на него операции отрицания не.
Аналогичным образом рассматриваем союзы “и” и “или”, с помощью которых можно соединять любые предложения, получая в результате новые предложения (в общем случае—тексты). Естественно предположить, что слова и и или соответствуют двухместным операциям конъюнкции и дизъюнкции, действующим на высказывания Р(х1, х2,..., х„) и б(х1, х2,..., х„), которые выражают смысл предложений Р и Q. Можем записать:
№, х2,..., хт))и(&хЪ х2,..., хт))=
=(Р^)(х1, х2,..., хт); (2)
(Р(х1, х2,..., хт))или(0(хь х2,..., хт))=
^F^mQ)^, х2,..., хт), (3)
где Р и Q — исходные предложения; РиQ и РйлиО— предложения, получаемые в результате соединения исходных предложений союзами “и” и “или”. Например, слова “стол” и “стул” превращаем в словосочетания “стол и стул”, “стол или стул”, предложения “Идет дождь” и “Светит солнце” — в предложения “Идет дождь и светит солнце”, “Идет дождь или светит солнце”.
Обратим внимание на возможность двоякого употребления союзов “и” и “или”. Словосочетание “стол и стул” можно понимать как предикат
(стол(х))и(стул(х)). (з)
В этом случае имеется в виду, что один и тот же предмет х используется как в роли стола, так и в роли стула. Другое понимание дается высказыванием
(стол(х))и(стул(у)), (и)
которое выражает следующую мысль: “предмет х есть стол, а предмет у — стул”. В первом случае речь шла об одном предмете, во втором — о двух. Такое же двойное понимание возможно и для словосочетания “стол или стул”. Эти примеры наглядно показывают, что в результате алгебраизации естественного языка появляется возможность легко отвечать на вопросы, представляющиеся весьма трудными для традиционного анализа языка и речи. Присвоив предикату (и) имя стол и стул, приходим к следующему равенству: (стол(х))и(стул(у))=стол и стул(х, у). Предикат (з) является производным от предиката (и), поскольку его можно получить из предиката (и), заменяя в нем переменную у на х:
стол и стул(х, х)=(стол(х))и(стул(х)).
104
РИ, 1998, № 4
Введем понятие булевой алгебры предикатов. Пусть Р(Х1, Х2,..., хт) и Q(X1, Х2,..., хт) - предикаты на U. Отрицанием —Р, конъюнкцией PvQ и дизъюнкцией PaQ предикатов Р и Q называются такие операции над предикатами, которые для любых х1, х2,..., xmeUопределяются равенствами:
(—Р)(хъ Х2,..., Хт) =—(Р(Х1, Х2,..., Хт));
(PaQ)(Xi, Х2,..., Хт) =Р(Х1, Х2,..., Xm^Q(xb Х2,..., Хт);
(PvQ)(Xi, Х2,..., Хт)=Р(Хі, Х2,..., Xm)vQ(Xl, Х2,..., Хт). Этими равенствами операции—, a и v над предикатами сводятся к операциям —, а и v над их значениями, т.е. к операциям над логическими элементами 0 и 1. Последние называются отрицанием, дизъюнкцией и конъюнкцией логическиХэлементов и определяются следующим образом: —0=1, —1=0; 0а0=0а1=1а0=0, 1а1=1; 0а0=0, 0v1=1v0=1v1=1. Булевой алгеброй предикатов называется любая алгебра предикатов с базисом операций, состоящим из отрицания, конъюнкции и дизъюнкции предикатов.
Операции отрицания, конъюнкции и дизъюнкции называются булевыми. Выше мы определили булевы операции конструктивно, но их можно задать и абстрактно (т.е. системой свойств) с помощью понятия булевой алгебры. Булевой алгеброй называется любое множество M вместе с заданными на нем одноместной операцией — и двухместными операциями а и v. По определению эти операции обладают следующими свойствами [1]: для любых х, y,ze M хах=х, xvx=x;
ХАУ=УАХ, xvy=yvx; (ХAy)AZ=ХA(yAZ),(xvy)vZ=Хv(yvz);
(xvy)АZ=(ХАZ)v(yАZ), ^Ay^Z^fazNy^z); Хv(yА—у)=х, ха(^—у)=х; — (—х)=х, — (хуу)=—ха—у, —(ха у)=—х>з—у. Эти свойства называются аксиомами булевой алгебры. При заданном M булевы операции в абстрактном смысле (т.е. с точностью до обозначений элементов множества M) определяются единственным образом. Важно отметить, что указанная система аксиом избыточна. В ней все аксиомы, кроме одной, — парные. В каждой паре одну из аксиом можно исключить (либо все левые, либо все правые) без ущерба для полноты системы. Таким образом, для исчерпывающей характеристики понятия булевой алгебры достаточно указать всего семь аксиом.
Вводим еще одну гипотезу: лингвистическая алгебра есть булева алгебра. В роли булевых операций —, а и v в ней выступают операции над словами и словосочетаниями, предложениями и текстами, выраженные словами не, и и или. Не всегда используются именно эти слова для выражения указанных операций. Два предложения, на которые действует операция и, могут соединяться запятой или точкой, например: “Идет дождь, светит солнце”, “Идет дождь. Светит солнце”. Вместо союза “и” в роли конъюнкции могут использоваться соединительные слова “а”, “однако”, “тем не менее” и т.п., например: “Идет дождь, однако светит солнце”. Но слова “не”, “и” и “или” не всегда выражают операции отрицания, конъюнкции и дизъюнкции. Например, в предложении “Подождем, пока не пройдет дождь” частица “не” означает не отрицание, а утверждение. В предложении “Дождь идет и идет” союз “и” (вместе со вторым вхождением слова “идет”) выражает вовсе не операцию конъюнкции, а смысл слова “долго”, так что ту же мысль можно выразить фразой “Дождь идет долго”. Союз “или” может использоваться в разделительном смысле “или—или”, например: “Выбирай: он или я”. Как дизъюнкция союз “или” используется в объединительном смысле “или также”.
Обобщая, можно сказать, что в естественном языке тексты и соответствующие им смыслы не связаны взаимно-однозначно. Смысл одного и того же текста может меняться в зависимости от выбора предметных переменных и от контекста. Важно заметить, что один и тотже смысл можно выразить различными текстами. Смыслы можно изучать и формально описывать вне связи с соответствующими им текстами, а тексты—вне связи с их смыслами. Кроме того, можно формально описывать связь между текстами и их смыслами. Смыслы можно записывать на языке высказываний, тексты же проще всего выражать непосредственно в их естественно-языковой форме. Для описания связи между текстами и смыслами по-видимому необходим специальный математический язык.
Имеются случаи, когда слова “не”, “и” и “или” выражают булевы операции над текстами, но при этом используются по-разному или же с дополнительным смыслом. Например, словосочетание “не яркое солнце” можно понимать двояко: как “(не яркое) солнце” в смысле “предмет Х есть солнце, и он неярок” и как “не (яркое солнце)” в смысле “ложно, что предмет Х есть яркое солнце”. Ясно, что указанные смыслы этого словосочетания различны. Далее, союз “и”, употребленный в роли конъюнкции, может выражать еще и противопоставление событий, как например, в предложении “Дождь идет и солнце светит”. Следующий пример заимствован из книги [2, с. 82]. Рассмотрим два предложения: “Джейн вышла замуж и родила ребенка” и “Джейн родила ребенка и вышла замуж”. По законам булевой алгебры конъюнкция коммутативна, а следовательно, оба предложения должны иметь один и тот же смысл. Но очевидно, что это не так. Объясняется это противоречие тем, что в данном случае союз “и” выражает не только конъюнкцию высказываний, но еще и последовательность двух событий во времени, описываемых этими высказываниями.
4. Предложения как формулы
Из принятых выше гипотез следует, что предложения естественного языка должны быть формулами алгебры предикатов. Сопоставим этот вывод с фактами языка. Чтобы это сделать, вначале придется обратиться к языку математики. Любая формула имеет вполне определенную структуру, которую можно выразить в виде некоторой схемы. Возьмем, к примеру, формулу алгебры булевых функций
Х1Х2 v Х3Х4 . Ее можно выразить графически схемой, изображенной на рис. 1. Кружки со знаками булевых операций —, а и v изображают преобразователи формул. Схема синтезирует формулу
Х1Х2 v Х3Х4 из ее аргументов Х\, Х2, Х3, Х4. Так, проходя через крайний справа блок дизъюнкции, формулы Х1Х2 и Х3Х4 преобразуются в формулу
РИ, 1998, № 4
105
ХхХ2 v Х3Х4 . Та часть формулы, на которую бинарная операция (л или v) действует первой, поступает на преобразующий блок по горизонтальному входу, второй — по вертикальному. Схема формулы представляет собой древовидный граф.
Попытаемся подойти к разработке метода построения подобных графов для предложений естественного языка. В грамматике для наглядного представления структуры предложений используются деревья синтаксического подчинения [3, с. 41]. Их мы и примем в качестве отправного пункта при решении поставленной задачи. Пример дерева синтаксического подчинения изображен на рис. 2. Слова предло-
і і і гі і------------------ц
Детали поступают на заводской склад Рис. 2
жения соединяются в пары стрелками, называемыми дугами. Результат такого соединения называется словосочетанием. Слово, из которого дуга исходит, называется главным, а слово, в которое она входит — зависимым. Корнем предложения называется слово, в которое не входит ни одна из дуг. Подразумевается, что человек, понимающий смысл предъявленного ему предложения, способен построить для него дерево синтаксического подчинения. В основе этой способности лежит ощущение того, что зависимое слово каждой пары в процессе порождения предложения возникает в уме непосредственно за главным.
Построение деревьев синтаксического подчинения для большого числа предложений показало, что связи между словами всегда образуют древовидную структуру, аналогичную той, которая изображена на рис. 2. Этот факт свидетельствует о том, что в предложении, кроме линейного порядка слов, существуют еще и направленные связи между словами. Для подавляющего большинства предложений, используемых на практике, деревья синтаксического подчинения характеризуются тем, что дуги в них не пересекаются, а корень не лежит ни под одной из дуг. Такие деревья, как и соответствующие им предложения, называются проективными. В отличие от них, непроективные предложения воспринимаются как неестественные. Предложение, представленное на рис. 2, является проективным. На рис. 3 изображена структура непроективного предложения. Дляделовой прозы непроективные предложения обычно неприемлемы стилистически. Однако в поэтических текстах они встречаются часто.
"I М і її
Новая найдется дура — верить в волчью седину Рис. 3
Ниже описывается метод построения схемы формулы предложения. Начнем с конкретного предложения, представленного на рис. 2. Схема его формулы изображена на рис. 4. Значениями аргументов Х1^Х5 формулы служат слова “Детали”^“склад” (точнее — их словоформы). Кружки, помеченные номерами, изображают преобразователи слов и словосочетаний. Они выполняют операции соединения слов и словосочетаний. Схема синтезирует предложение из отдельных слов. Так, проходя через блок 1, слова “Детали” и “поступают” преобразуются в словосочетание “Детали поступают”. Блок 3 формирует слово -
сочетание “на заводской склад”. На выходе схемы (после блока 4) получаем готовое предложение “Детали поступают на заводской склад”. Номера блоков указывают последовательность выполнения операций преобразователями схемы.
Эта последовательность определяется по следующему алгоритму. Движемся отдельными шагами вдоль предложения слева направо, перебирая слова и выполняя на каждом шаге одну за другой все возможные операции. При этом отступаем от слова, рассматриваемого на данном шаге (первичном), двигаясь по шагам (вторичным) назад и устанавливая каждый раз, соединяется ли слово, стоящее впереди, с тем, которое находится сзади него. В результате выполнения каждой операции должна получиться некая связная законченная последовательность слов (словосочетание). Некоторые из получаемых словосочетаний будут иметь вид предложений. Последние формируются операци -ей, расположенной на уровне корня предложения, в роли которого выступает сказуемое (в случае, когда оно имеется в наличии; если же его нет, то корнем предложения становится подлежащее). Главное слово в каждой паре считается первым вне зависимости от того, расположено оно впереди зависимого слова или позади него. Следует оговориться, что приведенный выше алгоритм несовершенен. Он не учитывает всех возможных вариантов предложений и поэтому его нельзя применить к любому из них. Кроме того, в нем не достигнута полная формализация действий, поскольку при выполнении алгоритма существенно используется интуиция человека — носителя языка. Необходимо проведение дополнительных исследований для доводки данного алгоритма до такого вида, чтобы с его помощью ЭВМ сама смогла строить схему формулы произвольного предложения.
Применяем только что приведенный алгоритм к рассматриваемому примеру. На первом шаге обращаемся к слову “Детали”, здесь никакой операции выполнить не удается. На втором шаге обращаемся к слову “поступают”. С помощью операции 1 образуем предложение “Детали поступают”. Операцию 1 помещаем на линии сказуемого “поступают”. Слово “поступают” считаем первым аргументом операции, а слово “детали” — вторым. На третьем шаге обращаемся к слову “на”, которое никуда присоединить не удается. То же происходит и на четвертом шаге со словом “заводской”. На пятом шаге к слову “склад” присоединяем слово “заводской” с помощью операции 2, образуя словосочетание “заводской склад”. Далее, с помощью операции 3 присоединяем слово “на” к словосочетанию “заводской склад”, в результате получаем словосочетание “на заводской склад”. Наконец, посредством операции 4 присоединяем полученное словосочетание к предложению “Детали поступают”. Результатом будет искомое предложение “Детали поступают на заводской склад”.
106
РИ, 1998, № 4
Схема формулы предложения построена по его дереву синтаксического подчинения, так что, при желании, всегда можно возвратиться от схемы к дереву (т.е. перейти от рис. 4 к рис. 2). Однако схема содержит в себе и нечто новое, а именно: блоки, синтезирующие текст предложения из его отдельных элементов; полюсы, на которых появляются предложения и словосочетания; очередность выполнения синтеза формулы предложения блоками схемы. По схеме можно построить формулу предложения. В рассматриваемом примере она будет иметь следующий вид:
(Детали1(поступают))4 (на3(заводской2(склад))). (к)
Номера выполняют в формуле роль имен операций, скобки указывают очередность их выполнения и последовательность применения каждой операции к словам, а формы слов представляют собой значения аргументов формулы. Перейдем к аргументам формулы от их значений, заменяя слово “Детали” на переменную Х1, слово “поступают” — на Х2, “на” — Х3, “заводской” — Х4, “склад” — Х5. В результате формула запишется в виде: (Хі1(Х2))4(Хз3(Х42(Х5))). (л)
В развиваемой здесь теории естественного языка принято, что отдельные слова выражают предикаты. Отсюда следует, что символы Х1^Х5 выражают предикатные переменные, номера П4 — предикатные операции, а само выражение (л) — формулу алгебры предикатных операций. Формула же (к) выражает имя предиката предложения. Важно отметить, что любое непроективное предложение в математическом плане характеризуется тем, что его формулу невозможно записать без перестановки слов. Для проективного же предложения это сделать всегда возможно. Например, записывая формулу непроективного предложения, представленного на рис. 3, придется предварительно переставить некоторые из его слов:
(Найдется2(новая1(дура)))6
(верить5(в4(волчью3(седину)))).
После дополнения предложения предметными переменными по методике, описанной выше, оно превращается в формулу алгебры предикатов. Итак, мы видим, что естественный язык имеет двухъярусное строение. Первый ярус представлен некоторой алгеброй предикатов, второй — алгеброй предикатных операций. Семантика предложения, т.е. его содержание, формально описывается на языке алгебры предикатов, синтаксис, т.е. строение предложения, — на языке алгебры предикатных операций. Формула (л) показывает, в какой последовательности и из каких слов (не важно—каких) образуется предложение типа “Детали поступают на заводской склад”.
Более сложный пример схемы формулы предложения представлен на рис. 5. Переходя от схемы к формуле, получаем следующую формулу алгебры предикатов, выражающую смысл предложения: ((Я2(быстро 1(пишу)))4(тупым3(карандашом)))10 (требование9((прислать5немедленно)8 ((вооруженный6(отряд))7милиции))). (м)
Заменяя в выражении (м) слова “Я”^“милиции” соответствующими им предикатными переменными Хх^Хц, приходим к формуле алгебры предикатных операций
((Х12(Х21(Х3)))4(Х43(Х5)))10(Хб9((Х75Х8)8
((Х,6(Х1о))7Хп)))), (н)
выражающей синтаксическую структуру рассматриваемого предложения.
Только что при рассмотрении синтаксической структуры предложения нам пришлось обратиться к понятию алгебры предикатных операций. Дадим его формальное определение. Пусть U— универсум предметов; х1, х2, ..., хт — предметные переменные; Р — множество всех предикатов Р(х\, х2, ..., хт) на предметном пространстве Um. Множество Р называется универсумом предикатов. Переменные Хі, Х2, ..., Хк, определенные на множестве Р, называются предикатными. Их значениями служат предикаты, заданные на Um. Множество Ркназывается предикатным пространством размерности к над предметным пространством Um. Элементы множества Рк (к-компонентные наборы предикатов) называются предикатными векторами. Предикатное пространство представляет собой двухэтажную конструкцию: на ее первом этаже находятся предметы, на втором — предикаты. Любая функция F(X, X2, ..., Xk)=Y, отображающая множество Рк в множество Р, называется предикатной операцией. Образуем множество R всех предикатных операций. Алгеброй предикатных операций над R называется любая алгебра, заданная на носителе R.
Пусть F(X1, X2,...,X)=Y— предикатная операция, отображающая множество Рк в множество Р. Здесь X1, X2,...,X — предикатные переменные, выступающие в роли аргументов операции F; Y — предикатная переменная, являющаяся значением операции F. От -рицанием —F=F предикатной операции F называется такая предикатная операция, значения которой определяются по правилу
(—F)(X1, X2, ..., X)=—F(X1, X2, ..., X)
для любых X1, X2,...,XkєР. Пусть F и G — предикатные операции, отображающие Рк в Р. Дизъюнкцией FvG предикатных операций F и G называется предикатная операция, значения которой определяются по правилу (FvG)(X, X2,..., X)=F(X, X2,..., X)vG(X, X2,..., X) для любых X1, X2,..., XeM. Конъюнкцией FaG предикатных операций F и G называется предикатная операция, значения которой определяются по правилу (FaG)(X, X2,..., X)=F(X, X2,..., X)aG(X, X2,..., X) для любых X1, X2, ..., XeM. В последних трех равенствах слева от знака равенства фигурируют операции —, v, а над предикатными операциями; справа знаки —, v, а обозначают операции над предикатами. Булевой алгеброй предикатных операций называется любая алгебра предикатных операций с базисом операций, состоящим из отрицания, конъюнкции и дизъюнкции.
РИ, 1998, № 4
107
5. Словосочетания как формулы
Выше было выяснено, что предложения строятся из отдельных слов с помощью булевых операций и операций соединения слов и словосочетаний. Последние были лишь обозначены номерами, а о существе этих операций еще ничего не было сказано. Рассмотрим теперь вопрос о том, что конкретно представляют собой операции соединения слов и словосочетаний.
Принимая в роли сказуемого глагол, представим его как некий предикат, для чего дополним его предметными переменными. Предметные переменные эффективно выявляются с помощью вопросов, которые порождаются сказуемым. Например, в предложении “Детали поступают на заводской склад” слово “поступают” порождает вопросы: 1) Что поступает? — Детали; 2) Куда поступают? — На заводской склад. В предложении “Я быстро пишу тупым карандашом требование прислать немедленно вооруженный отряд милиции” слово “пишу” порождает вопросы: 1) Кто пишет? — Я; 2) Как пишет? — Быстро; 3) Чем пишет? — Тупым карандашом; 4) Что пишет? — Требование прислать немедленно вооруженный отряд милиции. В соответствии с этим заключаем, что слово “поступают” в первом предложении представляет собой имя предиката поступают^, х2) с двумя предметными переменными, слово “пишу” — имя предиката пишу(у1, у2, у3, у4) с четырьмя предметными переменными. Таким образом, вопросы характеризуют собой отдельные предметные переменные предиката, выраженного сказуемым данного предложения.
Глагол в роли сказуемого предложения характеризуется, как никакая другая часть речи, большим числом предметных переменных. Вследствие этого он выполняет роль соединителя отдельных частей предложения в единое целое. Каждое предложение выражает некую мысль, которую можно выразить вполне определенным многоместным предикатом Р(х1, х2,..., хп). Механизм образования предложения представляем следующим образом. Переменные х1, х2,..., хп предложения сначала связываются сказуемым, реализующим предикат Дхі, х2,..., хп), где п — число предметных перемен -ных при глаголе S. Этот предикат можно образно представить в виде глыбы мрамора, из которой ваятель намеревается изготовить скульптуру. Дополняя предложение теми или иными словосочетаниями, отвечающими на вопросы, соответствующие предметным переменным х1, х2,..., хп, лицо, формирующее предложение, как бы отсекает от исходной глыбы мрамора очередной лишний кусок. Этим достигается постепенное приближение смысла текста предложения к требуемому. При этом бесформенный вначале кусок камня шаг за шагом превращается в совершенную скульптуру, в которой обнаруживается замысел ваятеля.
Аналогично этому, расширением текста предложения достигается сужение (уточнение) его смысла и доведение его до того содержания, которое намеревался передать человек своей фразой. Может создаться впечатление, что с расширением текста предложения расширяется и его содержание, но это не так. На самом же деле, после присоединения к предложению каждого последующего слова его содержание всегда сужается, например: “Детали поступают” ^ “ Детали поступают на склад” ^ “Детали поступают на заводской склад”. Если же двигаться в обратном направлении, отсоединяя одно за другим слова от готового предложения, то мы получим цепочку вложенных друг в друга предложе-
ний с расширяющимся содержанием, например: “Я быстро пишу тупым карандашом требование прислать немедленно вооруженный отряд милиции” с “Я быстро пишу тупым карандашом требование прислать отряд милиции” с “Я пишу требование прислать отряд” с “Я пишу требование” с “Я пишу”.
Из этого свойства логически следует, что соединение слов выражается операцией конъюнкции. Действительно, если известно, что предикаты Р и Q находятся в отношении Рс Q, то всегда найдется такой предикат R, что P=QR. Присоединяемое к предложению Q слово или словосочетание R выполняет, таким образом, роль конъюнктивного множителя. Наоборот, в результате выполнения операции QR =Р присоединения слова или словосочетания R к предложению Q получаем предложение Р, удовлетворяющее условию Рс Q.
Пусть Ti(Х1п , Хі21 ^ хіаЛ X Т2(х1и , Xi22 v., хіаг2 ^
..., Tr(хЧг, Xi2r,..., XWr ) - предикаты, выражаемые
словами (или словосочетаниями) предложения, которые присоединяются к его сказуемому. Здесь Г— число всех слов (или словосочетаний), присоединяемых к сказуемому предложения. Аргументами каждого из предикатов Tj (j= 1, r ) служат некоторые из аргументов предиката ^(х1, х2,..., хп) сказуемого S. Символом Sj обозначено число существенных переменных предиката Tj. Тогда предикат предложения выразится в виде:
Р(хі,х2,...,Xn)=S(хhх2,...,хп)Ті(ХіП , хі2і ,..., Xs1i )л
ЛТ2(хіі2 , хі22 V.V хЧ2 )...ТГ(хі1г , хі2г v- Чгг ). (4)
Равенство (4) показывает, как содержание предложения Р образуется из содержания сказуемого S путем ограничения его содержанием словосочетаний Ті, Т2,...,ТГ. Расчленяя мысль Рна части S, T1, T2,..., ТГ в соответствии с формулой (4), говорящий, по существу, производит конъюнктивную декомпозицию предиката Р. А слушающий осуществляет композицию предиката Риз предикатов S, Ti, T2,..., Tr, выполняя операцию их конъюнкции. Для примера возьмем предикат (в) предложения “ На столе лежит книга”. В соответствии с равенством (4) его можно представить следующей формулой:
На столе лежит книга(х1, х2)=
=На(х1, х2)лстоле(х1)ллежит(х1, х2)лкнига(х2). (о) Ее содержание можно выразить высказыванием: “На предмете х1 располагается предмет х2, и предмет х1 есть стол, и предмет х2 находится в лежачем положении относительно предмета х1, и предмет х2 есть книга”. Конъюнктивной декомпозицией предиката Р называется его представление в виде P=Q1л 02л...л Q/, где Qi, Q2,..., Qi — некоторые предикаты; l — число предикатов, получаемых в результате декомпозиции.
Обратим внимание на следующее важное обстоятельство. В предложении, каким бы обширным оно ни было, обычно даются ответы далеко не на все те вопросы, которые потенциально содержатся в сказуемом. Например, восприняв предложение “Детали поступают на заводской склад”, человек может задать множество вопросов, на которые он не получил ответа из данного предложения. К ним относятся: “Откуда поступают детали?”, “Когда они поступают?”, “С какой целью?” и т.п. Вернее, ответы на
108
РИ, 1998, № 4
поставленные вопросы в предложении имеются, но они неинформативны (бессодержательны): “Откуда угодно”, “Когда угодно”, “С любой целью”. Это означает, что предметные переменные, соответствующие указанным вопросам, в данном предложении несущественны. В языке всегда имеются возможности для конкретизации этих ответов посредством расширения текста предложения. Управление этим расширением осуществляется постановкой соответствующих вопросов. После формирования конкретных ответов на поставленные вопросы соответствующие им предметные переменные в расширенном предложении превращаются из несущественных в существенные.
Выше мы рассмотрели, как из словосочетаний образуется предложение. Теперь рассмотрим конкретные способы образования словосочетаний из отдельных слов. Тема эта обширна и требует специального исследования. Здесь мы ограничимся лишь несколькими характерными примерами. Подлежащее Т соединяется со сказуемым S обычно по схеме P(x)=T(x)aS(x), (5)
в результате получается предложение Р. Например, книга лежит(х)=книга(х)ллежит(х). (п)
Формула, стоящая справа от знака равенства в выражении (п), означает: “Предмет х есть книга, и этот предмет лежит”. Согласование имени прилагательного Ті с именем существительным Т2 осуществляется по аналогичной схеме:
ТХ)=Ті(х)лТ2(х). (6)
В результате получаем словосочетание Т. Например, толстая книга(х)=толстая(х)лкнига(х). (р) Формула, стоящая справа от знака равенства в выражении (р), означает: “Предмет х — толстый, и этот предмет есть книга”.
Управление одного имени существительного Т2 другим именем существительным Т1 часто осуществляется по схеме:
Т(х)=ТДх)лЗу( Т2(у)лдеталь(х, у)). (7)
В результате получаем словосочетание Т. Предикат деталь(х, у) имеет следующее содержание: “Предмет х является деталью (составной частью) предмета у”. К примеру, по этой схеме получаем: страница книги(х)=
=страница(х)лЗу(книга(у)лдеталь(х, у)). (с) Смысл правой части равенства (с) выражается высказыванием: “Предмет х есть страница, и существует предмет у, являющийся книгой, такой что предмет х служит его деталью”. Управление имени существительного Т2 количественным числительным Ті может осуществляться по схеме:
Т(х)=Ті(х)л v у(уєхз Т2(у)). (8)
Например,
две книги(х)=два(х)л v у (уєх з книга(у)). (т)
Содержание правой части равенства (т) можно передать следующим высказыванием: “Множество х состоит из двух предметов, и каждый из предметов у, если он принадлежит множеству х, есть книга”.
6. Заключение
Выполненный выше анализ естественного языка как некоторой алгебры, называемой нами лингвистической, свидетельствует о том, что такой подход предоставляет исследователю определенные возможности для формального описания механизма интеллекта. Обнаруживается, что смысл текста можно
представить в виде формулы алгебры предикатов, а его синтаксическую структуру — в виде формулы алгебры предикатных операций. Открываются перспективы для дальнейшего проникновения в механизм естественного языка. В частности, представляются перспективными исследования по выявлению различных видов предметных переменных предложения (например, временного и пространственного характера) и изучению способов их практического использования в языке. Нуждаются в изучении механизмы выражения смысла отдельных слов сочетаниями слов и сочетаниями морфов. Есть основания предположить, что и эти механизмы подчиняются зависимости (4). Важно установить, как изменяется смысл слова при переходе к той или иной его словоформе (например, “стул” — “стула”), а также при образовании из него нового слова (например, “синий” — “синева”). Особую задачу составляет изучение смысла отдельных морфов слова.
Важными объектами формального описания в языке являются анафора, эллипсис, омонимия и синонимия. При алгебраическом подходе к языку смысл этих, во многом пока загадочных, явлений становится достаточно ясным. Требует формального описания связь текста с его смыслом, смысловое взаимодействие текста и контекста, аксиоматическое выражение смысла первичных слов (категорий), механизм смысловой декомпозиции предложения на составные части при синтезе и его композиции из морфов, слов и словосочетаний при анализе предложений. Интересна задача выявления тождеств и схем тождеств (законов) лингвистической алгебры. Важно понять, каков механизм участия естественного языка при узнавании (зрительном, слуховом, осязательном и т.п.) предметов внешнего мира. Путь к формальному описанию механизмов естественного языка открыт, объект исследования интересен и обширен. Работы здесь хватит для всех желающих. Представляется, что нет другой такой области знания, которая в большей степени, чем эта, могла бы способствовать выяснению природы человека как сознательного существа и повышению темпов информатизации общества.
Литература: і. Мальцев А.И. Алгебраические системы. М.: Наука, і970. 392 с. 2. Клини С.К. Математическая логика. М.: Мир, і973. 478 с. 3. БондаренкоМ.Ф., Осыка А.Ф. Автоматическая обработка информации на естественном языке. К.: УМК ВО, і99і. і40 с.
Поступила в редколлегию 20.06.98 Рецензент: д-р техн. наук, проф. Левыкин В. М.
Баталин Антон Викторович, аспирант кафедры программного обеспечения ЭВМ ХТУРЭ. Научные интересы: лингвистическая алгебра. Адрес: Украина, 3і0726, Харьков, пр. Ленина, і4, тел. 40-94-46.
Дударь Зоя Владимировна, канд. техн. наук, профессор кафедры программного обеспечения ЭВМ ХТУРЭ. Научные интересы: алгебраическая логика, модели языка. Адрес: Украина, 3і0726, Харьков, пр. Ленина, і4, тел. 40-94-46.
Стороженко Александра Владимировна, аспирант кафедры программного обеспечения ЭВМ ХТУРЭ. Научные интересы: математические модели естественного языка. Адрес: Украина, 3і0726, Харьков, пр. Ленина, і4, тел. 40-94-46.
Шабанов-Кушнаренко Юрий Петрович, д-р техн. наук, профессор кафедры программного обеспечения ЭВМ ХТУРЭ. Научные интересы: логическая математика, теория интеллекта. Адрес: Украина, 310726, Харьков, пр. Ленина, і4, тел. 40-94-46.
РИ, і998, № 4
і09
