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