Приложение 3.
Каталог
примеров по формализации знаний
В приложении описана (авто)формализация профессиональных знаний до уровня постановок задач, включающих определение объектов и алгоритмов решения. Включены элементы алгоритмизации и программирования для информашин. Вместе с Приложением 4 оно относится к когнитивному обеспечению информатизации и выделено для удобства использования.
Далее будут показаны конкретные случаи визуализации знаний, представляющие как теоретический, так и практический интерес.
К сему прилагается | Каталог примеров | Комплексная визуализация
Общее РДП Автоматика Датаматика
Здесь приводятся примеры визуализации задач с применением комплекса языков из числа рассмотренных в данном документе.
Содержание
Разработка и документирование процессов
Пример РДП-оформления непрограммного проекта
Разработка и документирование процессов
Основные элементы графит-синтаксиса и содержания РДП-документа показаны на макете, выполненном в OpenOffice.org Draw. Макет также содержит формулировки некоторых требований к РДП-редактору. В качестве справочного материала и примера составления общеструктурных графит-схем дана классификация формализуемых знаний.
Пример основан на развитии визуализации процесса из Задания 1.1.1
В графчасти задания показано употребление различных видов графит-схем для визуализации различных родов отчуждаемого знания. Текстовая часть доступна здесь.
Пример РДП-оформления непрограммного проекта
В качестве примера построения РДП-документа и визуализации знаний о конкретной предметной области выбран проект, решение задач для которого предполагается вручную. Пример также содержит учебный материал по отдельным языковым средствам проекта, организованный в форме схемы определения языка.
Исходное описание предметной области доступно здесь. Модель проекта представлена на рисунке:
Графит-модель предметной области и выделенных задач
Модель изображена совмещённым способом. Это облегчает чтение схемы, поскольку читателю не нужно дополнительно искать содержание и связывать разные фрагменты. В то же время в объёмном описании, как здесь, м.б. затруднено детальное восприятие, выделение конкретных данных из большого массива. Также требуются навигация при отображении и фрагментация для вывода твёрдой копии на меньший формат носителя. То и другое должен обеспечивать редактор моделей.
В основе языковых средств модели лежат схемы «сущность-связь», т.е. типа стандартизованных в ИМ-языке IDEF1X, но в авторском синтаксисе, расширяющем отношение категоризации.
Неалгоритмизованная деятельность (до разрешения отношений [квази]одновременного исполнения процессов, в т.ч. двумя и более исполнителями) представляется на языке сетевых графиков «работа-передача» в версии, принятой А.С. Усовым (работа-вершина). Данный язык можно рассматривать как результат системирования ДПД-языка (как результата модификации ФМ-языка по стандарту IDEF0) до сетевых графиков с возможностью разделить передачи по управлению деятельностью и по её предмету, но с сохранением логичности структуры, определяемой положениями кибернетики.
Алгоритмизованная деятельность (для отдельных процессов, назначаемых каждый единственному исполнителю) представляется на языке скобочных структур. Краткое определение языка дано на схеме далее:
Определение языка структурно-скобочной записи алгопроцессов
Язык в импер-части основан на алфавите маршрутных скобок, независимо введённом С. Прохоренко и Дж. Никкерсоном, который в авторском варианте расширен и для которого введены уточнённые правила употребления. В деклар-части и общей организации моделей язык реализует оригинальную авторскую концепцию представления алгопроцессов.
В данной версии алгопроцессы д.б. структурными, т.е. в импер-части удовлетворять теореме Бёма-Якопини, а в деклар-части — концепции абстрактных типов сущностей (данных).
Базовое определение языка даётся отдельно.
В начало страницы | Оглавление | Версия для печати
Copyright © Жаринов В.Н.
