Эпистемическая логика в проблематике искусственного интеллекта
|
Глава 1. Эпистемическая логика: от истоков к основным проектам 6
1.2. Истоки эпистемической логики: два подхода к изучению знания.
Семантика возможных миров 6
2.1. Основные системы эпистемической логики: невозможные возможные миры Я. Хинтикки и частичные возможные миры М.Н. Бежанишвили 27
Глава 2. Эпистемическая логика и исследования искусственного интеллекта .. 47
2.1. Основание и модель взаимодействия логики и исследований
искусственного интеллекта. Применение средств систем эпистемической логики к решению задач проектов искусственного интеллекта 47
2.2. Проблемы и перспективы взаимодействия систем эпистемической
логики и исследований искусственного интеллекта 63
Заключение 74
Список литературы 76
1.2. Истоки эпистемической логики: два подхода к изучению знания.
Семантика возможных миров 6
2.1. Основные системы эпистемической логики: невозможные возможные миры Я. Хинтикки и частичные возможные миры М.Н. Бежанишвили 27
Глава 2. Эпистемическая логика и исследования искусственного интеллекта .. 47
2.1. Основание и модель взаимодействия логики и исследований
искусственного интеллекта. Применение средств систем эпистемической логики к решению задач проектов искусственного интеллекта 47
2.2. Проблемы и перспективы взаимодействия систем эпистемической
логики и исследований искусственного интеллекта 63
Заключение 74
Список литературы 76
Актуальность темы. Вопрос о том, что представляет собой знание, что значит обладать знанием о чем-либо - вопрос, явным образом впервые поставленный на заре научной мысли в работах крупнейших древнегреческих философов - Платона и Аристотеля. Вплоть до XIX века стандартной формой рассмотрения данного вопроса выступало философское сочинение, в рамках которого автор, используя исключительно естественно-языковые средства, пытался определить понятие знания. В конце XIX века мы наблюдаем изменение данной формы: с данного времени, изучение вопроса знания постепенно становится прерогативой аналитической традиции философствования, склонной к применению формальных средств рассмотрения предмета.
Появление в середине XX века семантики возможных миров, которая достаточно быстро становится общепризнанной стандартной семантикой для систем модальной логики, вкупе с результатами философов-аналитиков приводит к возникновению эпистемической логики - логики модальностей знания и мнения. Практически в одно время с семантикой возможных миров, возникает новая область научных исследований - искусственный интеллект. Своей целью данная наука ставит построение интеллектуальных агентов. Как становится ясным уже в момент «юности» этой научной области, для того, чтобы сообщить некоторые знания данным агентам, эти знания должны быть представлены для них в доступной, понятной форме. Например, в виде совокупности высказываний формального языка некоторой логической теории.
Таким образом происходит установление взаимовыгодного взаимодействия между логическими теориями и исследованиями искусственного интеллекта, продолжающегося и по настоящее время. Исходя из этого, актуальной и вызывающей интерес представляется тема, в рамках которой целью является анализ взаимодействия между исследованиями искусственного интеллекта и тем направлением современной логики, которое своим предметом имеет пропозиции вида «х знает, что Р» и «х полагает, что Р».
Степень научной разработанности темы. Подготовительный этап разработки систем эпистемической логики, а именно, осуществление логического анализа пропозиций знания и мнения, обнаруживается в работах представителей аналитической философии - Г. Фреге, Б. Рассела, Р. Карнапа и У. Куайна. Разработка и осмысление стандартной семантики всех видов модальных логик, в том числе и эпистемической принадлежит С. Крипке. Разработки собственных версий систем эпистемической логики могут быть найдены в работах Я. Хинтикки, М.Н. Бежанишвили, Дж. Мейера, Р. Фагина, А. Балтага, С. Сметса, Й. ван Бентема, Н. Бежанишвили, В. ван дер Хоека, Х. ван Дитмарсча, Дж. Холперна, Г. фон Вригта. Решение центральной проблемы эпистемической логики - проблемы логического всеведения может быть найдено в работах Я. Хинтикки, Дж. Мейера и М.Н. Бежанишвили. Рассмотрение различных версий применения систем эпистемической логики к решению задач проектов искусственного интеллекта может быть обнаружено в работах Дж. Мейера, В. ван дер Хоека, Р. Фагина, Дж. Холперса, Й. Мозеса, А. Витселя, Дж. Звеспера.
Цель работы - рассмотреть эпистемическую логику в проблематике искусственного интеллекта.
Объект исследования - проблематика систем эпистемической логики.
Предмет исследования - проблематика взаимодействия систем эпистемической логики и исследований искусственного интеллекта.
Для достижения обозначенной цели исследования следует решить следующие задачи:
1) Выявить истоки возникновения эпистемической логики и охарактеризовать ее стандартную семантику теорию - семантику возможных миров С. Крипке;
2) Рассмотреть основные системы эпистемической логики: систему Я. Хинтикки и систему М.Н. Бежанишвили;
3) Выявить основание и модель взаимодействия логики и исследований искусственного интеллекта, также рассмотрев примеры применения средств систем эпистемической логики к решению задач проектов искусственного интеллекта;
4) Определить проблемы и перспективы взаимодействия систем эпистемической логики и исследований искусственного интеллекта;
Методы исследования. Основными методами, применяемыми при проведения исследования, выступают методы концептуального и логического анализа, а также метод «прагматического» анализа языковых выражений (в духе У. Куайна).
Структура и объем магистерской диссертации.
Во введении обоснована актуальность исследуемой проблемы, указаны степень научной разработанности темы и методы исследования, определены цель, задачи, объект, предмет исследования.
В первой главе «Эпистемическая логика: от истоков к основным проектам» выявлены истоки возникновения эпистемической логики, дана характеристика ее стандартной семантики - семантики возможных миров С. Крипке; рассмотрены основные системы эпистемической логики: система Я. Хинтикки и система М.Н. Бежанишвили.
Во второй главе «Эпистемическая логика и исследования искусственного интеллекта» выявлены основания и модель взаимодействия логики и исследований искусственного интеллекта; рассмотрены примеры применения средств систем эпистемической логики к решению задач проектов искусственного интеллекта; определены проблемы и перспективы взаимодействия систем эпистемической логики и исследований искусственного интеллекта. В заключении излагаются основные выводы по теме исследования.
В работе имеется список литературы, состоящий из 61 источника.
Появление в середине XX века семантики возможных миров, которая достаточно быстро становится общепризнанной стандартной семантикой для систем модальной логики, вкупе с результатами философов-аналитиков приводит к возникновению эпистемической логики - логики модальностей знания и мнения. Практически в одно время с семантикой возможных миров, возникает новая область научных исследований - искусственный интеллект. Своей целью данная наука ставит построение интеллектуальных агентов. Как становится ясным уже в момент «юности» этой научной области, для того, чтобы сообщить некоторые знания данным агентам, эти знания должны быть представлены для них в доступной, понятной форме. Например, в виде совокупности высказываний формального языка некоторой логической теории.
Таким образом происходит установление взаимовыгодного взаимодействия между логическими теориями и исследованиями искусственного интеллекта, продолжающегося и по настоящее время. Исходя из этого, актуальной и вызывающей интерес представляется тема, в рамках которой целью является анализ взаимодействия между исследованиями искусственного интеллекта и тем направлением современной логики, которое своим предметом имеет пропозиции вида «х знает, что Р» и «х полагает, что Р».
Степень научной разработанности темы. Подготовительный этап разработки систем эпистемической логики, а именно, осуществление логического анализа пропозиций знания и мнения, обнаруживается в работах представителей аналитической философии - Г. Фреге, Б. Рассела, Р. Карнапа и У. Куайна. Разработка и осмысление стандартной семантики всех видов модальных логик, в том числе и эпистемической принадлежит С. Крипке. Разработки собственных версий систем эпистемической логики могут быть найдены в работах Я. Хинтикки, М.Н. Бежанишвили, Дж. Мейера, Р. Фагина, А. Балтага, С. Сметса, Й. ван Бентема, Н. Бежанишвили, В. ван дер Хоека, Х. ван Дитмарсча, Дж. Холперна, Г. фон Вригта. Решение центральной проблемы эпистемической логики - проблемы логического всеведения может быть найдено в работах Я. Хинтикки, Дж. Мейера и М.Н. Бежанишвили. Рассмотрение различных версий применения систем эпистемической логики к решению задач проектов искусственного интеллекта может быть обнаружено в работах Дж. Мейера, В. ван дер Хоека, Р. Фагина, Дж. Холперса, Й. Мозеса, А. Витселя, Дж. Звеспера.
Цель работы - рассмотреть эпистемическую логику в проблематике искусственного интеллекта.
Объект исследования - проблематика систем эпистемической логики.
Предмет исследования - проблематика взаимодействия систем эпистемической логики и исследований искусственного интеллекта.
Для достижения обозначенной цели исследования следует решить следующие задачи:
1) Выявить истоки возникновения эпистемической логики и охарактеризовать ее стандартную семантику теорию - семантику возможных миров С. Крипке;
2) Рассмотреть основные системы эпистемической логики: систему Я. Хинтикки и систему М.Н. Бежанишвили;
3) Выявить основание и модель взаимодействия логики и исследований искусственного интеллекта, также рассмотрев примеры применения средств систем эпистемической логики к решению задач проектов искусственного интеллекта;
4) Определить проблемы и перспективы взаимодействия систем эпистемической логики и исследований искусственного интеллекта;
Методы исследования. Основными методами, применяемыми при проведения исследования, выступают методы концептуального и логического анализа, а также метод «прагматического» анализа языковых выражений (в духе У. Куайна).
Структура и объем магистерской диссертации.
Во введении обоснована актуальность исследуемой проблемы, указаны степень научной разработанности темы и методы исследования, определены цель, задачи, объект, предмет исследования.
В первой главе «Эпистемическая логика: от истоков к основным проектам» выявлены истоки возникновения эпистемической логики, дана характеристика ее стандартной семантики - семантики возможных миров С. Крипке; рассмотрены основные системы эпистемической логики: система Я. Хинтикки и система М.Н. Бежанишвили.
Во второй главе «Эпистемическая логика и исследования искусственного интеллекта» выявлены основания и модель взаимодействия логики и исследований искусственного интеллекта; рассмотрены примеры применения средств систем эпистемической логики к решению задач проектов искусственного интеллекта; определены проблемы и перспективы взаимодействия систем эпистемической логики и исследований искусственного интеллекта. В заключении излагаются основные выводы по теме исследования.
В работе имеется список литературы, состоящий из 61 источника.
Подводя итоги проведенного исследования, следует отметить, что на пути достижения цели работы, следующим образом были решены поставленные задачи:
1) Были выявлены истоки возникновения эпистемической логики: в качестве опосредованных истоков были указаны философские работы, осуществленные с позиции первого и более древнего подхода к исследованию знания - условно-содержательного подхода (с зарождения философия до конца XIX века); в качестве непосредственных истоков были указаны философские работы Г. Фреге и Б. Рассела, осуществленные с позиции второго возможного подхода к исследованию знания - условно-формального подхода (с конца XIX века).
Были дана характеристика стандартной семантики модальных логик - семантики возможных миров: были даны определения понятия структуры Крипке, даны определения условий истинности семантических связок, пропозициональных переменных, формул, а также, что самое важное, операторов возможности и необходимости.
2) Были рассмотрены основные системы эпистемической логики: система Я. Хинтикки и М.Н. Бежанишвили. Было показано, что обе системы предлагают удовлетворительное решение главной проблемы эпистемической логики - проблемы логического всеведения. Решение в эпистемической системе Хинтикки опирается на концепт невозможных возможных миров, а решение данной проблемы в системе Бежанишвили - на концепт частичных возможных миров.
3) Были выявлены основание и модель взаимодействия исследований искусственного интеллекта и логических исследований. В качестве основания было выявлено значительное сходство в целях данных научных областей; было указано, что логические теории активно применяются для решения задачи формального представления знаний интеллектуального агента исследований ИИ.
В исследовании был рассмотрен вопрос о модели базового взаимодействия исследований систем ИИ и логических исследований. Данный вопрос, как было установлено, крайне сложен для разрешения с позиции ответа как описания подобной модели, однако, может быть разрешен посредством указания на пример построения простого интеллектуального агента с привлечением средств классической пропозициональной системы.
Были даны примеры применения средств систем эпистемической логики к решению задач проектов искусственного интеллекта: применение в решении задачи формального представления знания в распределенных системах и применение в решении задачи представления знания агентов, производящих рассуждения с неполной информацией.
4) Были выявлены проблемы и перспективы взаимодействия систем эпистемической логики и исследований искусственного интеллекта. В качестве проблем были указаны проблема логического всеведения, а также эпистемическая версия проблемы фреймов. Перспективы взаимодействия данных научных областей были определены как связанные с дальнейшей разработкой модальных систем «фонового», «общего» и «группового» знания; комбинированных модальных систем.
В качестве конкретного исследования, обладающего, как представляется, перспективным статусом, было названо исследование семантики оператора возможности, предполагающее его разделение на оператор «сильной» возможности и оператор «слабой» возможности.
Решение всех поставленных задач исследования позволило достигнуть цели исследования и дать полноценный анализ взаимодействия систем эпистемической логики и исследований искусственного интеллекта: от анализа оснований систем эпистемической логики до анализа проблем и перспектив взаимодействия вышеуказанных научных областей.
1) Были выявлены истоки возникновения эпистемической логики: в качестве опосредованных истоков были указаны философские работы, осуществленные с позиции первого и более древнего подхода к исследованию знания - условно-содержательного подхода (с зарождения философия до конца XIX века); в качестве непосредственных истоков были указаны философские работы Г. Фреге и Б. Рассела, осуществленные с позиции второго возможного подхода к исследованию знания - условно-формального подхода (с конца XIX века).
Были дана характеристика стандартной семантики модальных логик - семантики возможных миров: были даны определения понятия структуры Крипке, даны определения условий истинности семантических связок, пропозициональных переменных, формул, а также, что самое важное, операторов возможности и необходимости.
2) Были рассмотрены основные системы эпистемической логики: система Я. Хинтикки и М.Н. Бежанишвили. Было показано, что обе системы предлагают удовлетворительное решение главной проблемы эпистемической логики - проблемы логического всеведения. Решение в эпистемической системе Хинтикки опирается на концепт невозможных возможных миров, а решение данной проблемы в системе Бежанишвили - на концепт частичных возможных миров.
3) Были выявлены основание и модель взаимодействия исследований искусственного интеллекта и логических исследований. В качестве основания было выявлено значительное сходство в целях данных научных областей; было указано, что логические теории активно применяются для решения задачи формального представления знаний интеллектуального агента исследований ИИ.
В исследовании был рассмотрен вопрос о модели базового взаимодействия исследований систем ИИ и логических исследований. Данный вопрос, как было установлено, крайне сложен для разрешения с позиции ответа как описания подобной модели, однако, может быть разрешен посредством указания на пример построения простого интеллектуального агента с привлечением средств классической пропозициональной системы.
Были даны примеры применения средств систем эпистемической логики к решению задач проектов искусственного интеллекта: применение в решении задачи формального представления знания в распределенных системах и применение в решении задачи представления знания агентов, производящих рассуждения с неполной информацией.
4) Были выявлены проблемы и перспективы взаимодействия систем эпистемической логики и исследований искусственного интеллекта. В качестве проблем были указаны проблема логического всеведения, а также эпистемическая версия проблемы фреймов. Перспективы взаимодействия данных научных областей были определены как связанные с дальнейшей разработкой модальных систем «фонового», «общего» и «группового» знания; комбинированных модальных систем.
В качестве конкретного исследования, обладающего, как представляется, перспективным статусом, было названо исследование семантики оператора возможности, предполагающее его разделение на оператор «сильной» возможности и оператор «слабой» возможности.
Решение всех поставленных задач исследования позволило достигнуть цели исследования и дать полноценный анализ взаимодействия систем эпистемической логики и исследований искусственного интеллекта: от анализа оснований систем эпистемической логики до анализа проблем и перспектив взаимодействия вышеуказанных научных областей.
содержание магистерской диссертации – Эпистемическая логика в проблематике
искусственного интеллекта
выдержки из магистерской диссертации – Эпистемическая логика в проблематике
искусственного интеллекта
Подобные работы
- ПРОБЛЕМАТИКА АЛГОРИТМИЗАЦИИ МЫШЛЕНИЯ В СВЕТЕ КОНЦЕПЦИИ ДЖ. ХОКИНСА
Магистерская диссертация, философия. Язык работы: Русский. Цена: 5500 р. Год сдачи: 2018