2. Вопрос:
как изобразить процесс
(изменение событий/состояний
объектов)
в графическом построении с
помощью «узлов» и «связей»?
3. Недостатки предыдущих
подходов
1.Не видны свойства объектов и «статические»
отношения между ними (в отличие от
динамических онтологий).
2.Не видны конкретные сценарии (в ситуациях, когда
один узел «участвует» в нескольких сценариях и
возникает вопрос, совместимы ли эти сценарии).
3. Трудности с формализацией «жизненного цикла»
объекта.
4. Невозможно как-либо отобразить сценарии с
участием объектов, относительно которых не
утверждается, а отрицается наличие того или
иного признака или отношения.
4. Недостатки предыдущих
подходов
4. Невозможно отобразить сценарии с участием
объектов, которые меняют признаки с течением
времени.
5. Невозможно отобразить сценарии, основанные
на распространении признака от одного
предмета другим.
6. Невозможно вообще как-либо отобразить
сценарии, основанные на связи между
различными объектами с различными
признаками.
5. Недостатки предыдущих
подходов
7. Невозможно выразить количественные
характеристики объектов.
8. Невозможно отобразить ситуацию, когда один
индивид относится к разным концептам
одновременно.
6. Ответ 6:
приписать связям не конкретные
действия над объектами, а просто
«некий переход»
(«факт перехода») от одного узла к
другому,
в узлах дать высказывания.
7. Еще раз о событиях (состояниях)…
S – P: Кошка мяукает Событие/состояние
Процесс
S – P: Сотрясаются стены
S – P: Рушатся здания
Сценарий
Правила построения высказываний - ???
8. Еще раз о событиях (состояниях)…
Логическая форма выражения события – высказывание.
Именно события описываются логикой высказываний.
Разница между понятием (концептом, термом) и
высказыванием (суждением) часто игнорируется.
Пример – представление influence diagrams как
байесовских сетей.
(Другой пример – implication networks, см. ниже).
В терминах традиционной (Аристотелевской) логики:
понятие: «летающий холм»,
суждение существования:
«летающий холм» (S) существует (P)».
9. Еще раз о событиях (состояниях)…
Грамматическая форма выражения события –
предложение.
(А понятия/концепта – слово или словосочетание).
«В белом плаще с кровавым подбоем, шаркающей
кавалерийской походкой, ранним утром четырнадцатого
числа весеннего месяца нисана в крытую колоннаду
между двумя крыльями дворца Ирода Великого вышел
прокуратор Иудеи Понтий Пилат» (М. Булгаков).
10. Известные виды диаграмм
• Implicational Networks,
• Байесовские сети доверия,
• Деревья событий/состояний
отказов/вероятностей и т.п.
12. Implicational Network
Образование
техногенных
гидратов в
буровых
скважинах ≡
≡ Образуются
техногенные
гидраты в
буровых
скважинах
Ведется добыча
газа
T www.vniio.ru, с
T дополнениями
(показаны
красным)
Природно-техногенные опасности, связанные с разработкой
месторождений газовых гидратов
~ Диаграммы влияния?
~ Байесовские сети доверия (см. ниже)?
13. Implicational Network
Mosher, 2010
(available at
http://www.wire
d.com/wiredsci
ence/2010/12/f
ossil-glacier-
wind/)
Эволюция ландшафта у края ледника
~ Диаграммы влияния?
~ Байесовские сети доверия (см. ниже)?
16. Байесовские сети доверия
YES/
NO
YES
YES/
NO
YES/
NO
YES/
NO YES/
NO
YES
www.glendale.edu/geo/reed/; процессы в движущемся леднике;
дополнения показаны красным (в овалах – переменные, YES/NO
– возможные состояния переменных, YES – известное состояние)
17. Деревья событий/состояний
отказов/вероятностей и т.п.
COLLAPSES
BELHAM 1*REF
BELHAM 3*REF
NO MAGMATIC
GAGES 1*REF
REACTIVATION
GAGES 3*REF
IN 6 MONTHS
BRAMBLE 1*REF
BRAMBLE 3*REF
OTHER DIRECTIONS/NONE
February
1999 PEAK ACTIVITY NOT WORSE THAN As previous risk assessment...
1997
MAGMATIC
REACTIVATION
IN 6 MONTHS
PEAK ACTIVITY SIGNIFICANTLY As previous risk assessment...
STRONGER THAN 1997
Дерево событий, описывающее прогноз активности вулкана
Суфриер-Хиллс (о. Монтсеррат, Карибское море)
Montserrat Volcano Observatory, 2006
18. Деревья событий/состояний
отказов/вероятностей и т.п.
COLLAPSES
0.005 BELHAM 1*REF
0.0000001 BELHAM 3*REF
0.0048
0.95 NO MAGMATIC 0.000001
REACTIVATION 0.033 GAGES 1*REF
0.001 GAGES 3*REF
0.00314
IN 6 MONTHS 0.00095
0.016 BRAMBLE 1*REF
0.00001 BRAMBLE 3*REF
0,00152
0,00001
0.94 OTHER DIRECTIONS/NONE
0,00898
February
1999 0.86 PEAK ACTIVITY NOT WORSE THAN As previous risk assessment...
1997
MAGMATIC
REACTIVATION
0.05 IN 6 MONTHS
PEAK ACTIVITY SIGNIFICANTLY As previous risk assessment...
STRONGER THAN 1997
0.14
Значения вероятностей, приданные различным сценариям
активности вулкана Суфриер-Хиллс (о. Монтсеррат, Карибское
море)
Montserrat Volcano Observatory, 2006
19. Деревья
событий и т.п.
Neri et al., 2008
Дерево событий,
описывающее прогноз
активности вулкана
Везувий (Италия)
Вертикальные линии (~swim
lanes? – см. ниже) вносят
некоторую семантическую
упорядоченность в
построение, но при этом
генерируют «одинаковые»
события в разных
сценариях и сами
неоднозначно определены
20. Преимущества
1. Видны хотя бы некоторые отношения между
процессами: совместимость, несовместимость,
последовательность и так далее.
2. Видны конкретные сценарии.
3. Вероятно, можно отследить
появление/исчезновение признака у предмета.
4. Можно отобразить сценарии, основанные на
распространении признака от одного предмета
другим: «X рассмеялся так, что и другие
засмеялись вместе с ним».
21. Преимущества
1. Можно отобразить сценарии, основанные на
связи между различными объектами с
различными признаками: «Факир был пьян, и
фокус не удался».
2. Можно отобразить сценарии с участием
объектов, относительно которых не
утверждается, а отрицается наличие того или
иного признака или отношения («если стол НЕ
деревянный… то…»; «НЕ деревянные столы
нести туда-то и туда-то» и т.д.).
22. Преимущества
7. В некоторых случаях можно увидеть
закономерности формирования сценариев
(аналог swim lanes в диаграммах
последовательностей – см. ниже).
23. Недостатки
1. Видны сценарии, но не видны отношения между
ними (если у одного «потомка» более одного
«предка» - чтобы получился потомок, нужны все
предки, или любой из них, или какие-то их
комбинации?).
24. Недостатки
По-прежнему…
2. Видны не все отношения между процессами
(сценариями) там, где один «узел» участвует в
нескольких процессах (когда один начинается,
заканчивается ли другой/другие?). Тот объект, над
которым осуществляется действие, в результате его
перестает существовать или нет? А объект, который
является результатом действия, мог существовать до
того? Или обязательно «родился на свет» только
сейчас? Как-то можно различать «рождение», «жизнь» и
«смерть» объекта?
3. В некоторых случаях невозможно проследить
закономерности формирования сценариев.
26. Вопрос:
как изобразить процесс (изменение
событий/состояний объектов)
в графическом построении с
помощью «узлов» и «связей»?
27. Ответ 7:
приписать связям не конкретные
действия над объектами, а
просто «факт перехода» от
одного объекта к другому, но
снабдить связи операторами,
или союзами, аналогичными или
подобными логическим, а в
«узлах» - дать высказывания.
28. Известные виды диаграмм
• Relational graphs (НЕ реляционные
графы*!),
• диаграммы последовательностей
• и др.
* В русской литературе под реляционным графом
подразумевают «понятийный» конструкт с
«говорящими» связями – см., например,
http://www.gamedev.ru/community/ir/articles/?id=5163
29. Relational graphs
A Stagirite teacher of a Macedonian conqueror of the world is a
disciple and an opponent of a philosopher admired by Church Fathers.
(∃x)(∃y)(∃z)(isStagirite(x) & teaches(x,y) & isMacedonian(y) &
conquersTheWorld(y) & isDiscipleOf(y,z) & isOpponentOf(y,z) &
isAdmiredByChurchFathers(z) )
Sowa, 2006
Формальный язык – логика высказываний.
32. Диаграммы
последовательностей
Business Process Model and Notation (BPMN), Version 2.0
Графический язык моделирования бизнес-процессов
BPMN, Версия 2.0
Нотация BPMN была разработана организацией «Business Process
Management Initiative (BPMI)», и поддерживается группой компаний
«Object Management Group. Текущая версия BPMN – 1.1.
Оригинальная спецификация изготовлена группой компаний
«Object Management Group».
Нотация BPMN положена в основу системы управления бизнес-
процессами «ELMA», разработанной компанией «EleWise», а
также ряда других приложений для бизнес-среды.
Ссылки:
Сайт системы управления бизнес-процессами «ELMA» elma-bpm.ru
Сайт компании «EleWise» www.elewise.ru
Сайт BPMN с оригинальными спецификациями от «OMG» (на англ.
языке) bpmn.org
34. Вопрос:
как изобразить процесс (изменение
событий/состояний объектов)
в графическом построении с
помощью «узлов» и «связей»?
35. Ответ 8:
приписать связям не конкретные
действия над объектами, а
просто «факт перехода» от
одного объекта к другому, но
ввести узлы-операторы, или
союзы, аналогичные или
подобные логическим, а в
«узлах» (во всех) - дать
высказывания.
37. Блок-схемы: синтаксис
Наименование Обозначение Функция
Элемент отображает вход из внешней среды или выход из неё (наиболее частое
Блок начало-конец применение − начало и конец программы). Внутри фигуры записывается
(пуск-остановка) соответствующее действие.
Выполнение одной или нескольких операций, обработка данных любого вида (изменение
Блок вычислений значения данных, формы представления, расположения). Внутри фигуры записывают
(вычислительный непосредственно сами операции, например, операцию присваивания: a = 10*b + c.
блок)
Отображает решение или функцию переключательного типа с одним входом и двумя или
Логический блок более альтернативными выходами, из которых только один может быть выбран после
(блок условия) вычисления условий, определенных внутри этого элемента.
Символ отображает выполнение процесса, состоящего из одной или нескольких
Предопределённый операций, который определен в другом месте программы (в подпрограмме, модуле).
процесс
Преобразование данных в форму, пригодную для обработки (ввод) или отображения
Данные результатов обработки (вывод).
(ввод-вывод)
Символ состоит из двух частей − соответственно, начало и конец цикла − операции,
Граница цикла выполняемые внутри цикла, размещаются между ними.
Символ отображает вход в часть схемы и выход из другой части этой схемы.
Соединитель Используется для обрыва линии и продолжения её в другом месте (для избежания
излишних пересечений или слишком длинных линий, а также, если схема состоит из
нескольких страниц).
Используется для более подробного описания шага, процесса или группы процессов.
Комментарий Описание помещается со стороны квадратной скобки и охватывается ей по всей высоте.
ГОСТ 19.701-90, ГОСТ 19.002-80, ГОСТ 19.003-80
38. Блок-схемы: история синтаксиса
Larry
Constantine,
середина
1970х
Пример блок-схемы алгоритма
www.wikipedia.org
вычисления факториала числа N
39. Блок-схемы : применение в
традиционной области
Для оптимизации
проектирования:
Frank Gilbert
(1921)
Для
программирования:
Herman Goldstine и
John von Neumann
(1947)
www.wikipedia.org
40. Блок-схемы: применение в
нетрадиционной области
В кимберлитовой
трубке образуются
алмазы
НЕТ
Кимберлитовая трубка
разрушается с Есть коренное
поверхности месторождение алмазов
ДА
ДА
Алмазы достаточно Есть россыпное
крупные месторождение алмазов
НЕТ
Месторождения
нет
41. Преимущества
1. «Полный перечень» действий определяется
набором используемых союзов, которые
определяются вне конкретной диаграммы.
2. Видны хотя бы некоторые отношения между
процессами: совместимость, несовместимость,
последовательность и так далее.
3. Видны конкретные сценарии.
4. Вероятно, можно отследить
появление/исчезновение признака у предмета.
42. Преимущества
1. Можно отобразить сценарии, основанные на
распространении признака от одного предмета
другим.
2. Можно отобразить сценарии, основанные на
связи между различными объектами с
различными признаками.
3. Можно отобразить сценарии с участием
объектов, относительно которых не
утверждается, а отрицается наличие того или
иного признака или отношения.
43. Недостатки
По-прежнему…
• Невозможно проследить все закономерности
формирования сценариев (аксиоматика, или
правила вывода, или что-то в этом роде – в
принципе, есть, но не видно глазу).
• Видны не все отношения между процессами
(сценариями) там, где один «узел» участвует в
нескольких процессах.
• ОТСУТСТВУЮТ ПРАВИЛА
ФОРМУЛИРОВАНИЯ ВЫСКАЗЫВАНИЙ!