DRAKON.SU

ОБСУЖДЕНИЕ ПРИНЦИПА СВОБОДНОГО РИСОВАНИЯ

Принцип свободного рисования положен в основу программы Степана Митькина "DRAKON Editor".


Один пользователь (неважно кто именно) начал рисовать дракон-схему, используя "принцип свободного рисования". Получилось вот что:



Из чертежа видно, что результат неудовлетворительный.

Возникает вопрос: почему? В чем причина ошибки?

Кто виноват в неудаче?

Пользователь, который по неопытности допустил многочисленные нарушения правил языка ДРАКОН?

Или, может быть, дело не в пользователе, а в принципе?
Может быть, виноват сам "Принцип свободного рисования"?

Как вы считаете?

Именно.

Спасибо, Алексей Николаевич.

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

Однако за такую универсальность приходится платить слишком высокую цену.

Необходимо перевести часы назад и вспомнить старую дискуссию 2014 года. Цитирую:

Степан Борисович, Вы правильно поняли концепцию ДРАКОН-конструктора. Более того, Вы изложили эту концепцию логически безупречно и в прекрасной литературной форме. Огромное Вам спасибо.

А вот с этим я не согласен. Объясню почему.

1. Проблема программных ошибок (проблема корректности программ) — фундаментальная проблема. Лучшие умы бились и до сих пор продолжают биться над ней. Они добились немалых успехов, но в полной мере проблема не решена. Она по-прежнему продолжает оставаться актуальной. Чрезвычайно актуальной.
Особенно в критических приложениях, когда речь идет о жизни людей или о больших материальных и финансовых потерях. Например, при неудачном запуске ракеты, причиной которого стала не выявленная ошибка в программе.

2. Создание безошибочных программ (не мелких учебных примеров, а больших и ответственных программных комплексов) — исключительно сложная задача. Любое продвижение вперед в этом направлении дается с большим трудом. Создание гарантоспособных программных комплексов обходится дорого. Очень дорого.

3. Язык ДРАКОН ставит перед собой именно такую цель — способствовать разработке безошибочных программных комплексов. И в какой-то степени, хотя и не полностью, язык ДРАКОН оказывается полезным инструментом для решения этой задачи.

4. Желание решить проблему другим способом — кавалерийским наскоком (Мне не нравится идеальный конструктор, потому что я люблю рисовать) здесь неуместно.
Почему неуместно? Потому что оно равносильно отказу от требования безошибочности. Я убежден: отказ (пусть даже временный) от требования работать без ошибок является недопустимым.

5. У части специалистов уже сложилось мнение, что ДРАКОН — безошибочный язык. Такие высказывания можно встретить в интернете. Это, разумеется, не значит, что ДРАКОН позволяет на 100% исключить ошибки. Однако ДРАКОН создан именно для этой цели. И он содействует ее достижению.

6. Язык ДРАКОН, как новая идея, тесно связан с идеей безошибочности. Ни в коем случае и ни при каких обстоятельствах нельзя разрушать эту связь.

Я постарался подчеркнуть следующую мысль. Я полностью согласен с первым тезисом уважаемого Степана Борисовича Митькина, но я решительно не согласен со вторым тезисом.


============================

Повторяю. Весь этот пост является цитатой из старой дискуссии 2014 года. Та старая дискуссия имеет прямое отношение к "принципу свободного рисования".

Цитата взята из темы "Философия ДРАКОН-констуктора"

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

По моему мнению, дракон-конструктор должен выполнять функции педагога.
Подобно хорошему педагогу дракон-конструктор должен учить неопытного пользователя. Он должен сообщать пользователю правила языка ДРАКОН.

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

Принцип свободного рисования уклоняется от выполнения педагогической функции. Это очень плохо.

Почему плохо?
Об этом я расскажу в следующем сообщении.

Почему программа дракон-конструктор должна иметь педагогическую функцию?

Язык ДРАКОН имеет следующие особенности:

1. он содержит большое число правил, которые трудно запомнить;

2. язык рассчитан на широкое или даже массовое применение;

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

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

Можно ли найти выход из этого противоречия?
Да, можно.

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

Эту функцию (педагогическую функцию) надо возложить на дракон-конструктор.

Это будет разумное и правильное решение.
Помнить многочисленные правила языка дРАКОН должны не пользователи, а программа дракон-конструктор.

Электронная память дракон-конструктора может прекрасно помнить многочисленные и хитроумные правила языка ДРАКОН и рисовать дракон-схемы в строгом соответствии с этими правилами.

Следовательно, графические ошибки (ошибки графического синтаксиса) при построении дракон-схем будут полностью, раз и навсегда исключены.

Раз так, значит никогда и ни при каких обстоятельствах не смогут появляться такие ужасные, скверные и полные ошибок схемы, как эта:



