ПР200 на четырёхзначной логике

[Geenerator]

Мне кажется, что подменяются термины.

В данном описании говорится не о 4-ричной логике, где каждый элемент (переменная) может принять 4 состояния, а о введении ещё одной сущности к описанию объекта управления - слова состояния.
Т.е. не появляется новой 4-ричной алгебры, в которой при помощи двух операций (как в теории полей чисел или как она называется) определяется взаимодействие этих состояний.
Предлагается вычисление наиболее востребованных в алгоритме состояний объекта управления.

То, что предвычисленных состояний оказалось ровно 4 - это или случай или закономерность или подгон.

Но не это хочу донести - предлагается предвычисление наиболее употребимых состояний и сохранение их в переменной состояния (флагов). Это не про 4-ричную систему, а про библиотеку управления движением с наборами предвычисленных состояний для разных классов объектов (насос, задвижка, отсечной клапан, сервопривод).

Возможно, как готовая библиотека это будет интересно, но OwenLogic пока не обладает возможностями работы со структурами, перечислимыми типами, именованными константами - на данном этапе развития нормальная библиотека нереализуема.

Давайте вернёмся к началу, есть двоичная логика и её можно сравнить с аналогом из физики, например координата. Изменение координаты во времени есть скорость или первая производная по времени dX/dt. Для понятия "скорость" разве вводятся новые алгебраические правила ? , это просто физическая величина более "тонкого" порядка. Если дойдёт дело до теории, то я смогу это показать.

Двоичная логика отвечает за "события" в системе (произошло событие / не произошло событие), четырёхзначная логика отвечает за движение к этим событиям. И должен сказать, что не во всех задачах нужны переменные, показывающие такие движения.

[Geenerator]

Да, дифференциальное счисление - это раздел математики, который взаимодействует с разделом геометрической алгебры.

Есть булева алгебра, а Вы предлагаете библиотеку управления объектами, для которой разработали регистры флагов наиболее востребованных состояний. Дальше ФБ не вычисляют эти состояния, а берут их напрямую из регистра флагов. Такое впечатление возникло из-за того, что в Вашем примере команда формировалась не при помощи собственных операций над состояниями, а при помощи булевой алгебры над отдельными флагами регистров состояний.

Т.е. вместо описания библиотеки и её идеологии, по ошибке утверждаете, что это 4-значная логика.

Да, для работы насосной группы такая библиотека не востребована.
Для контроля перемещения объекта (ворот, резака) - возможно, именно она и требуется.

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

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

Как у Соломона - если не сейчас - то когда? если не здесь - то где? если не я - то кто?

Если дошло дело до Соломона, то пришло время философии. Давайте найдём аналогии из смежных областей
Всем известен электрический закон расчёта мощности P=UI
U - напряжение - это разность потенциалов. Разность потенциалов либо есть, либо её нет.
I - ток - ключевое свойство, может течь по проводнику либо в прямом направлении, в обратном направлении, либо не течь.
P - мощность - это характеристика электрической цепи качественно другого уровня включающее в себя понятие ток и напряжение

Переходим к логике и ищем аналогии
Двоичная логика: двоичная система счисления, 2 логических уровня 1-истина, 0-ложь - очень похоже на напряжение
Троичная логика: троичная сбалансированная система счисления, 3 логических уровня +1, 0, -1 - очень похоже на ток
Четырёхзначная логика: четыре логических уровня 00, 01, 10, 11. При этом, можно увидеть и двоичную логику в состояниях 00, 11 и троичную в состояниях 01, 00, 10

Из вышеприведённых философских рассуждений можно сделать вывод, что состояния четырёхзначной логики не случайны, а закономерны.
Я не настаиваю на использовании данной логики, просто если вам понравиться, то вы можете использовать её в своих проектах.