логических систем полными являются только исчисление высказывания.
Логическая непротиворечивость – свойство дедуктивной теории, состоящее в том, что из неё нельзя вывести противоречие. Т.е. нельзя вывести два противоречия, одно из которых является отрицанием другого.
Теорема Gödel: для достаточно богатых аксиоматических теорий не существует адекватных реализаций, т.е. требование дедуктивной полноты и непротиворечивости несовместны.
Истинность – (верно/неверно, так же как в реальной жизни). Понятие истинности определяется для формальных языков средствами метаязыков, т.е. внешних и более богатых.
Теорема Tarski: предикат истинности любой непротиворечивой знаковой системы неопределим её собственными средствами.
Формальные языки по целому ряду позиций являются ограниченными для описания реального мира. Однако реально у нормального айтишника возникает желание запрограммировать всё, что можно.
1.3.6 Свойства естественного языка как средства моделирования реальности:
1. Естественный язык – открытая система.
2. Элементы языка связаны не только друг с другом, но и с отображаемым миром.
3. Большинство слов соответствует континууму ситуации.
4. Выбор параметра преобразования «слово – ситуация» определяется в зависимости от цели и котекста.
5. Текст на естественном языке обладает очень большой избыточностью и она необходима для его адекватного понимания.
(Как происходит восприятие речи в естественном языке. Оба полушария мозга начинают работать восприятие слова. Левое начинает декодировать, правое начинает поиск смысла. Левое – синтаксис, правое – семантика. Результаты левого перебрасываются в правое, происходит поиск здравого смысла. Мы слышим то, что хотим услышать, а потом соотносим это с реальностью. Теоретически это просто невозможно воспроизвести на компьютере.)
Семантические характеристики естественного языка
Синтаксис естественного языка формализован частично (какие-то ошибки Word выявляет хорошо, на какие-то выдаёт сообщения).
Семантика определяется полностью текущим контекстом, неформально и неоднозначно.
Прагматика (которая в формальных языках совпадает с семантикой) определяется на основе контекста и текущих решаемых задач, тоже формализуется слабо.
Все семиотические характеристики языка естественного языка определяются внутри самого языка, т.е. не выполняется теорема Тарского.
Естественный язык является функционально полным.
(Себеста. «Основные концепции языков программирования», §3.3 – посмотреть в е-библиотеках, www.elibrary.ru)
Знаковые системы делятся на три вида. Между естественным языком и формальными знаковыми системами находятся попытки сделать формальные языки естественными – преобразованные знаковые системы.
Формальные языки: математические языки, логические языки, продукционные модели, сетевые модели, языки программирования.
Преобразованные знаковые системы. Попытка расширить формальные знаковые системы:
1. Аппарат точных наук.
2. Знаковые системы с изменяющейся логикой («копать от обеда до забора»).
3. Адаптивные модели.
Попытка формализовать естественный язык (отсутствие синонимов, всё однозначно, всё имеет чётко определённый смысл):
1. Иерархическая классификация (вместо полномасштабного языка строится структура иерархий: «страна» - «список возможных стран»).
2. Предметные заголовки.
3. Ключевые слова (самая популярная редукция, которая используется сейчас во всех поисковых системах).
4. Списки, указатели, и т.д.
5. Проблемно-ориентированные языки (используются существительные и глаголы, характерные для определённой предметной области).
9. Основные модели сигнала в ИТ. Случайный процесс как модель сигнала, примеры моделей. Описание сигнала моментными функциями; корреляционная теория и ее применение в ИТ. Примеры распределений (распределение Гаусса, распределения «с тяжелыми
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.
