Логические средства моделирования диалога тема диссертации и автореферата по ВАК РФ 09.00.07, кандидат философских наук Болдырев, Андрей Степанович

• Болдырев, Андрей Степанович
• кандидат философских наук
• 1999

Оглавление диссертации кандидат философских наук Болдырев, Андрей Степанович

Введение

Глава 1. Структура диалога.

1.1 Мышление, сознание, язык и речь в диалоге

1.2 Речевые действия в диалоге и виды диалога

1.3 Вопросно-ответный диалог и его роль в познании

Глава 2» Роль диалога в решении проблем искусственного интеллекта.

2.1 Вопросно-ответный диалог и искусственный интеллект

2.2 Принцип резолюции как метод поиска ответа

в вопросно-ответном диалоге

2.3 Использование метода исчислений

при машинном поиске ответа

2.4 Диалог человека и ЭВМ. Естественно-языковые системы

2.5 Диалог в работе экспертных систем

Глава 3. Моделирование диалога.

3.1 Логические исчисления в моделировании диалога

3.2 Релевантная логика и моделирование диалога

3.3 Логика норм и многозначная логика

в моделировании диалога

3.4 Языки, моделирующие интеррогативные выражения

3.5 Язык, моделирующий речевые действия в диалоге

Заключение

Литература

Введение диссертации (часть автореферата) на тему «Логические средства моделирования диалога»

Введение.

Актуальность темы исследования.

В практике человека существенную роль играет диалог, как способ обмена опытом познающих субъектов, а также как средство взаимодействия (координация действий с целью получения желаемого результата). Кроме того, диалог, вероятно, можно считать формой и методом понимания себе подобных, природы и самого себя.

Интенсивный обмен информацией как между различными коммуникантами одной системы, так и между системой и окружающей средой является непременным условием дееспособности системы. Но в связи с резко возрастающим информационным потоком в настоящее время нарастает информационный кризис, который выражается, во-первых, в противоречии между ограниченными возможностями человека по восприятию и переработке информации и существующими потоками и массивами насущно необходимой информации; во-вторых, в производстве значительного количества избыточной информации, затрудняющей использование полезной информации.

Поэтому, актуальной становится проблема систематизации информации, то есть оптимизации её хранения и обработки. Для решения этой проблемы большое значение имеет исследование природы диалога вообще и в частности вопросно-ответного диалога. Целью данной работы и является изучение структуры диалога с целью построения его логической модели.

Существует неотложная необходимость понять, как проявляет себя вопросно-ответное отношение в приложениях, связанных с обработкой информации. За последние три десятилетия произошёл. разительный скачок в развитии промышленных систем обра-

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

Сказанное выше явно не относится к тем аспектам обработки информации, которые связаны с созданием самих технических устройств. Трудности возникают при создании обеспечения систем, при написании машинных программ, предназначенных для того, чтобы заставить вычислительное устройство решать определённые задачи. В наши дни программирование на вычислительной машине — это искусство, а не техническая дисциплина, и из-за того, что оно не является наукой, проистекают все беды. Это является следствием отсутствия основной науки, на которой базировалось бы. программирование.

Среди основных приложений с использованием интегральной системы управления базой данных находятся вопросно-ответные системы. ВОС позволят одному или более потребителям задавать вопросы к её базе данных, в которой хранимая информация представляет собой модель самых разных моментов действительности. Предполагается, что система отвечает на эти вопросы. Отсюда очевидна важность ясного понимания вопросно-ответного отношения при конструировании таких систем. Необходимыми компонентами вопросно-ответных систем являются очень сложные ма-

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

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

Таким образом, усовершенствование логики диалога, вероятно, позволит создать и внедрить информационные и вопросно-ответные языки и системы, значительно более мощные и полезные, чем те, что имеются в нашем распоряжении сегодня.

Степень разработанности темы.

Основные виды речевых действий, входящих в диалог — пропозициональные, нормативные и интеррогативные. Логическое моделирование пропозициональных речевых действий может

быть осуществлено средствами языка логики высказываний или логики предикатов. Б.Рассел и А.Уайтхед в книге "Principia Mathematica" формулируют один из наиболее полных вариантов формального языка современной символической логики.3

