Project "Planning with Realistic Preference Models"
(scroll down for publications)
Deterministic search methods typically associate a cost with every edge of a
graph and attempt to minimize the cost of achieving a given goal vertex.
Similarly, probabilistic search methods typically either maximize the
probability or minimize the expected cost of achieving a given goal
vertex. However, human decision makers often have more complex preference
models, and planning systems need to adopt these objective functions to be
helpful for their users. For example, human decision makers often trade off
between different kinds of cost. They are also often risk-averse in high-stake
one-shot decision situations under uncertainty, such as planning for crisis
situations (for example, oil spills) or space applications.
While AI researchers had concentrated on how to search efficiently for
more realistic (and thus larger) world models, my collaborators and I have
concentrated on how to exploit the structure of deterministic and
probabilistic planning problems to search efficiently for preference models
that allow one to model the preferences of human decision makers better than
the traditional ones. For example, we have also developed fast dynamic
programming methods that maximize the expected utility for Markov decision
problems with non-linear utility functions, such as an exact backward
induction method for one-switch utility functions and several variants of
approximate functional value iteration for arbitrary utility functions. These
dynamic programming methods manipulate concisely represented functions from
wealth levels to values. Overall, we have developed search methods for sensor
planning, planning with risk-attitudes for high-stake one-shot decision
situations, and planning for deadlines and other real-valued scarce resources,
such as energy. I received an NSF CAREER award on this topic.
Currently, we are working on speeding up deterministic bi- and multi-objective
search since many applications need to tradeoff between two (or more)
competing resources, such as travel time and energy. Examples include solving
transportation problems, planning power-transmission lines, scheduling
satellites and routing packets in computer networks.
News
We gave a tutorial on multi-objective search at AAAI 2024.
We had a multi-objective research meeting on December 6, 2024 at the
University of Southern California with in-person presence from the Technion,
Ben Gurion University, and the University of Southern California in the context
of a joint research project funded by the US National Science Foundation (NSF)
and the US-Israel Binational Science Foundation (BSF).
We had a multi-objective research retreat on December 12-15, 2023 at the
Technion (Israel) with in-person presence from the University of Southern
California, Universidad San Sebastian, Washington University in St. Louis, the
Technion, and Ben Gurion University in the context of a joint research project
funded by the US National Science Foundation (NSF) and the US-Israel
Binational Science Foundation (BSF).
Representative Overview Publications
Representative Publications on Multi-Attribute Planning
- C. Hernandez, W. Yeoh, J. Baier, H. Zhang, L. Suazo, S. Koenig and O. Salzman. Simple and Efficient Bi-Objective Search Algorithms via Fast Dominance Checks. Artificial Intelligence, 314, 2023. [downloadable]
- O. Salzman, A. Felner, C. Hernandez, H. Zhang, S.-H. Chan and S. Koenig. Heuristic-Search Approaches for the Multi-Objective Shortest-Path Problem: Progress and Research Opportunities [Survey Track]. In International Joint Conference on Artificial Intelligence (IJCAI), 6759-6768, 2023. [downloadable]
- H. Zhang, O. Salzman, A. Felner, S. Kumar, C. Hernandez and S. Koenig. Efficient Multi-Query Bi-Objective Search via Contraction Hierarchies. In International Conference on Automated Planning and Scheduling (ICAPS), 452-461, 2023. [downloadable]
- C. Ge, H. Zhang, J. Li and S. Koenig. Cost Splitting for Multi-Objective Conflict-Based Search. In International Conference on Automated Planning and Scheduling (ICAPS), 128-137, 2023. [downloadable]
- Z. Ren, J. Li, H. Zhang, S. Koenig, S. Rathinam and H. Choset. Binary Branching Multi-Objective Conflict-Based Search for Multi-Agent Path Finding. In International Conference on Automated Planning and Scheduling (ICAPS), 361-369, 2023. [downloadable]
- H. Zhang, O. Salzman, S. Kumar, A. Felner, C. Hernandez and S. Koenig. A*pex: Efficient Approximate Multi-Objective Search on Graphs. In International Conference on Automated Planning and Scheduling (ICAPS), 423-433, 2022. [downloadable]
- S. Skyler, D. Atzmon, A. Felner, O. Salzman, H. Zhang, S. Koenig, W. Yeoh and C. Hernandez. Bounded-Cost Bi-Objective Heuristic Search [Short Paper]. In Symposium on Combinatorial Search (SoCS), 239-243, 2022. [downloadable]
- C. Hernandez, W. Yeoh, J. Baier, H. Zhang, L. Suazo and S. Koenig. A Simple and Fast Bi-Objective Search Algorithm. In International Conference on Automated Planning and Scheduling (ICAPS), 143-151, 2020. [downloadable]
- S. Koenig and Y. Liu. The Interaction of Representations and Planning Objectives for Decision-Theoretic Planning Tasks. Journal of Experimental and Theoretical Artificial Intelligence, 14, 303-326, 2002. [downloadable]
- L. McCrickard, S. Koenig, T. Fox and N. Ezquerra. Using Regression Techniques for the Automated Selection of Radiosurgery Plans. In International ICSC Symposium on Advanced Computing in Biomedicine (ACBM), 71-77, 2001. [downloadable]
- S. Koenig and Y. Liu. Representations of Decision-Theoretic Planning Tasks. In International Conference on Artificial Intelligence Planning Systems (AIPS), 187-195, 2000. [downloadable]
Representative Publications on High-Stake Planning
- Y. Liu and S. Koenig. An Exact Algorithm for Solving MDPs under Risk-Sensitve Planning Objectives with One-Switch Utility Functions. In International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 453-460, 2008. [downloadable]
- Y. Liu and S. Koenig. Functional Value Iteration for Decision-Theoretic Planning with General Utility Functions. In AAAI Conference on Artificial Intelligence (AAAI), 1186-1193, 2006. [downloadable]
- Y. Liu and S. Koenig. Risk-Sensitive Planning with One-Switch Utility Functions: Value Iteration. In AAAI Conference on Artificial Intelligence (AAAI), 993-999, 2005. [downloadable]
- Y. Liu and S. Koenig. Existence and Finiteness Conditions for Risk-Sensitive Planning: Results and Conjectures. In International Conference on Uncertainty in Artificial Intelligence (UAI), 354-363, 2005. [downloadable]
- S. Koenig. Topics for Future Planning Competitions [Position Paper]. In ICAPS-03 Workshop on the Competition: Impact, Organization, Evaluation, Benchmarks, 2003. [downloadable]
- S. Koenig and Y. Liu. Sensor Planning with Non-Linear Utility Functions. In European Conference on Planning (ECP), 265-277, Springer, 1999. [downloadable]
- S. Koenig and R.G. Simmons. How to Make Reactive Planners Risk-Sensitive. In International Conference on Artificial Intelligence Planning Systems (AIPS), 293-298, 1994. [downloadable]
Representative Publications on Hard or Soft Deadlines
- J. Marecki, S. Koenig and M. Tambe. A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources. In International Joint Conference on Artificial Intelligence (IJCAI), 2536-2541, 2007. [downloadable]
- Y. Liu and S. Koenig. Functional Value Iteration for Decision-Theoretic Planning with General Utility Functions. In AAAI Conference on Artificial Intelligence (AAAI), 1186-1193, 2006. [downloadable]
- S. Koenig. Planning-Task Transformations for Soft Deadlines. In International Workshop on Agent Theories, Architectures, and Languages (ATAL), 305-319, Springer, 2000. [downloadable]
Dissertations
Some of this material is based upon work supported by the National Science
Foundation under Grant Nos. 9984827 and 2121028 as well as an IBM Faculty
Fellowship. Any opinions, findings, and conclusions or recommendations
expressed in this material are those of the author(s) and do not necessarily
reflect the views of the National Science Foundation or the other sponsoring
organizations.
Many publishers do not want authors to make their papers available
electronically after the papers have been published. Please use the electronic
versions provided here only if hardcopies are not yet available. If you have
comments on any of these papers, please send me an email! Also, please send me
your papers if we have common interests.
This page was automatically created by a bibliography maintenance system that
was developed as part of an undergraduate research project, advised by Sven Koenig.
Home Page of Sven Koenig