Графы и логика

Сегодня актуальность комбинаторных задач определяется перемещением Искусственного Интеллекта из теоретической области в практическую, т.к. большое число интеллектуальных задач сводятся к комбинаторным. Для описания комбинаторных задач чаще всего используется логический язык или язык графов. Исходя из этого, в настоящей работе вводится единый формализм, позволяющий единообразно представлять, как логические функции, так и т.н. графы ортогональности. Последние суть нагруженные не ориентированных графы, метки узлов которых – векторы одинаковой длины над базисом <0, 1, _>. Показывается, что большое число комбинаторных задач сводятся к анализу графов ортогональности.