Содержание
Введение 3
1. Сущность теории семантических таблиц 5
1.1. Понятие семантики в логике высказываний 7
1.2. Семантические таблицы 8
1.3. Особенности построения семантических таблиц 11
1.4. Семантические таблицы с кванторами 14
2. Применение семантических таблиц к анализу информации 16
2.1. Особенности семантического анализа информации 17
2.2. Основные проблемы понимания текста в обработке 19
3. Место метода семантических таблиц в современной логике 22
Заключение 23
Список литературы 25
Выдержка из текста
В 50-е гг. наряду с такими известными методами доказательства как аксиоматический, натуральный, секвенциальный получил широкое распространение и применение метод семантических таблиц. Табличный метод имеет фундаментальное значение для теории доказательств, являющейся одной из интенсивно развивающихся областей современной логики. Не меньшее значение имеет табличный метод и для развития исследований по искусственному интеллекту, в частности в такой его области как теория и практика автоматического доказательства теорем.
Однако область применения метода семантических таблиц не ограничивается математической логикой и искусственным интеллектом. Метод семантических таблиц широко используется в исследованиях по философии и методологии науки. Табличный метод, в частности, является хорошим средством описания и анализа научной дискуссии. Научная дискуссия, по сути, есть систематический способ отыскания контр-примеров, который приводит либо к опровержению, либо к доказательству некоторого утверждения.
За последнее время появилось большое количество работ, посвященных применению таблиц в различных логических системах. Важным для понимания развития табличных методов и возможностей их применения является вопрос об использовании метода семантических таблиц в области искусственного интеллекта, в частности в области теории и практики автоматического доказательства теорем.
Список использованной литературы
1. Непейвода Н.Н. Прикладная логика. Учебное пособие. — Ижевск: изд-во Удм. ун-та, 2000. — 529 с.
2. Конверский А.Е. Логика традиционная и современная. – М.: Идея-Пресс, 2010. – 380 с.
3. Шапорев С.Д. Математическая логика. Курс лекций и практических занятий. – СПб.: БХВ-Петербург, 2014. – 416 с.
4. Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы. – М.: Едиториал УРСС, 2013. – 240 с.
5. Верещагин Н.К., Шень А. Языки и исчисления. – М.: МЦНМО, 2012. – 240 с.
6. Зиновьев А.А. Логика высказываний и теория вывода. – М.: ЛКИ, 2010. – 158 с.
7. Кочанов Н.С. Компактные шестизначные математические таблицы. – М.: Машиностроение, 2010. – 158 с.
8. Лубкин А.С. Начертание логики. – М.: ЛКИ, 2011. – 130 с.
9. Бежанишвили М.Н. Логика модальностей знания и мнения. – М.: КомКнига, 2010. – 288 с.
10. Чапайкина Н. Е. Семантический анализ текстов. Основные положения / Н. Е. Чапайкина // Молодой ученый. — 2012. — №5. — С. 245 с.