Естественный язык для первого Ордера Логика LLM на основе автоматизации

arXiv: 2610.12030v1 Annuales Type: New Habritary: Major Language Models (LMS) возобновили интерес к автоматизации. Тем не менее, когда первая логика рассматривается в качестве целевого формализма, на местах по-прежнему отсутствует единая формулировка задач и систематическое обследование. В настоящем документе рассматривается этот пробел: во-первых, мы предлагаем принципиальное определение задачи ФОЛ в области автоматизации путем проведения различия между экстракцией Онтологии и логическим переводом с указанием того, каким образом их комфляционные неясные (взаимоизученные) оценки; мы проводим обзор существующих наборов данных, оценочных параметров и методов на основе УУЗР, включая доработку, стимулирование и уточнение на основе проверки; мы выявляем открытые проблемы в таких областях, как сопоставление показателей, сематическая оценка, методы онтологового обеспечения и конечные прикладные программы.