Студопедия

Главная страница Случайная страница

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






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




 

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

 

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

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

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

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

 

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

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

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

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

 

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

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

M = <T, P, A, П>

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

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

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

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

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

 

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

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

 

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

 

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

 

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

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

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

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

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

 

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

 

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

 

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

 

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



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

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

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

 

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

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

 

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

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

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

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

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

 

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

 


mylektsii.ru - Мои Лекции - 2015-2017 год. (0.01 сек.)