Независимые модели ограничения знаний на основе входных данных и положительных и отрицательных примеров

arXiv:2610.3640v1 Annualce Type: New Brieflow: В настоящем документе мы описываем инструмент приобретения Continent, который генерирует независимые программы ограничения размера на основе входных данных и положительных и негативных примеров решений многочисленных проблемных случаев. В рамках этой системы выявляются модели конкретного размера, основанные на типичных моделях ограничения по сравнению с глобальными и двоичными ограничениями, а затем эти модели обобщаются до независимой модели размера, которая может быть использована на основе невидимых входных данных. Система выпускает код MiniZinc, а также текстовое описание модели. Мы оцениваем инструмент, касающийся проблем, которые могут возникнуть в связи с проблемой PTHG21, и демонстрируем практическую осуществимость этого подхода.