ASP-фреймворк для предиктивного рассуждения о движущихся объектах (arXiv:2610.20867v1)
В препринте представлен гибридный декларативный фреймворк на базе Answer Set Programming для объяснимого семантического предвидения взаимодействующих траекторий. Система объединяет ASP-модель динамики, семантически управляемое построение ветвящихся траекторий и энерго-ориентированную оптимизацию для ранжирования и фильтрации предсказаний; оценка проведена на Argoverse 2 с явными проверяемыми гипотезами на уровне событий.