![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Главный конструктор уникальных троичных машин "Сетунь" и "Сетунь 70" Н.П. Брусенцов наиболее значимым достоинством троичной информатики считал трехзначную логику. Он предложил представление логических отношений, в частности, фундаментального отношения следования и метод оперирования отношениями. Первичными в логике Брусенцова являются двузначные качества, обозначаемые терминами x, y, z, … . Булевы выражения понимаются как составные особенности вещей, оцениваемых посредством этих качеств. Вещи могут существовать (Vx), не существовать (V'x), либо находиться в третьем-привходящем статусе (в этом случае x умалчивается). Допустимы три вида отношений: существование некоторой вещи, следование и эквивалентность. Например, следование x=>y выражается как конъюнкция трех суждений существования VxyVx'y' V'xy'. Метод Брусенцова можно понимать как набор правил преобразования суждений существования, посредством которых из системы посылок получаются заключения. Николай Петрович рассматривал разработанный им метод как основу компьютерной системы рассуждения. Было предложено несколько вариантов ее реализации, в которых применены различные способы представления булевых выражений, в частности, в виде двоичных шкал, троичных цепей и двоичных диаграмм решений. При этом увеличение количества терминов и количества посылок в системе приводило к значительному росту объема памяти, требуемой ее для представления. В общем случае метод Брусенцова выражает взаимосвязь между двумя особенностями, охарактеризованными произвольными булевыми выражениями. Оказалось, что система рассуждения может быть значительно упрощена, если ограничить ее рассмотрением конъюнкций либо дизъюнкций терминов или их инверсий.