· MDP Solvers That Scale. Desarrollo de algoritmos para la resolucion de grandes MDPs.
· The Theory of Temporal Planning. La caracterización de cuales aspectos del dominio del planeamiento (o lenguaje de modelado) hacen el planeamiento temporal difícil.
Proyectos pasados
· Concurrency in MDPs. Aumentar los MDPs para encargarse de acciones concurrentes temporalmente extendidas.
· BlackBox. Un sistema de planeamiento que combina la tecnología SAT con Graphplan.
· TGP. Un planeador temporal rápido, direccionado a los dominios de naves espaciales de la NASA.
· LPSAT. Un planeador de recursos métricos, el cual compila problemas de planeamiento a una combinación lineal de desigualdades y formulas SAT --- para ser resueltas por un solucionador hibrido, combinando un solucionador de satisfacibilidad sistemática con un algoritmo de Simples incremental.
· Theory of Planning Under Uncertainty. Investigación de la computabilidad del MDP.
· MEDIC. Compila problemas STRIPS en problemas de satisfacibilidad.
· PYRRHUS. Encuentra planes óptimos para funciones de valor directo a una meta.
· ZENO. Planeador temporal que se encarga de metas de fecha tope y cambio continuo.
· BURIDAN. Planeador de razones probabilísticas sobre la incertidumbre.
· CBURIDAN. Extiende BURIDAN son acciones de detección y ejecución contingente.
· XII. Ejecuta acciones de detección para encargarse de información incompleta con el softbot de Internet.
· OCCAM. Planeador optimizado para la recolección de información y controla el softbot Razor.
· UCPOP. Una vez el planeador estándar del punto de referencia (distribuido a 100+ sitios), UCPOP se encargó de cuantificaciones universales, efectos condicionales, y universos dinámicos con un sonido y algoritmo completo.
· FABIAN. Planea con acciones abstractas que se generan automáticamente.
0 Komentar