Языки как семиотические системы

Языки как семиотические системы - модель информационного взаимодействия с участием сознания говорит нам о том, что для организации коммуникации с внешним миром и с друг другом, человек отображает бесконечный мир с конечными средствами

Средства построения моделей называются языками в широком смысле.

Языки которые мы используем для моделирования.

Достаточно развитые модельные системы описываются наукой семиотикой.

Таким образом язык - это семиотическая система (наука о знаках).

В семиотической системе выделяют 3 аспекта:

1. Синтаксис - описывает правила построения и преобразования сложных знаковых предложений

2. Семантика - задает смысл или значение конкретных знаков

3. Прогматика - семантика с точки зрения конкретного субъекта

У формальных языков семантика как правило совпадает с прагматикой или имеет счетное количество вариантов прагматики.

У неформальных семантика и прагматика отличаются.

M = < T, P, A, П>

M - семантическая система

T - алфавит системы

P - синтаксические правила

A - системы аксиом

П - прагматические правила

Семиотические характеристики формальных языков:

Синтаксис строго формализован и семантика и прогрматика не зависят от контекста и задаются из вне как правило из соображений удобства моделирования.

Было в ТССА теорема Курта Гёделя - для достаточно богатых аксиоматических теорий не существует адекватных формализаций, то есть требования дедуктивной полноты и не противоречивости являются не совместными.

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

Характеристики естественного языка ЕЯ или NL или NLP - natural language processing:

Естественный язык - открытая система, в нем постоянно меняются и элементы языка и связи между ними.

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

Большинство слов естественного языка соответствуют континууму ситуации.

Континуум - не счетное множество.

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

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

Естественный язык обладает неопределенностями счетного типа, то есть синонимия, полиморфизм.

Вывод: естественный язык является функционально полной знаковой системой, в результате на нем можно сформулировать любое осознанное сообщение которое???

В тоже время естественный язык позволяет описывать различные противоречивые логические ситуации.

Для содержательно богатых формальных знаковых систем - непротиворечивость является важнейшим необходимым критерием практической приложимости требования полноты для них не выполняется.

Задача специалистов по представлению знаний осуществить взаимное портирование между этими системами.

Формальные знаковые системы в информационных технологиях:

Формальные знаковые системы наиболее интересные с точки зрения???

1. Математические языки

2. Логические языки

3. Сетевые модели

4. Продукционные модели

5. Языки программирования

Место математических языков в описании Q из счетного набора B.