Логика автономных систем (СИ)

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

Конечно. Тут - поздно. Тогда нужна другая логика.

И новый набор базовых операций. Вот уж тут-то можно всё учесть...

Но, для этого надо понять - что было, и что - надо. Это оказалось совсем не просто. Снова, математические логики:

Булева логика.

Троичная логика Н.Брусенцова

Счетная логика (симметричный и несимметричный варианты dual rail).

n- мерная логика.

Логика высказываний

Логика предикатов

Логика событий

Система базовых операций или функций, одна и та же. Выбирать не из чего. А подумать - есть. И пофилософствовать...

Что есть логика?

Без экскурса в историю. Без подглядывания в словари. Там всё понятно, умно и правильно. А вот если своими словами, жутко неправильно, но, все же, сформулировать свое ощущение. Логика, это ...

Возможно, это способ в известных условиях найти обоснованный ответ на поставленный вопрос и принять решение? Возможно.

Или метод, как найти причину из условий имеющегося набора следствий? И это возможно.

Мы что-то сопоставляем, как-то выбираем наиболее обоснованные варианты, сравниваем, снова выбираем, и, наконец, принимаем решение. Да, это так.

Или не так? Мы крутим аргументы и факты, и так, и эдак, а ответ всё никак не находится. Почему-то ответов у нас всегда много, но нужен-то только один. Какой?

И мы снова идем по уже знакомому кругу. Нет однозначного ответа. И так можно сказать, и так, да и вот так - тоже. И все ответы будут правильными, не совсем, но ..., вполне логичными. Все они чем-то подтверждаются, как-то обосновываются. Выбрать один очень непросто. А почему нам нужен только один ответ?

Или так. Задан простенький вопросик, например, почему небо - голубое?

И начинается.... Потому, потому и потому... и нет конца этому логическому ответу. Откуда берутся эти многочисленные "потому"? В вопросе их не было. Из чего они появились? Из простой связки: небо - голубое...

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

Да, ни одна принятая учеными система логики не справится с такой задачей самостоятельно..., ни одна. Почему?

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

В этом просматривается результат. И логичность принятых систем оценивается по степени адекватности получения именно такого результата. Ответ должен быть адекватен поставленному вопросу. И он должен быть обоснованным. Тогда он признается ... логичным.

Конечно, если логика идет к результату через простые операции, то надо учитывать хотя бы вес того или иного ответа при отборе. Естественно, в ход идут вероятностные оценки. Да, с вероятностью 54% ..., вполне обоснованно, а нам что с этим ответом делать? Но, все экспертные системы работают так. Они выдают результат, а решать - нам.

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

Что поделаешь, автоматика дала сбой.

Нет, это система логики дала сбой. Автоматика его только реализовала.

Так, что же такое - логика? Система правил, система мышления, система поиска ответа? Наверное...

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

Расширяющаяся логика [31], создающая из простой связки "небо - голубое" весь набор вариационных логических связей. Тот самый, уходящий в бесконечность...

Где эта часть логики? Может быть, забыли об этой, второй стороне, одной и той же логики..., логики, о которой мы говорим уже несколько тысяч лет?

Нет, не забыли. Скорее, спрятали.

Человек - венец Природы. Он - эталон. Его логика непогрешима, и оценкам не подлежит. Мы создаем системы логики для ... слуг. А управление оставляем для себя. Мы принимаем решение. Они пусть работают по нашим системам, а мы их будем контролировать. Полная самостоятельность слуг никому не нужна и опасна. Компьютер, он, конечно, умный, но - слуга, и обязан делать то, что я от него требую. И не более.

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

Вот тут и вмешивается система логики. Основы, заложенные в неё, нами же.

Мы начинаем получать результаты наших действий.