Логическое моделирование нормативных речевых действий подразумевает использование логики норм (деонтической логики). В этой области наиболее известна работа А.Прайора4. В отечественной литературе можно выделить работы А.А. Ивина5.

При моделировании интеррогативных выражений используется логика вопросов и ответов. В этой области наиболее известными являются работы К.Айдукевича6. М. и А. Прайоров7, Г.Леонарда8, Т.Кубиньского9, Н.Белнапа и Т.Сгила10, Д.Харра11. В отечественной литературе этому вопросу посвящены работы Е.К Войшвилло и Ю.А.Петрова12, а также К.А.Сергеева и А.Н.Соколова13.

В области собственно логического моделирования диалога известны работы Б. И.Фёдорова и 3.0. Д ж а л и а ш в и л и14. Однако, в этих работах р ас см атр ива ется лишь одна его разновидность — вопросно-ответный диалог. В них акцентируется внимание на обучающем диалоге, то есть на вопросно-ответном диалоге, познавательном лишь для одного из его участников.

3 Whitehead A., Russel В. Principia mathematica. Vol. I - - 3. Cambridge, 1925 - 1927.

4 Prior A. Deontic logic. / The encyclopedia of philosophy. London, 1967.

5 Ивин A.A. Деонтическая логика. / Вопросы философия. 1966(12).

Логика норм и наука о праве. / Применение математической логики и вычислительной техники в праве, криминашетике и судебной экспертизе. Москва, 1970. Логика норм. МГУ, 1973.

Человеческое взаимодействие и логика норм. / Вестник МГУ. Философия, 1971(5).

6 Ajducewicz К Pragmatic logic. Netherlands, 1974. Part 6.

7 Erotetic logic. / Philosophical Review, 1955, vol.64, N1.

8 Leonard Ы. Interrogatives, imperatives, truth, falsity and lies. / Philosophy of science. 1959.

9 Kubinskj T. An essay in logic of questions. / Atti del XII congresso Internationale di Filosofía, Venezia, 1958, vol.6.

10 Белнап H,, Стая Т. Логика вопросов и ответов. Москва, 1981.

11 H arrah D. A logic of questions and answers. / Philosophy of science. 1961.

12 Войшвюшо E.K., Петров Ю.А. Язык и логика вопросов. / Логика и методология научного познания, Москва, 1974. стр. 147-158.

13 Сергеев К.А., Соколов А.Н. Логический анализ форм научного знания. Ленинград, 1986.

14 Фёдоров Б. И. Логика обучающего диалога. / Логика и рост научного знания. СПбГУ, 1992. Фёдоров Б.И. Джалиашвили З.О. О базисе эротетической логики. / Научная конференция

"Современная логика: проблемы теории, истории и применения в науке". Тезисы докладов. СПбГУ, 1996.

Как видно из сказанного выше, данная тема не является достаточно разработанной.

Цепь и задачи исследования.

Основной целью диссертации является построение языка, моделирующего речевые действия в диалоге. Построение языка осуществляется при помощи существующих логических средств. В то же время, предлагаемый автором язык сам может рассматриваться как средство исследования диалога. Цель достигается посредством решения следующих задач:

(1) выявление видов речевых действий в естественном диалоге;

(2) определение основных видов диалога с позиции речевых действий, входящих в него;

(3) анализ возможностей формализованных языков (языка логики высказываний, языка логики предикатов первого порядка и языка логики предикатов второго порядка) в моделировании речевых действий диалога;

(4) оценка возможностей аксиоматического, натурального и секвенциального исчислений в моделировании диалога;

(5) исследование возможностей неклассических логик (логики вопросов и ответов, деонтической логики, релевантной логики) в моделировании диалога.

Методология исследования.

В работе применяется метод логического моделирования. Метод моделирования широко распространён в теоретической и прикладной наук». Суть его в том, что для изучения какого-либо объекта-оригинала конструируется другой объект-модель, подобный первому в некоторых существенных отношениях. Модель исследуется, а затем результаты исследования переносятся на ори-

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

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

Научная новизна диссертации.

Научная новизна диссертации заключается:

(1) в выявлении видов речевых действий, возможных в диалоге;

