Аннотация
В условиях стремительной цифровизации юридической прак-тики возрастает потребность в интеллектуальных системах, способных эффектив-но осуществлять поиск и интерпретацию нормативно-правовых документов. В на-стоящем исследовании представлена гибридная система семантического поиска по правовым актам Казахстана, объединяющая поиск на основе многоязычной модели BERT с NP-полной логической верификацией. Модуль поиска выявляет семантиче-ски релевантные положения правовых актов, тогда как модуль верификации приме-няет алгоритмы на основе SAT для обеспечения логической согласованности и соот-ветствия установленным правовым условиям. Предложенная система обеспечивает более высокую точность и интерпретируемость по сравнению с традиционными мо-делями, такими как BM25. Экспериментальная оценка на двуязычном корпусе под-тверждает, что интеграция нейронного и символического рассуждения значительно повышает как точность, так и прозрачность поиска правовой информации