NEXUS : planification sûre pour agents incarnés avec contraintes de sécurité
En bref
- NEXUS combine un modèle PDDL et une spécification LTL pour la planification sûre d'agents incarnés.
- Il corrige les échecs d'exécution et accumule des contraintes de sécurité réutilisables.
- Meilleur équilibre entre accomplissement des tâches sûres et refus des tâches dangereuses selon SafeAgentBench.
NEXUS est un cadre neuro-symbolique qui combine un modèle PDDL d'actions et une spécification de sécurité LTL pour les agents incarnés. Il corrige les échecs d'exécution et accumule des contraintes de sécurité réutilisables, améliorant l'équilibre entre accomplissement des tâches sûres et refus des tâches dangereuses.
Ce que ça change pour vous
- Industrie & ManufacturingPermet aux robots industriels de planifier des tâches en respectant des contraintes de sécurité dynamiques et réutilisables.
Ce résumé vous donne l'essentiel. L'article complet, ses chiffres et ses citations sont chez cs.AI updates on arXiv.org.
Lire l'article originalRésumé généré par IA à partir de la source, relu par règles. Signaler une erreur