Компьютерная наука > Многоагентные системы [представлены 25 октября 2026 года] Название: A Hyper-Logical View on Multi-Agents Path Planning Vieve PDF HTML (экспериментальный) Резюме: Планирование многоагрегатных путей (MAPP) требует без столкновения путей для нескольких агентов. МАПП имеет множество реальных прикладных программ, включая систему навигации автоматизированных транспортных средств, и поэтому она включает многие варианты с учетом различных ограничений, требований и целей. Для каждого такого варианта часто разрабатывается новая алгоритмическая методика. В этом документе используется взаимодополняющий, ориентированный на спецификации взгляд: мы показываем, что многие варианты MAPP могут быть смоделированы в HyperLTL — временная логика, которая объясняет множество путей и их эволюцию во времени, а также его омега-регулярное расширение HIperQPTL. Этот взнос не является утверждением о том, что нынешние модели гиперимущества заменяют специализированные решающие устройства MAPP. Скорее, гиперлогичная точка зрения дает унифицированную формулировку для сопоставления вариантов MAPP, добавления перекрестных ограничений, выражения оптимального характера и увязки MAPP с методами проверки, объяснения и причинно-следственной связи в отношении гиперпропорции. Дополнительные ссылки и цитаты... Библиографический и цитационно-инструментальный библиолог (Что является Исследовательом?) Подключённые документы (что такое подсоединенные бумаги?) Litmaps (Литмпапс?) Skite Smart Citations…
Гипер-логический взгляд на многоагентное планирование путей
arXiv: 261 030,35964v1 Тип уведомления: кросс-бюллетень: Многоагентное планирование путей (MAPP) требует без столкновения путей для нескольких агентов. МАПП имеет множество реальных прикладных программ, включая систему навигации автоматизированных транспортных средств, и поэтому она включает многие варианты с учетом различных ограничений, требований и целей. Для каждого такого варианта часто разрабатывается новая алгоритмическая методика. В этом документе используется взаимодополняющий, ориентированный на спецификации взгляд: мы показываем, что многие варианты MAPP могут быть смоделированы в HyperLTL — временная логика, которая объясняет множество путей и их эволюцию во времени, а также его омега-регулярное расширение HIperQPTL. Этот взнос не является утверждением о том, что нынешние модели гиперимущества заменяют специализированные решающие устройства MAPP. Скорее, гиперлогичная точка зрения дает унифицированную формулировку для сопоставления вариантов MAPP, добавления перекрестных ограничений, выражения оптимального характера и увязки MAPP с методами проверки, объяснения и причинно-следственной связи в отношении гиперпропорции.