Г Р А Ф И Т — б а з и с

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

В приложении кратко описаны искусственные языки представления знаний, применяемые для описания систем различного рода. Данные описания не претендуют на языковые стандарты, в частности поэтому языковые правила в большинстве своем сформулированы нестрого; тем не менее они отражают реалии применения соответствующих языков и после усвоения могут составить основу инструментария представления профессиональных знаний.

Приложение предназначено для обучения работе с языками.

К сему прилагается | Вспомогательные языки визуализации | Ментальные

Здесь даются определения для языков, используемых как вспомогательные в формализации. Языки, выделенные как основные, определяются (и рассматриваются) в основном тексте.

Содержание

Структурированный естественный язык (СЕЯ)

Язык функционального моделирования (ФМ) IDEF0

Алфавит языка

Правила языка

ДПД-диалект ФМ-языка

Ментал-ЯПЗ предоставляют возможности доинформатической обобщённой формализации. Допуская информатически строгое определение (что позволяет их реализовать в приложениях автоматизированной формализации), они в то же время отражают неопределённости предметной области, неполны и потому составленные на них описания д.б. интерпретированы неформальным образом, с участием человека.

Структурированный естественный язык (СЕЯ)

Служит для отчуждения знаний наиболее естественным для носителя образом. Разновидности называются профессиональной/деловой прозой.

Лексика СЕЯ ограничена комбинациями, включающими:

Характерными ограничениями, накладываемыми на обыденный ЕЯ, являются:

Одно из направлений структурирования — введение в ЕЯ-тексты РБНФ-продукций там, где в обыденном языке употребляются нестрогие управляющие конструкции (скобки, союзы).

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

Естественной записью отчуждаемого служит текст (представление внутренней/внешней речи как результата предшествующей формализации). В дальнейшем возникают табличное и иллюстративное представления. При их употреблении диосцены становится комплексной, а её содержание — смешанным.

Для эргономизации комплексных диосцен инженерная психология, начиная с середины XX века, предложила ряд принципов. Ряд специалистов занимался эргономизацией документов как диосцен; здесь можно отметить Дж. Мартина и Э. Дейкстру. В приложении к документам (включая машинограммы и видеограммы) системную эргономизацию нетекстовых диосцен активно разрабатывает В.Д. Паронджанов; им предложено называть данное направление «когнитивным стилем[ документирования]». Можно говорить о методе КогниСтиль как части методологии формализации (и о соответствующем языке). Практически речь у Паронджанова идёт о нетекстовом содержании, и его предложения правильнее называть иллюстративным КогниСтилем (ИКС); логически полный КС-метод образуется при определении также текстового когнитивного стиля.

В начало страницы

Язык функционального моделирования (ФМ) IDEF0

Представляет систему связей элементов двумя видами отношений. В стандартном понимании элементы трактуются как функции системы (задачи), а отношения — как передачи ресурсов (предметов и результатов труда) и управляющих воздействий, не зависящие от времени.

Алфавит языка

Алфавит образуют символы, перечисленные в таблице ниже:

В начало страницы

Правила языка

Модель представляется как совокупность орграф-схем объекта моделирования – диаграмм, причём рёбрами являются дуги, а всё остальные символы языка трактуются как вершины различных типов. Направление на диаграмме указывается стрелками дуг.

Модели создаются по следующим общим правилам:

Существует два стиля функционального моделирования: традиционный, закреплённый в стандарте /12, Разд.3/, и современный, являющийся развитием первого.

В начало страницы

ДПД-диалект ФМ-языка

Алфавит образуют символы, перечисленные для данного языка в таблице ниже:

Диаграммы потоков данных можно рассматривать как модификацию (с упрощением) функциональных моделей следующим образом:

В начало страницы | Оглавление | Версия для печати

Copyright © Жаринов В.Н.

Hosted by uCoz