(2) в сведении всех речевых действий диалога к трём видам, а этих трёх — к одному;

(3) в построении языка, в котором выразимы как пропозициональные, так и нормативные и интеррогативные речевые действия.

Положения, выносимые на защиту.

(1) Диалог представляет собой последовательность коммуникативных единиц, каждая из которых состоит из двух речевых актов: (1) выражение требования в речевой форме одним субъектом (31 > по отношению к другому субъекту (82) и (2) реакция второго на это требование (выполнение или отказ выполнить).

(2) Все речевые действия, возможные в диалоге, сводимы к трём видам:

А

81 требует, чтобы Б2 привёл свою модель мира (структуру сознания) в соответствие с некоторым суждением (повествовательное предложение; в логике — суждение),

Б2 выполняет требование (или отказывается выполнить).

Б

Б1 требует, чтобы Б2 привёл структуру мира в соответствие с некоторым высказыванием (побудительное предложение; в логике — норма).

82 выполняет требование (или отказывается выполнить).

В

81 требует, чтобы 82 предоставил информацию относительно какого-либо фрагмента (каких-либо фрагментов) его модели мира (вопросительное предложение; в логике — вопрос).

82 выполняет требование (или отказывается выполнить).

(3) Во всех трёх видах коммуникативных единиц общим является то, что участник 81 требует преобразования какой-либо структуры. Если модели мира участников диалога рассматривать как элементы мира вообще, то три вида коммуникативных единиц сводимы к одному: участник 81 выдвигает требование по преобразованию мира вообще, а участник 82 реагирует на это требование (выполняет или отказывается выполнить).

(4) В зависимости от вида коммуникативных единиц, из которых состоит диалог, возможны его следующие виды: обмен информацией (мнениями) (диалог, состоящий из коммуникативных единиц вида (А)); инструктивный (диалог, включающий в себя коммуникативные единицы вида (Б)); вопросно-ответный (диалог, состоящий из коммуникативных единиц вида (В)). Возможны

смешанные виды диалога: диалоги, состоящие из единиц (А) и (Б), (Б) и (В), (А) и (В), а также (А), (Б) и (В).

(5) В предлагаемом автором языке выразимы все основные речевые действия, возможные в диалоге: пропозициональные (вида А), нормативные (вида Б), вопросительные (вида В),

Теоретическое и практическое значение диссертации.

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

Апробация работы.

Диссертация обсуждалась на заседании кафедры логики философского факультета Санкт-Петербургского государственного университета. Основные положения диссертации отражены в выступлениях автора на семинаре "Логические основы искусственного интеллекта", проводимого на кафедре логики философского факультета СПбГУ, а также в следующих публикациях:

(а) Устранение сечения в исчислении Оз. / Научная конференция "Современная логика: проблемы теории, истории и применения в науке". Санкт-Петербург, 1996. с.2.

(6) Логическое моделирование диалога. / Материалы У Общероссийской научной конференции "Современная логика: проблемы теории, истории и применения в науке". Санкт-Петербург, 1998. с. 44.

(в) Мухачёв В.П., Болдырев A.C. Алгоритм определения выводимости секвенций в исчислении Lkra без построения вывода. / Материалы V Общероссийской научной конференции "Современная логика: проблемы теории, истории и применения в науке". Санкт-Петербург, 1998. с. 235.

Структура и объём работы. Диссертация состоит из введения, трёх глав, заключения и списка литературы. Содержание работы изложено на 148 страницах машинописного текста. Список литературы состоит из 60 наименований.

Заключение диссертации по теме «Логика», Болдырев, Андрей Степанович

Заключение.

Проведённое исследование позволяет сделать вывод о значительных возможностях логики в уточнении как структуры диалога в целом, так и структуры основных трёх видов его элементов (коммуникативных единиц). Для моделирования коммуникативной единицы вида (А) (параграф 1.2) целесообразно использовать классическую логику; для моделирования коммуникативной единицы вида (Б) —• логику норм (деонтическую логику); для моделирования коммуникативных единиц вида (В) — интеррога-тивную (эротетическую) логику.

Диалог, состоящий из коммуникативных единиц вида (В) (вопросно-ответный диалог) имеет наибольшую познавательную ценность. Вопросы по реализуемой в них познавательной функции делятся на (а) описательные, (б) объяснительные и (в) предсказательные. Кроме того, по количеству возможных ответов существует три режима, в которых может задаваться вопрос: (а) открытый, (б) ограниченный и (в) закрытый. При моделировании описательных вопросов открытого режима целесообразно использовать язык логики предикатов второго порядка, при моделировании закрытых вопросов описательного типа может быть использован также язык логики высказываний.

Моделирование вопросов объяснительно-предсказательного вида связано с использованием метода исчислений. Наиболее универсальным средством здесь являются нормальные формы, которые можно использовать как для нахождения следствий (вопрос предсказательного вида), так и для нахождения гипотез (вопрос объяснительного вида.). Причём при нахождении ответа на вопрос объяснительно-предсказательного вида целесообразно использовать релевантную логику, чтобы избежать "парадоксов" классического следования. Меньшей универсальностью в этом смысле обладают секвенциальные к натуральные исчисления, ещё меньшей — аксиоматические -иечиедевшь,

Большое значение логическое моделирование диалога имеет для построения алгоритма машинного (автоматического) поиска ответа на вопрос (глава 2).

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

В дальнейшем было бы интересно исследовать диалог, как развивающуюся и самоорганизующуюся систему. В диалоге принимают участие несколько познающих субъектов (систем). Взаимодействуя, они образуют новую систему, развивающуюся, вероятно, по определённым законам, имеющую свои устойчивые и неустойчивые состояния и т. д.

Понятие коммуникативного статуса, введённое в параграфе 1.2. может быть использовано при моделировании диалоговых процессов различных видов с точки зрения взаимного подчинения участников диалога друг другу.

Список литературы диссертационного исследования кандидат философских наук Болдырев, Андрей Степанович, 1999 год

Литература.

1. Амосов ELM. Автоматы и разумное поведение. Опыт моделирования.

Киев, 1973.

2. Амосов U.M. Искусственный разум. Киев, 1969.

3. Амосов U.M. Моделирование мышления и психики. Киев, 1965.

4. Белнаи Н., Стил Т. Логика вопросов и ответов. Москва, 1981.

5. Берков В.Ф. и другие. Логика: логические основы общения. / Хрестома-

тия. Москва, 1994.

6. Бочвар Д.А. Исследования по математической логике, математической

лингвистике и информационным языкам. Москва, 1972.

7. Бочвар Д.А. Исследования по формализованным языкам и неклассиче-

ским логикам. / Москва, 1974.

8. Брушлинский A.B. Психология мышления и кибернетика. Москва, 1970,

9. Виноградов В.А. Информация и глобальные проблемы современности.

Вопросы философии, (12)1995.

10. Войшвшшо Е.К. Символическая логика. Классическая и релевантная.

Москва, 1989.

11. Войшвшшо Е.К., Петров Ю.А. Язык и логика вопросов. // Логика и ме-

тодология научного познания. МГУ, 1974.

12. Гаетев Ю.А. Массовая проблема. / Философская жизнь. Москва, 1964,

Т.З.

13. Геккер P.M. О логике вопросов и ответов. / Философские проблемы на-

учного познания, МГУ 1972.

14. Ивин A.A. Деонтическая логика. / Вопросы философии. (12)1966.

15,

16.

17,

18.

19.

20.

21

22.

23,

24,

25,

26,

27

28,

29

Ивин: A.A. Логика норм и наука о праве. / Применение математической логики и вычислительной техники в праве, криминалистике и судебной экспертизе. Москва. 1970.

Ивин A.A. Логика норм. МГУ, 1973.

Ивин A.A.. Человеческое взаимодействие и логика, норм. / Вестник МГУ. Философия. (5) 1971.

Ивлев Ю.В. Логика. МГУ, 1992.

Карри Х.Б. Основания математической логики. Москва, 1969.

Кейслер Г. Теория моделей. Москва, 1977.

Керт Г.М. К вопросу о взаимоотношении языка и мышления. / Язык и мышление. Москва, 1967.

КлиниС.К. Математическая логика. Москва, 1973.

Лезер-Ф. Новое в-логике и-возможности ЭВМ. / Будущее науки. Москва, 1973.

Лимантов Ф.С. Лекции по логике вопросов. / Ленинград, 1975.

Мельников Г,П. Кибернетический аспект отношения сознания, мышления, языка и речи. / Язык и мышление. Москва, 1967.

Нильсон Н.Д. Искусственный интеллект. Методы поиска решений. Москва, 1973.

Петров Ю.А. Азбука, логического мышления. Москва, 1991.

П'ойа Д. Как решать задачу. Москва, 1961 (1959).

Полушкин В.А. К вопросу об определении информации. / .Язык и мышление. Москва, 1967.

30. Попов Э.В, Алгоритмические основы интеллектуальных роботов и ис-

кусственного интеллекта. Москва, 1982.

31. Попов Э.В. Общение с ЭВМ на естественном языке. Москва, 1982.

32. Попов Э.В. Экспертные системы. Решение неформализованных задач в

диалоге с ЭВМ. Москва, 1987.

33. Проблемы моделирования языковой интеракции. / Сборник статей.

Тарту, 1978.

34. Сергеев К.А. Вопросы и нормы. / Вопросы философии социологии. Вы-

пуск 2. Л.ГУ, 1970.

35. Сергеев К.А. Логическая структура и гносеологические функции вопро-

сов. Ленинград, 1972.

36. Сергеев К.А., Соколов А.Н. Логический анализ форм научного знания,

Ленинград, 1986.

37. Серебрянников О.Ф. Иерархическое представление эвристик поиска до-

казательства в логических исчислениях. /Логика и теория познания, ЛГУ, 1990.

38. Смирнов В.А. Алгоритмы и логические схемы алгоритмов. / Логиче-

ские методы анализа научного значения. Москва, 1987.

39. Смирнов В.А. Формальный вывод и логические исчисления. Москва,

1972.

40. Фёдоров Б.И. Логика обучающего диалога. / Логика и рост научного

знания. СПбГУ, 1992.

41. Фёдоров Б.И., Джалиашвили 3.0. О базисе эротетической логики. / На-

учная конференция "Современная логика: проблемы теории, истории и применения в науке". Тезисы докладов. Санкт-Петербург, 1996.

42. Фёдоров Б.И., Джалиашвили З.О. Логика компьютерного диалога.

Санкт-Петербург, 1994.

43. Финн В. К; К' формальному определению понятия информационно-

поисковой системы. / нти (5)1981.

44. Финн В.К. Логические проблемы информационного поиска. Москва,

1976.

45. Хинтикка Я. Вопрос о вопросах. / Философия и логика. Москва, 1974.

46. Человек в мире диалога. / Всесоюзная конференция. Тезисы докладов 'И

сообщений. Ленинград, 1990.

47. Чёрч А. Введение в математическую логику. Москва, 1960.

48. Чикобава А.С. К вопросу о взаимоотношении мышления и речи-в связи

с ролью коммуникативной функции. / Язык и мышление. Москва, 1967.

49. Ajducewicz К. Pragmatic logic. Netherlands, 1974.

50. Bosanquet В. Logic. /Oxford, 1888, vol.!.

51. Cohen-F.S. What is a question? / The Monist, 19-29, vol.39, N3.

52. Harrah D. A logic of questions and answers. / Philosophy of science. 1961.

53. Harrah D. Communication: A logical model Cambridge, 1963.

54. Hintikka J. The semantics of questions and the questions of semantics.

Helsinki, 1976.

55. Kubinskj T. An essay in logic of questions. / Atti del XII Congresso

Internazionale di Filosofía, Yenezia, 1958, vol.f»,

56. Leonard H.S. Interrogatives, imperatives, truth, falsity and lies. / Philosophy

of Science, 1959, vol.26, N3.

57. Materna P, An intentional approach to questions. / Kybernetika, vol.15,

1979, N3.

58. Prior A. Deontic logic. / The encyclopedia of philosophy. London, 1967.

59. Prior A., Prior M. Erotetic logic. Philosophical Review, 1955, vol.64, N1.

60. Wittgenstein L. Philosophical investigations. Oxford, 1953.