Содержание
- Введение 1
- Теоретические основы логического анализа 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
- Заключение 6
- Список литературы 7