Логико-семантические средства формализации текста в вопросно-ответной системе

• Автор: Волченко, Мария Викторовна
• Шифр специальности: 09.00.07
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 167 c. : ил

СОДЕРЖАНИЕ
Введение .
Глава I. Логические проблемы в области разработки языка, близкого к естественному, для человекомашинного диалога

1.1. Широта применения логических средств.

1.2. Анализ выражений естественного языка

1.3. Формализованное представление текста

Глава 2. Построение формализованного языка.для.

представления текста

2.1. Границы и тонкости формализации текста

2.2. Определение логических средств

2.3. Описание прикладного языка

Глава 3. Построение графовой модели.текста.
семантическая сеть .
3.1. Семантическая сеть как формальная семантика
3.2. Интерпретация прикладного языка .
3.3. Графовое представление текста
Глава 4. формализация.диалоговых средств в прикладном
4.1. Анализ и классификация вопросов .
4.2. Предпосылки вопросов
4.3. Виды и формы ответов Ш
Глава 5. Возможные применения разработанных средств .
5.1. Описание логических категорий терминовконстант
5.2. Определение категорий ответов.
5.3. Анализ формализованных вопросов .
Заключение
Литература


С другой стороны, интерес вызывает способ представления знаний системы, который можно рассматривать с различных точек зрения как модель области знаний, как интерпретацию для логического языка, как модель фрагмента действительности и, наконец, как модель фрагмента естественного языка. Наконец, проанализированный материал и полученные результаты могут быть использованы в общем курсе логики для иллюстрации широты ее приложений, а также в спецкурсах по интеррогативной логике и логической семантике, дополняя их прикладной проблематикой. Методологической основой исследования служит тезис диалектического материализма о неразрывном единстве языка и мышления, о языке как непосредственной действительности мыслик. Маркс, Ф. Энгельс, соч. З, с. Логика, как наука о законах и формах мышления, отраженных в языке, находит в данной области широкое применение, предоставляя средства выявления смысловой понятийной структуры текста и давая методологию выбора оптимальных ограничений на используемый фрагмент естественного языка. Развитие языка общения с ЭВМ в направлении приближения этого языка к естественному несомненно предполагает самое широкое применение методов логики. При этом недостаточно ограничиться использованием готовых формализованных исчислений. Для решения задач, стоящих в данной прикладной области, требуется привлечение методов содержательного логического анализа понятий, суждений и умозаключений как форм представления информации в естественном языке. Такой анализ является необходимым условием разработки эффективных средств представления информации в формализованном языке, пригодном для автоматической обработки. В данном случае логическая формализация есть метод перехода от естественноязыкового представления к машинному, и основной задачей этого перехода является возможно более полное сохранение информации. В соответствии с этим построению формализованного представления предшествует анализ выражений естественного языка. Результаты этого анализа определяют направление разработки средств формализации. В свою очередь, такое введение формализованного представления позволяет углубить анализ некоторых фрагментов естественного языка, например, диалоговых средств. Наряду с логическими в вопросноответных системах используются лингвистические методы структурирования текста, которые необходимы для первоначального синтаксического анализа предложений, но недостаточны для выявления их содержания. Учитывая приведенное выше замечание Э. В. Попова, представляется целесообразным четко разграничить лингвистические и логические задачи анализа текста. В связи с этим предлагается рассматривать их, как задачи различных, дополняющих друг друга этапов перехода от текста к его формализованному представлению. Выделенные таким образом логические аспекты этого перехода, которые ранее специально не рассматривалоись, являются объектом анализа в данной работе. Круг проблем, связанных с логическими исследованиями в этой области, определяется наличием трех уровней представления информации в вопросноответной системе. Этими уровнями являются внешний язык общения, использующий ограниченный фрагмент естественного языка языкпосредник, дающий вербальнологическую форму представления предложений в виде формул прикладного языка и, наконец, внутренний язык, описывающий структуру, данных, т. При разработке языкапосредника очевидна необходимость учета как человеческой, так и машинной логики представления информации. Лингвистические метода и средства перехода от предложения к формализованному выражению представляют собой отдельную область исследований, которой посвящено много работ. Поэтому лингвистические задачи специально рассматриваться не будут, равно как и вопросы программного обеспечения. В данной работе рассматриваются текст, данный в языке общения, его формализация в языкепосреднике и его модель, являющаяся аналогом структуры данных. Для их анализа будут привлечены логические методы анализа форм мышления, методы формализации, а также средства интеррогативной логики и логической семантики.