Исследователи из IT University of Copenhagen и University of Southern Denmark представили FÆRDXEL — экспертную систему для символьных рассуждений в области датского дорожного права. Система опубликована на arXiv.org и представлена на конференции ICLP 2025. Её выводы по ряду судебных дел совпали с решениями датских судей.
FÆRDXEL сочетает методы логического программирования с новым интерфейсом, который позволяет пользователям отслеживать ход рассуждений системы. Это обеспечивает объяснимость её работы. Система прошла две оценки: эмпирическую, подтвердившую соответствие её выводов судебным решениям, и качественную — от экспертов в области права.
Юридические эксперты отметили, что эта разработка может стать основой для реальных ИИ-инструментов, поддерживающих профессионалов в датском правовом секторе. Работа демонстрирует практическое применение логического ИИ в сложной, регулируемой области, где важны точность и прозрачность принятия решений.
Разработка FÆRDXEL показывает растущий интерес к созданию объяснимых и узкоспециализированных ИИ-систем для профессиональных областей, где ошибки имеют серьёзные последствия. Успех в правовой сфере открывает путь для подобных систем в других регулируемых отраслях.