Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations

2509.00961v1 cs.AI, cs.LG 2025-09-05
Авторы:

Lun Ai, Johannes Langer, Ute Schmid, Stephen Muggleton

Резюме на русском

########################## ## Контекст ########################## В последние десяти годы системы машинного обучения стали важной частью человеческой жизни и работы. Однако их эффективность зависит от взаимодействия с пользователями, чтобы создавать новые модели и улучшать существующие. Одна из проблем заключается в том, что пользователи часто не знакомы с системами машинного обучения и не могут полностью использовать их потенциал. Это исследование опирается на концепцию Ultra Strong Machine Learning (USML), чтобы решить эту проблему. USML заключается в том, что системы не только улучшают свои результаты, но и могут обучать пользователей, используя для этого символические логические программы и их объяснения. ########################## ## Метод ########################## В этой работе представлен метод LENS (Logic Programming Explanation via Neural Summarisation), который использует нейро-символический подход для автоматического создания логических программ и их объяснения в натуральной речи. LENS использует программный синтез для генерации логических программ и крупных лингвистических моделей (LLM) для их объяснения. Это новаторское решение заменяет ручное создание шаблонов объяснений автоматическим генерированием. Метод был протестирован с помощью нескольких LLM-судей и человеческой валидации, чтобы проверить его эффективность в создании качественных объяснений. ########################## ## Результаты ########################## Работа включала эксперименты с несколькими моделями LLM и человеческими участниками, чтобы оценить качество добавленных объяснений. Результаты показали, что LENS генерирует более качественные объяснения по сравнению с ручными шаблонами и LLM-промптингом. Были проведены учебные эксперименты с людьми в трех связанных областях, чтобы изучить, могут ли LENS и LLMs научить активные стратегии обучения. Однако не было выявлено значительных улучшений в показателях выполнения задач пользователей. ########################## ## Значимость ########################## Полученные результаты могут быть применены в областях, где требуется помощь в обучении, такие как образование, производство и здравоохранение. Например, LENS может помочь учителям и тренерам создавать качественные объяснения для своих учеников. Однако ограничения показали, что сложность LLM-объяснений может перегружать простые задачи, а не облегчать их понимание. ########################## ## Выводы ########################## Результаты исследования показали, что LENS может генерировать качественные объяснения, но для простых задач необходимо улучшить объяснения, чтобы они были более пригодными для пользователей. Будущие исследования будут сосредоточены на создании более гибких и индивидуальных подходов для обучения через USML. Исходный код LENS доступен на GitHub по ссылке: https://github.com/lun-ai/LENS.git.

Abstract

Ultra Strong Machine Learning (USML) refers to symbolic learning systems that not only improve their own performance but can also teach their acquired knowledge to quantifiably improve human performance. In this work, we present LENS (Logic Programming Explanation via Neural Summarisation), a neuro-symbolic method that combines symbolic program synthesis with large language models (LLMs) to automate the explanation of machine-learned logic programs in natural language. LENS addresses a key limitation of prior USML approaches by replacing hand-crafted explanation templates with scalable automated generation. Through systematic evaluation using multiple LLM judges and human validation, we demonstrate that LENS generates superior explanations compared to direct LLM prompting and hand-crafted templates. To investigate whether LENS can teach transferable active learning strategies, we carried out a human learning experiment across three related domains. Our results show no significant human performance improvements, suggesting that comprehensive LLM responses may overwhelm users for simpler problems rather than providing learning support. Our work provides a solid foundation for building effective USML systems to support human learning. The source code is available on: https://github.com/lun-ai/LENS.git.

Ссылки и действия