Подобные схемы компрометируют язык ДРАКОН. Они несут в себе лживую информацию и клевещут на язык ДРАКОН, распространяя ложные и зловредные слухи о том, что язык ДРАКОН якобы является рассадником ужасных, коварных и опасных ошибок.

На самом деле, все обстоит ровно наоборот.
Язык ДРАКОН — мощное средство для борьбы с ошибками.

Но если так, как могла появиться указанная схема? Почему в этой схеме кишмя-кишат и извиваются глупейшие ошибки?

Потому что дракон-конструктор построен неправильно. Потому что дракон-конструктор не содержит педагогическую функцию.

==============================

Я хочу сказать, что появление подобных схем не может пройти бесследно.
Даже одна-единственная такая клеветническая схема (противоречащая духу и букве языка ДРАКОН) может принести огромный вред и нанести большой ущерб репутации языка ДРАКОН.

Ни в коем случае нельзя создавать ни малейшего повода для появления подобных схем.
Проектируя дракон-конструктор, необходимо предпринять строжайшие меры, исключающие появление подобных неприятностей.

"Нехай лошадь думает, у нее голова большая"

Лошадь — это дракон-конструктор. В электронной памяти дракон-конструктора легко размещаются все правила языка ДРАКОН.
Следуя этому принципу, можно полностью устранить подобные ляпы. И тогда будет всем счастье.

Посмотрим еще раз на неудачную дракон-схему.



Пример показывает, что в схеме отсутствуют некоторые соединительные линии. Это значит, что дракон-конструктор, использованный при разработке дракон-схемы, нарушает основной постулат. Так делать нельзя.

Основной постулат есть вещь священная. Отступления от него недопустимы.

Обратите внимание на синий текст. Это полезное свойство.

Возникает вопрос. Кто сможет воспользоваться этим свойством? Разумеется, программисты и другие высококвалифицированные пользователи.

Однако главная целевая аудитория языка ДРАКОН, то есть неквалифицированные пользователи, вряд ли обратят внимание на кнопку "Проверить". Для них это слишком мудрено. Скорее всего, неподготовленные пользователи не обратят внимание на эту хитроумную кнопку и не поймут, что это за зверь, и зачем он нужен.

По моему мнению, кнопка "Проверить" мало что дает. Она стреляет мимо целевой аудитории. Почему?

Потому что это лишняя нагрузка на мозги слабых людей.
Надо заботиться о слабых людях и всячески им помогать. А не обременять их ненужными функциями.

"Ненужными" в том смысле, что правила языка ДРАКОН можно и нужно соблюдать с помощью автоматических операций.

Кнопка "Проверить" — это заплата, прикрывающая отсутствие автоматизации.

Программа ДРАКОН-конструктор может и должна работать автоматически в полном соответствии с правилами языка ДРАКОН.
Для этого есть все необходимые условия.

Да, это правильно. Но!
Мое возражение таково. Гораздо лучше автоматически исключить "несоответствия правилам ДРАКОНа".

Да здравствует полная автоматизация работы ДРАКОН-конструктора, которая ГАРАНТИРОВАННО обеспечивает соблюдение правил языка ДРАКОН.

Это очень неосторожное заявление.

Если есть возможность нарисовать Бабу-Ягу, кто-нибудь из пользователей по неосторожности, по ошибке, по недоразумению обязательно нарисует не дракон-схему, а именно Бабу-Ягу.

Я исхожу из того, что возможность рисовать Бабу-Ягу должна быть ПОЛНОСТЬЮ исключена.

Пользователи всегда будут ошибаться. Это неизбежно.
Хорошая программа ДРАКОН-конструктор должна блокировать неразумные и неправильные действия пользователя.

Можно дать такое сравнение. Предположим, рядом с трамвайной линией идет неосторожный пешеход.
Предположим, что водитель трамвая ошибся и решил свернуть вбок, задавив пешехода.

Такая ошибка невозможна! Категорически невозможна.
Конструкция трамвая исключает возможность такой ошибки. Трамвай не может сойти с рельсов и поехать по асфальту. Это значит, что при любой ошибке водителя трамвая он не сможет заставить трамвай спрыгнуть с рельсов и задавить пешехода.

Именно так должен вести себя хороший ДРАКОН-конструктор.
Он должен категорически запрещать ошибочные и неразумные действия пользователя.

Хороший ДРАКОН-конструктор никогда не позволит пользователю нарисовать Бабу-Ягу.
Повторю еще раз.
Если есть возможность нарисовать Бабу-Ягу, кто-нибудь из пользователей по неосторожности, по ошибке, по недоразумению обязательно нарисует не дракон-схему, а именно Бабу-Ягу.



