DRAKON.SU

С 27 по 29 сентября 2017 г. мы с Бьёрном Энглюндом поучаствовали в соревновании по программированию.
Соревнование проводила норвежская компания Infront.

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

На написание кода и создание видео-отчёта у нас было 48 часов.
Так что сделали не много. Но сделали!

https://www.youtube.com/watch?v=jYxRG6YHSUQ

Вот пример правила из проекта.


А вот тестовое правило и логическим ИЛИ.
Здесь вместо console.log() предполагается добавлять или изменять факты в базе знаний.

Молодцы!

А есть какие-нибудь пояснения?
Из видео непонятно что является бизнес-задачей, непонятно какие функции возложены на систему и т.п.
Я понимаю что такое таблицы и индексы. Но не видно, чтобы код, показанный на экране "output javascript" как-то соотносился с "правилами на Драконе".

По видеоотчёту слова "faster development", "cheaper maintenance" получились необоснованными.
Да, были примеры Дракон правил. Но откуда следует, что они позволяют быстрее разрабатывать? Или откуда следует, что они делают поддержку программы дешёвой?

Правильные замечания. Законные вопросы.

Нужны, очень нужны пояснения.

Я расскажу об этом позднее.

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

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

Вот что непонятно: почему я не додумался до этого раньше?

Что конкретно даёт ДРАКОН для описания правил? В чём плюсы?
Рассмотрим данную диаграмму:

Эта диаграмма будет переведена в следующие правила:

Код:

(person.name == 'Jon') =>
    console.log('Found Jan Jon or car owner');   
   
(person.name != 'Jon' && car.owner == person) =>
    console.log('Not Jon, but a car owner',   person,   car);
    console.log('Found Jan Jon or car owner');
   
(person.name != 'Jon') =>
    console.log('Not a Jon', person);

Вот плюсы:
1. Визуальные формулы для И, ИЛИ и НЕ
2. Не нужно создавать новые правила для негативных условий См. правила с person.name == 'Jon' и person.name != 'Jon'.
3. Можно задавать несколько правил без лишних повторов См. правило (person.name != 'Jon') => console.log('Not a Jon', person).