ИСТИНА

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