Эта схема и есть Баба-Яга. Она прекрасно иллюстрирует, в какой тупик попадает бедный пользователь, когда дракон-конструктор построен неправильно.

Давайте попытаемся влезть в шкуру бедного пользователя, который вынужден использовать неправильно построенный ДРАКОН-конструктор.

Что хотел нарисовать бедный пользователь? Может быть, Бабу-Ягу?
Конечно нет. Пользователь хотел нарисовать хорошую дракон-схему.

А получилась Баба-Яга! Как такое возможно?

Пользователь вправе возмутиться: почему программа завела меня в такую коварную западню?

Почему программа не подсказала мне правильный путь? Почему она не наставила меня на путь истинный? Почему ДРАКОН-конструктор вместо помощи заводит меня в тупик?

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

И слава Богу, что она ставит свои вопросы не при боевом применении, не при ответственной эксплуатации, а на этапе предварительной проверки или на этапе бета-тестирования.

Это выдержка из предисловия к моей медицинской книге. Предисловие написал известный ученый-медик, доктор медицинских наук, профессор, член-корреспондент Российской академии наук Г.В. Порядин.

Зададим вопрос. Позволяет ли принцип свободного рисования обеспечить свойства ДРАКОН-конструктора, указанные в этом Предисловии?

Ответ ясен. Нет, не позволяет.

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

http://arduino.ru/forum/programmirovani ... ent-194874
Вот критика принципа свободного рисования в сети. Цитирую:

Что отсюда следует?

1. Программа ИС Дракон не позволяет писать криво, она запрещает нарушать правила языка ДРАКОН. Она заставляет пользователя строго соблюдать правила ДРАКОНа.

2. В отличие от нее, принцип свободного рисования и программа Drakon Editor не обладают такими достоинствами. Программа Drakon Editor — это по сути просто рисовалка произвольных схем. Кнопка Проверить мало что дает. Многие неквалифицированные пользователи не могут сообразить, где она находится и зачем она нужна. Увы, они ее просто игнорируют.

Соображения, изложенные в этой ветке, предназначены в первую очередь для совершенствования ДРАКОН-конструктора DRAKON Editor Web.

Они не относятся к ранее разработанной программе DRAKON Editor, которая не подлежит изменениям.

Т.е. DRAKON Editor все эти годы был карикатурой на ДРАКОН-редактор

Вот цитата из моей последней книги "Почему врачи..."

Выкладываю выводы по Главе 17 моей книги "Почему врачи..."

По теме ОБСУЖДЕНИЕ ПРИНЦИПА СВОБОДНОГО РИСОВАНИЯ

Есть одно замечание из поста (пункт 2):
http://forum.oberoncore.ru/viewtopic.php?p=98070#p98070
Этот принцип может быть реализован:
-- в отдельном дракон-редакторе;
-- в любом дракон-редакторе - как специальный режим:
резко "подскочит" гибкость (и жизнеспособность)такого редактора
да и дракон-концепции - без нарушений существующих дракон-установок в основном режиме.

Дело в том, что нельзя рассчитывать, что можно разработать
жесткую идеальную алгоритмическую систему для всех времен и народов.
Но этом уже не раз пролетали, например,
авторы разных совершенных формальных алгоритмических систем:
в соревновании, у кого система ширше.
Шаг влево, шаг вправо - и пшик - система не годится.

По теории систем:
абсолютно (идеально) совершенные системы - они всегда точно (жестко) приспособлены к определенным условиям.
Но как только условия меняются, системы становятся нежизнеспособными.
Всегда необходим запас несовершенства:
возможно специально организованный хаос - в некоторых отношениях
(отсутствие навязанного жесткого порядка, где не нужно).

----------------
Например, автору диссертации необходимо использовать какой-то дракон-редактор
для построения блок-схемы параллельного алгоритма:http://masters.donntu.org/2014/fknt/belyy/library/article1.pdf

Какой дракон-редактор может обеспечить построение такой схемы (рисунок 2)

Метод свободного рисования = простота.
Метод составления ДРАКОН схем который описан в книге Владимира Паронджанова = продуктивность.
Было бы хорошо чтобы ДРАКОН редакторы поддерживали оба варианта.

Согласен. Этот метод хорош для неподготовленных пользователей. Он дает быструю обратную связь. Происходит быстрое обучение.

Согласен. Но главное все же безошибочность графики, которая строится методом визуального логического вывода, опираясь на визуальное логическое исчисление — исчисление икон.

Не думаю. Это сложный вопрос. В редакторе Митькина оптимальным вариантом считаю такой:

1. Первый месяц (для врачей!) использовать метод свободного рисования, при этом будет куча ошибок. Но освоение редактора пойдет быстрее.

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