Предлагаемый нами подход к представлению функций алгебры логики на основе их представлени
с помощью позицинно зависимого языка позволяет совершенно по другому подойти
к ряду логических задач: прежде всего к задачам логического вывода или поска решения. Обычные
методы позволяют решать подобные задачи размерностью не превосходящей тысяч параметров, и то
в большинстве случаев время решения становится не приемлемым на практике. Хорошо если задача
имеет решение и на него удалось наткнуться на первых шагах, а если нет, то это приведет к полному
перебору вариантов. А как известно, число вариантов экспоненциально зависит от размерности
задачи. Наоборот в предлагаемом нами подходе мы можем получить все решения задачи, даже нулевое
в приемлемое время, кроме того наш подход позволяет решать логичекие задачи на несколько
порядков более сложные по сравнению с класическим. (Введение)
На данном этапе нами разработаны алгоритмы и написаны тестовые программы, которые наглядно
доказывают нашу правоту. Поэтому мы ищем спонсоров для дальнейшего продолжения исследований и
практического внедрения полученных нами результатов.
|