Научно-технический прогресс обусловил широкое внедрение электронных вычислительных машин в планирование, управление и организацию различных областей человеческой деятельности. Расширение возможностей решения на ЭШ все более сложных и разнообразных задач выдвинуло на первый план проблему доступа к работе на вычислительной машине пользователей, не являющихся специалистами в области программирования. Решение этой проблемы связано с разработкой специальных форм представления вводимой информации (запроса, задачи) и форм получения ответа, т. е. с разработкой специального языка общения с ЭШ. Рассчитанный на широкого пользователя язык должен быть, по возможности, приближен к естественному. В то же время он должен однозначно интерпретироваться при переходе к «внутреннему», машинному языку, т. е. «внешний» язык общения должен иметь модель, позволяющую применить автоматические методы обработки вводимой информации. Следует отметить также факт обратного влияния этой ситуации на внедрение автоматизированных систем. То, что при коммуникации с ЭШ не потребуется специального обучения программированию, — «одно это способно резко увеличить число пользователей, многие из которых не без оснований считают необходимость учить язык программирования серьезным препятствием на пути к вовлечению ЭШ в свою работу» [.3.14- c.300j. Рост числа таких пользователей привел к возникновению ситуации, когда автоматизированная система может быть «оснащена» одновременно двумя различными средствами (языками), выполняющими различные функции. Одно из этих средств используется разработчиками системы для введения массива информации при создании базы данных и для ее корректировки.
Примером могут служить реляционные базы данных, созданные специально для тех случаев, когда предполагается ввод больших массивов информации Другое из этих средств направлено на обеспечение комфорта пользователей системы, поскольку «. Дальнейший прогресс в области автоматизации интеллектуальной деятельности будет в значительной мере определяться эффективностью реализаций информационных систем широкого профиля, то есть систем, обладающих способностью анализировать поступающий вопрос, определять предметную область, к которой он относится и формулировать релевантный ответ, быть может, в явном виде не содержащийся в памяти системы. Системы, обладающие перечисленными свойствами, получили название вопросно-ответных систем» [^3.20- с. з]. В центре внимания данного диссертационного исследования находятся логические средства и уровни формализации текста (вопроса), данного во внешнем языке общения пользователя с ЭВМ, используемые при переходе к внутреннему, машинному представлению соответствующей предметной области.
Можно выделить два подхода к решению вопроса о формах диалога с ЭВМ без обращения к языку программирования. Первый, более ранний подход состоит во введении формализованных документов, резко ограничивающих набор допустимых терминов естественного языка и исключающих анализ структуры предложений. В ряде случаев заранее предусмотренные тексты заменяются наборами кодов или шифров, предлагаемых, например, в виде рубрикатора. Даются перечни снабженных порядковыми номерами вопросов, на которые система может дать ответ. При подготовке базовой информации для предусмотренных в системе вопросов вводятся перечни возможных ответов. При работе с ЭВМ пользователь ограничен выбором из предложенного ему списка.
Возможность применения другого подхода обусловлена развитием вычислительной техники и программного обеспечения. В частности, это относится к используемым в вопросно-ответных системах программам, анализирующим («понимающим») естественный язык и к развитию такого способа представления данных, как семантические сети. Таким образом, все больший интерес вызывает то направление развития средств человеко-машинного диалога, которое ставит вопрос о приближении этих средств к естественному языку.
Актуальность темы
данной диссертационной работы определяется тем, что используемые в указанной области логические средства явно недостаточны для решения имеющихся здесь серьезных логических проблем. В основе программ, «понимающих» естественный язык, лежит построение модели текста, структура которой определяется способом явного представления семантических связей между отдельными терминами, входящими в состав данного текста. При выборе формализованного языка для описания свойств модели такого рода создатели имеющихся программ используют традиционный способ описания логической структуры предложения в виде формулы языка исчисления предикатов. При этом лингвистические средства анализа текста используются независимо от логических средств его формализации, на которую направлен анализ. В результате по справедливому замечанию крупного специалиста в области человеко-машинного общения Э. В. Попова, при разработке систем с естественным языком (СЕЯ) дело осложняется тем, что разработчики СЕЯ не замечают большинство тонкостей естественного языка, и это приводит к упрощенчеству, за которое приходится дорого расплачиваться при эксплуатации системы. Кроме того, — «. лингвисты описывают ЕЯ не в том ракурсе, который необходим разработчику СЕЯ» |з.24- с. I8]fj.
К этому следует добавить, что без внимания остаются также тонкости логической формализации связного текста, границы использования имеющихся средств и потенциальные возможности их развития специально для решения задач данной области. Следствием этого явилось введение жестких ограничений на словарный состав и форму допустимых в тексте выражений. Ограниченный таким образом язык общения человека с ЭВМ оказывается весьма далеким от естественного.
Отмеченные трудности делают актуальным поиск более эффективных средств логической формализации текста в языке-посреднике представляющем собой промежуточный уровень между языком общения и машинной моделью текста. От этой формализации непосредственно зависит мощность ограничений, налагаемых на язык общения, возможности применения формальных методов для обработки введенной информации, а также однозначность перехода к модели и полнота представления информации, содержащейся во вводимом тексте.
Следует отметить, что вопросно-ответные системы создаются не только в целях комфорта, как «пристройка» к ИПС. Разработка языка общения существенно влияет на организацию базы данных и развитие средств поиска информации, расширяя число допустимых в диалоге типов терминов и выражений. Наконец, анализ и развитие средств перехода от текста к машинному представлению информации представляет особый интерес, поскольку «. едва ли возможно говорить о машинном мышлении, не говоря, в первую очередь, о мышлении человеческом» [4.42- с, з. Данную область исследовании можно рассматривать, как чрезвычайно интересную динамическую модель фрагмента естественного языка и отраженных в нем процессов мышления. В частности, на этой модели представлены связи логической структуры языка общения со структурой и содержанием базы данных (то есть знаний, памяти системы), а также с процессами поиска, представляющими собой машинное мышление. Таким образом, наряду с чисто практическими задачами данная тема представляет несомненный теоретический интерес с логико-философской точки зрения. В центре внимания — естественный язык, но рассматриваемый не чисто синтаксически, а с точки зрения выделения содержащейся в тексте информации и возможно более полного ее представления в виде, доступном для машинной обработки. Как отмечает Д. А. Поспелов, большой интерес специалистов в области искусственного интеллекта к естественному языку как средству описания действительности и средству общения с ЭВМ определяется основными задачами этой области, являются: «синтаксический анализ текстов на естественном языке, переход от языковых представлений к языку описания знаний, понимание вопросов, формирование ответов, интересующих человека, извлечение знаний из текстов на естественном языке»4.17- о. в]. Таким образом, несомненный интерес представляет развитие средств формализации текста и анализ естественных диалоговых средств, что является одним из необходимых условий приближения языка общения к естественному. Логические исследования в данном направлении предполагают решение следующих задач:
— Рассмотрение используемых логических методов и средств, как существующих в рамках предмета логики, так и возникших в данной прикладной области. В связи с этим проводится уточнение задач этой области, требувдих применения дополнительных логических средств, а также разграничение логических и лингвистических средств анализа текста,.
— Рассмотрение трех уровней представлений текста в вопросноответной системе, и описание формализованного языка, являющегося посредником между внешним языком общения. и внутренней (семантической) моделью текста с учетом требований, определяемых этой моделью. Как отмечал Ф. Бэкон, — «Логика изучает процессы понимания и рассуждения.» [з.Зc.29lj. Указанные три уровня представляют собой три последовательных логических этапа в процессе «машинного понимания» текста. В связи с этим ставится задача логического описания средств, используемых на третьем этапе, т. е. модели типа семантической сети, удовлетворяющей условию однозначности перехода от языка-посредника к внутреннему представлению.
— Развитие формализованных диалоговых средств на базе применения полученных результатов для анализа вопросов в естественном языке, в частности, для построения подробной классификации вопросов на основании их логической структуры. Наконец, необходимо более широко рассмотреть возможные применения разработанных средств, а также перспективы дальнейших логических исследований в данной области.
Научная новизна диссертации определена включением в круг логических исследований новых проблем, а также характером полученных результатов, состоящих в следующем:
1. Определены и проанализированы задачи логико-семантических исследований в области разработки средств формализации текста в вопросно-ответных системах. В связи с этим рассмотрены ноше аспекты применения логических средств и перспективные направления прикладных логических исследований.
2. На основании проведенного анализа прикладной области выявлены и описаны используемые в ней логические средства. Так, представление текста в виде семантической сети рассмотрено и описано как формальная семантика первопорядкового языка. В этом описании предлагается новое решение вопроса о выборе типов связей между вершинами графа.
3. Уточнение указанных средств позволило разработать для представления текста формализованный язык, в котором предлагается изменение структуры атомарной формулы, состоящее во введении в ее состав отношения принадлежности, как единственной предикатной константы. Показано, что такая структура формулы удобна для обеспечения однозначного перехода к семантической сети, а также для формализации вопросов.
4. Развита подробная классификация вопросов на основании выделения их логической структуры и формализованного представления в разработанном языке. В результате формализации уточнены понятия предпосылки вопроса и области поиска ответа, а также рассмотрены способы сведения вопросов всех типов к стандартному виду.
Практическая ценность диссертации состоит, прежде всего, в направленности исследований на развитие логических средств, используемых в конкретной прикладной области. Изменение структуры атомарной формулы позволило расширить возможности формализованного представления текста и обеспечило однозначный переход от этого представления к графовой модели. В качестве этой модели рассмотрена семантическая сеть, широко используемая в системах автоматического анализа текста. Уточнены логические свойства этого вида представления и показана достаточность введения только трех типов чисто функциональных связей между вершинами графа. Такая структура является универсальной, так как применима к текстам из различных областей знаний, не требуя введения дополнительных типов связей между вершинами. Особое внимание уделено представлению сложных суждений и содержательных связей между суждениями.
Использование разработанных средств формализации позволило построить подробную классификацию вопросов, ориентированную на развитие возможностей их автоматического анализа и поиска ответа. Детализация структуры позволила выделить различные типы формализованных вопросов по месту, занимаемому в атомарной формуле, переменной, связанной вопросным оператором. Рассмотрены средства представления предпосылок формализованных вопросов и определения области поиска ответа. Предложены методы сведения вопросов различных типов к стандартному виду, удобному с точки зрения последующего возможного применения методов автоматического доказательства теорем для поиска ответа.
В сущности, именно логический анализ фрагментов естественного языка должен давать результаты, весьма ценные для развития средств общения с ЭВМ. Как отмечает Э. В. Попов, — «. описание естественного языка (пока никем не выполненное), называемое „семантическим“ описанием, ориентировано на то, каким образом осуществляется анализ (=понимание) и синтез (формирование) текстов носителями языка» [3.24- c. I8l] .
Разработка логических средств формализации текста для вопросно-ответных систем представляет несомненный философский интерес в двух аспектах. С одной стороны, важен анализ того фрагмента естественного языка, который непосредственно связан с теорией информации, точнее, с процессами языкового обмена информацией и поиска информации. С другой стороны, интерес вызывает способ представления знаний системы, который можно рассматривать с различных точек зрения: как модель области знаний, как интерпретацию для логического языка, как модель фрагмента действительности и, наконец, как модель фрагмента естественного языка. Таким образом, результаты анализа используемых в данной области средств представления информации дают богатый материал для самых разных теоретических исследований, — логико-философских, психологических, лингвистических.
Наконец, проанализированный материал и полученные результаты могут быть использованы в общем курсе логики для иллюстрации широты ее приложений, а также в спецкурсах по интеррогативной логике и логической семантике, дополняя их прикладной проблематикой.
Методологической основой исследования служит тезис диалектического материализма о неразрывном единстве языка и мышления, о языке как непосредственной действительности мысли [к .Маркс, Ф. Энгельс, соч., изд. 2-е, т. З, c.448j. Логика, как наука о законах и формах мышления, отраженных в языке, находит в данной области широкое применение, предоставляя средства выявления смысловой (понятийной) структуры текста и давая методологию выбора оптимальных ограничений на используемый фрагмент естественного языка. Развитие языка общения с ЭВМ в направлении приближения этого языка к естественному несомненно предполагает самое широкое применение методов логики. При этом недостаточно ограничиться использованием готовых формализованных исчислений. Для решения задач, стоящих в данной прикладной области, требуется привлечение методов содержательного логического анализа понятий, суждений и умозаключений как форм представления информации в естественном языке. Такой анализ является необходимым условием разработки эффективных средств представления информации в формализованном языке, пригодном для автоматической обработки. В данном случае логическая формализация есть метод перехода от естественно-языкового представления к машинному, и основной задачей этого перехода является возможно более полное сохранение информации.
Принятая в данном диссертационном исследовании методология учитывает гносеологическую сущность формализации, состоящую, в частности в том, что «естественный языкуниверсальная основа искусственных» Jj3. I0- c.43j. В соответствии с этим построению формализованного представления предшествует анализ выражений естественного языка. Результаты этого анализа определяют направление разработки средств формализации. В свою очередь, такое введение формализованного представления позволяет углубить анализ некоторых фрагментов естественного языка, например, диалоговых средств.
Наряду с логическими в вопросно-ответных системах используются лингвистические методы структурирования текста, которые необходимы для первоначального синтаксического анализа предложений, но недостаточны для выявления их содержания. Учитывая приведенное выше замечание Э. В. Попова, представляется целесообразным четко разграничить лингвистические и логические задачи анализа текста. В связи с этим предлагается рассматривать их, как задачи различных, дополнявдих друг друга этапов перехода от текста к его формализованному представлению. Выделенные таким образом логические аспекты этого перехода, которые ранее специально не рассматривалоись, являются объектом анализа в данной работе.
Круг проблем, связанных с логическими исследованиями в этой области, определяется наличием трех уровней представления информации в вопросно-ответной системе. Этими уровнями являются внешний язык общения, использующий ограниченный фрагмент естественного языкаязык-посредник, дающий «вербально-логическую» форму представления предложений в виде формул прикладного языка и, наконец, внутренний язык, описывающий структуру данных, т. е. введенные в систему знания. При разработке языка-посредника очевидна необходимость учета как человеческой, так и машинной логики представления информации. Поэтому объектом исследования в предлагаемой работе являются как способы представления текста, используемые в вопросно-ответных системах, так и сам текст. Лингвистические методы и средства перехода от предложения к формализованному выражению представляют собой отдельную область исследований, которой посвящено много работ. Поэтому лингвистические задачи специально рассматриваться не будут, равно как и вопросы программного обеспечения. В данной работе рассматриваются текст, данный в языке общения, его формализация в языке-посреднике и его модель, являющаяся аналогом структуры данных. Для их анализа будут привлечены логические методы анализа форм мышления, методы формализации, а также средства ин-террогативной логики и логической семантики.
В данном диссертационном исследовании логическая формализа ция рассматривается в трех аспектах. Во-первых, как метод анализа, состоящий в выявлении и строгом описании логических структур вы ражений естественного языка. Во-вторых, как средство, позволяющее на основании выявленных структур отдельных групп выражений уточнять их логические свойства и проводить классификацию. И, наконец, как полученный в результате такого анализа формализованный язык, ори ентированный на машинную интерпретацию. При этом речь идет о форма лизации в конкретной прикладной области — вопросно-ответных систе мах, что потребовало, в первую очередь, провести логический анализ самой этой области. Было установлено, что при разработке вопросно ответных систем логические средства используются широко, но сти хийно, нестрого и, в известнш смысле, «без ведома логики». Упоря дочение этих средств с учетом задач данной области, несомненно имеет практическую пользу, а также представляет теоретический ин терес, как пополнение предмета логики новым материалом. Первое, что было сделано, — это уточнение места и роли мето дов логики. Т. Виноград указывает, что «…попытки запрограммиро вать машины с целью понимания естественного языка прояснили, что именно должна делать семантическая теория и как она должна быть связана с синтаксическими и логическими аспектами языка… Если имеется синтаксический анализатор для грамматики английского язы ка и дедуктивная система на базе знаний о конкретном предмете, роль семантики сводится к тому, чтобы заполнить пространство меж ду ними» [ 3.6- с.57]. На деле имеет место гораздо более сложная ситуация взаимодействия между логическими и лингвистическими сред ствами, с одной стороны, и между различными логическими методами,.
используемыми на различных уровнях представления, информации, с другой стороны. Особо следует подчеркнуть роль семантической теории. Она свя зана здесь не только с синтаксическими и логическими аспектами языка (как пишет Т. Виноград), но также с прагматическими и психо логическими. Данная область представляет собой одной из перспек тивных направлений применения и дальнейшего развития семантических методов анализа естественного языка и представления ^аний.Е. Д. Смирнова отмечает, что логическая семантика базируется на тео рии отражения и разрабатывает ее основной принцип, при чем «…дальнейшее развитие логической семантики приводит к необходимости учитывать и более глубокие принципы отражения» [3.28- C. I67J.Шенно с такой точки зрения можно рассматривать язык общения, язык-посредник и семантическую сеть, т. е. три уровня представле ния содержания текста, как модель для анализа возможностей отраже ния информации в различных структурах. При этом следует иметь вви ду, что семантическая сеть — это не только графовый аналог машин ного представления данных, но и модель, используемая в психологии для анализа человеческой ассоциативной памяти. В психологии появи лось целое направление, занимающееся исследованием представления информации у человека. Одной из центральных идей этого направления является сравнительный анализ человеческого и искусственного ин теллекта с целью улучшения понимания человеческого мышления [^ 3.41- т. З, 0.4]. Данная область, несомненно, представляет интерес не только для психологических, но и для логико-семантических исследо ваний. Таким образом, выбор средств формализации текста и представ ление его содержания в виде семантической сети должны основываться на предварительном содержательно-логическом анализе. Этим обус ловлено то, что первая глава диссертации посвящена рассмотрению логических проблем данной области в целом, и, в частности, содер жательному анализу выражений естественного языка. При выборе струк туры логического языка, разработанного и описанного во второй гла ве, учитывались не только требования, ставящиеся задачами формали зации выражений естественного сзыка, но и некоторые идеи програм много обеспечения систем, использующих семантические сети [^ 4.10J.Шенно так появилась идея введения отношения принадлежности в структуру атомарной фориулы. Семантические сети, рассмотренные в третьей главе, появились в психологии и использовались в вопросно-ответных системах совер шенно независимо от логической семантики. В то же время они пред ставляют собой удобную с точки зрения интерпретации модель для прикладного логического языка. Следует отметить, что в ходе иссле дований представление разнообразных содержательных примеров с по мощью семантических сетей позволило существенно уточнить структуру языка Р К и и увеличить его гибкость. Предпринятая попытка рассмот рения графового представления текста как особого варианта формаль ной семантики дала следующие результаты. Во-первых, в предлагаемом варианте семантической сети используется минимальное количество различных типов связей (дуг) при отсутствии ограничений на слож ность представляемых выражений естественного языка"Во-вторых, в ходе интерпретации удалось уточнить, что именно должно считаться аналогом логических констант на уровне графового представления. И, наконец, в логический язык были введены элементы, обеспечиваю щие установление взаимно-однозначного соответствия между логиче ским и графовым представлением текста. Форвиализация вопросов, рассмотренная в четвертой главе, дала средства для детального анализа их логической структуры. На осно вании этого была развита подробная классификация, а также рассмот рены средства «развертывания» неявно содержащейся в вопросе инфор рдации. Ориентация на модель типа семантической сети позволила уточнить понятие предпосылки вопроса и ввести понятие области по иска ответа. Белнап и Стил отмечают, что «…адекватное усовер шенствование эротетической логики… позволит создать и внедрить информационные вопросно-ответные языки и системы, значительно бо лее мощные и полезные, чем тем, что имеются в нашем распоряжении на сегодняшний день» [_3.4- c. I48j. С этой точки зрения язык P R S предоставляет следующие возможности- • формализация вопросов различных типов и сложности в языке первого порядка и подробная классификация формализованных вопро сов на основании их логической структуры- • выделение классов вопросительных слов, представленных в виде операторов, по их функциональной роли в процессе поиска от вета- • определение логических категорий терминов-понятий- • определение логической категории неизвестного в вопросе П типа- • предоставление средств для уточнения взаимосвязей между логическими и грамматическими категорями, что важно для развития средств перехода от текста к его формализованному представлению и обратно- • развитие логических методов, которые MOI^T быть использо ваны в ходе автоматического анализа формализованных вопросов, на пример, сведение различных вопросов к стандартному виду. Логический анализ языка общения, языка-посредника и внутрен него (графового) языка предоставляет интересный материал для срав нения различных способов представления информации, как различных взаимодействующих уровней одного процесса — информационного поис ка. При этом рассматривается зависимость структуры способа пред ставления информации от задач соответствующего уровня, а также от специфических различий между человеческой и машинной логикой. Анализ и формализация вопросительных предложений имеет особый интерес с точки зрения теории познания, поскольку экспликация поня тия вопроса углубляет «представление о том, что делает неточные вопросы неточными и что нужно для их превращения в точные вопросы» [зАс.2з]. В данной прикладной области формализованный вопрос выступает в роли средства, дающего команду на поиск информации, определяще го направление этого поиска и содержащего указания относительно области поиска и формулировки ответа. Особый интерес имеет анализ взаимосвязи вопросов с их предпосылками, поскольку информацию и энтропию можно «…интерпретировать как характеристики соответст венно высказываний и вопросов» [з.19- C.3I9J. Более того, ее мож, но рассь5атривать «как некоторую характеристику отношения высказы вания к вопросу» (там же, с.321). В данной диссертации анализиру ется взаимосвязь вопроса с тремя видами утверждений: предпосылка ми, формализованным описанием области поиска ответа и самими отве тами. Такая область, как вопросно-ответные системы, требует тесного взаимодействия теоретических и прикладных логических исследований. При этом встает двоякая проблема, которую необходимо учитывать в процессе разработки средств формализации. С одной стороны это слож- 142 ;
нейшая проблема анализа текста, требующая широкого применения ло гико-семантических и лингвистических средств. В этом отношении всегда будут существовать неисследованные аспекты и неиспользован ные возможности анализа, благодаря углублению наших знаний о пси хологии и логике представления знаний, а также благодаря развитию средств моделирования. В настоящее время имеющаяся здесь ситуация определяется тем, что «…единой, законченной теории машинного по нимания естественного языка и методологии разработки естественно языковых систем пока не существует» [з.12- c. I20j. Формализация есть то, что лежит в основе машинного «понимания», и другая сторо на проблемы состоит в необходимости использования по-возможности простых средств для формализации сложных текстов. Дело здесь не только в обеспечении однозначного перехода к машинному представле нию, но и в сждущем обстоятельстве, связанном с созданием инфор мационной базы. Целью создания вопросно-ответных систем является обеспечение коь^орта для пользователя, которому требуется эффектив ный анализ или поиск информации в некоторой обширной области, на пример, медицинской диагностике [2.9- 4-.30j. При этом предполагает ся, что данная область не остается неизменной, а постоянно пополня ется и корректируется. Но это означает, что в некоторых случаях мо жет понадобиться введение или удаление какой-либо прикладной аксио мы, что требует прямого обращения к языку-посреднику. На данном этапе трудно однозначно ответить на вопрос, кто должен четко опре делить, представить во всех деталях и формализовать соотношение между базовыми понятиями, принадлежащими к конкретной области зна ний, — специалист в данной области или специалист по вопросно-от ветным системам. Во всяком случае, второй не будет вникать в тон кости медицинской диагностики. Если же специалист по диагностике.
или какой-либо другой представляемой области знаний попытается совершить эту работу, то в ряде случаев ему придется задуматься над уточнением содержания многих терминов, которые раньше каза лись достаточно точными. Во всяком случае, польза от такой попыт ки будет, поскольку «…мы иногда скрываем недостаточность пони мания и логические несообразности, неосознанно используя безмер ную гибкость естественного языка и его неотъемлемую неоднознач ность… Вычислительная машина — безжалостный критик» [_ 3*5-с. 152J. Следовательно, чтобы такая попытка была возможна, не только язык общения, но и до какой-то степени язык-посредник тоже должен быть доступным для понимания его пользователем. Терминологический анализ конкретной области знаний и систе матизация базовой терминологии представляют собой трудоемкую за дачу, от решения которой во многом зависит эффективность информа ционной системы. Одним из шагов этого анализа является определе ние логических категорий терминов-констант, рассмотренное в пятой главе. Особо рассматриваются категории операторов, заменящих вопросительные слова, поскольку однозначная интерпретация вопроса необходима для последующего поиска информации. При этом следует помнить, что языковые выражения «…всегда являются до некоторой степени неопределенными и в каждом отдельном случае могут иметь бесконечно много оттенков смысла» [3.19- с.459]. Формализация текста требует детального логического анализа таких оттенков с целью выбора, строгого определения и фиксации единственного из них. Одним из средств фиксации является установление логической категории термина, определяющее возможные для него связи с други ми терминами-понятиями.Именно таким свойством обладают, в частности, формализован- 144 ;
ные в языке 'P'RS вопросы. Таким образом, разработанные в резуль тате логико-семантического анализа средства формализации позволи ли, во-первых, представить и систематизировать разнообразные вида вопросов, и, во-вторых, обеспечили возможность однозначного све дения всех этих вопросов к стандартной форме, для которой могут быть рассмотрены различные алгоритмы информационного поиска. Опи санный в конце пятой главы пример такого сведения вопроса демон стрирует применение разработанных средств анализа и формализации языковых выражений. В заключение следует еще раз подчеркнуть, что такая приклад ная область, как вопросно-ответные системы, включает широкий круг проблем, требующих логического исследования. Данная диссертацион ная работа посвящена одной из них — проблеме фо|"лализации текста. Дальнейшее развитие этой темы возможно в нескольких направлениях, каждое из которых представляет большой интерес с точки зрения разработки новых логических методов и средств и применения уже имещихся. В число указанных направлений входят следующие- • Логико-философское направление предполагает рассмотрение широкого круга теоретических проблем, К ним относятся, например, такие как анализ поиска ответа на вопрос в представленной системе знаний с точки зрения понятий информации и энтропии (см., напри мер ?4. s j), рассмотрение языка-посредника и графовой модели как различных уровней отражения информации, содержащейся в тексте. Особый интерес представляет анализ соотношения естественного язы ка и человеческого мышления, с одной стороны, и искусственных языков и «машинного мышления» — с другой. Именно в процессе диало га, как отмечает Ю. А. Шрейдер, — «... возможно осуществить преобра зование лексико-семантических связей в языке ЭШ, подсказывая ма- 145 шине смысловые ассоциации, которые возникавэт у человека в процес се диалога» [_2.13- c. V-SJ. Д. А. Поспелов отмечает, что именно в данной области для пополнения хранимых в системе знаний следует использовать специальные логики: временные, пространственные, каузальные, деонтические, эпистемологические и другие4.17- c. Tj, В данном диссертационном исследовании была рассмотрена лишь одна из логик такого рода — интеррогативная. Несомненный интерес пред ставляет рассмотрение и других логик (модальных, временных) не как чисто формальных исчислений, а на примере конкретной области знаний. • Логико-лингвистическое направление исследований связано с разработкой конкретных вопросно-ответных систем. Эта разработка требует проведения широкого терминологического анализа различных фрагментов естественного языка, соответствущих представляемым областям знаний. Кроме того, расширение области применения вопрос но-ответных систем, а также развитие программного обеспечения тре буют постоянного развития средств этапа предредактирования. Нако нец, как отмечает Ю. Д. Апресян, — «…поскольку смысл в языке ко дируется не только словами, но и многими другими средствами — аф фиксами, синтаксическими конструкциями, просодикой (ударением и.
интонацией), семантика должна заниматься значением всех, а не толь ко словарных единиц" [_4.1- C.4−5J. Несомненно, такое расширенное рассмотрение способов выражения смысла представляет интерес не только для лингвистической семантики, но и для логической. • Логико-психологическое направление исследований состоит в рассмотрении различных моделей представления информации как одно го из методов анализа некоторых аспектов человеческой памяти[_3• 39j, [^4.29J. Это направление дает чрезвычайно интересный материал для.
исследований! поскольку «…изучение законов понимания человече ского языка позволяет лучше понять закономерности работы челове ческого мозга» []4.46- C.25J.Такое богатство проблематики обусловлено тем, что объектом исследования является естественный язык, рассматриваемый как средство выражения различных концептуальных систем, представляю щих разнообразные области человеческих знаний.
