Musliner, David
SMT-Based Nonlinear PDDL+ Planning
Bryce, Daniel (SIFT, LLC.) | Gao, Sicun (Massachusetts Institute of Technology) | Musliner, David (SIFT, LLC.) | Goldman, Robert (SIFT, LLC.)
PDDL+ planning involves reasoning about mixed discrete-continuous change over time. Nearly all PDDL+ planners assume that continuous change is linear. We present a new technique that accommodates nonlinear change by encoding problems as nonlinear hybrid systems. Using this encoding, we apply a Satisfiability Modulo Theories (SMT) solver to find plans. We show that it is important to use novel planning- specific heuristics for variable and value selection for SMT solving, which is inspired by recent advances in planning as SAT. We show the promising performance of the resulting solver on challenging nonlinear problems.
Reports on the AAAI Spring Symposia (March 1999)
Musliner, David, Pell, Barney, Dobson, Wolff, Goebel, Kai, Vanderbilt, Gautam Biswas, McIlraith, Sheila, Gini, Giuseppina, Koenig, Sven, Zilberstein, Shlomo, Zhang, Weixiong
The Association for the Advancement of Artificial Intelligence, in cooperation, with Stanford University's Department of Com-puter Science, presented the 1999 Spring Symposium Series on 22 to 24 March 1999 at Stanford University. The titles of the seven symposia were (1) Agents with Adjustable Autonomy, (2) Artificial Intelligence and Computer Games, (3) Artificial Intelligence in Equipment Maintenance Service and Support, (4) Hybrid Systems and AI: Modeling, Analysis, and Control of Discrete Continuous Systems, (5) Intelligent Agents in Cyberspace, (6) Predictive Toxicology of Chemicals: Experiences and Impact of AI Tools, and (7) Search Techniques for Problem Solving under Uncertainty and Incomplete Information.
Reports on the AAAI Spring Symposia (March 1999)
Musliner, David, Pell, Barney, Dobson, Wolff, Goebel, Kai, Vanderbilt, Gautam Biswas, McIlraith, Sheila, Gini, Giuseppina, Koenig, Sven, Zilberstein, Shlomo, Zhang, Weixiong
The Association for the Advancement of Artificial Intelligence, in cooperation, with Stanford University's Department of Com-puter Science, presented the 1999 Spring Symposium Series on 22 to 24 March 1999 at Stanford University. The titles of the seven symposia were (1) Agents with Adjustable Autonomy, (2) Artificial Intelligence and Computer Games, (3) Artificial Intelligence in Equipment Maintenance Service and Support, (4) Hybrid Systems and AI: Modeling, Analysis, and Control of Discrete + Continuous Systems, (5) Intelligent Agents in Cyberspace, (6) Predictive Toxicology of Chemicals: Experiences and Impact of AI Tools, and (7) Search Techniques for Problem Solving under Uncertainty and Incomplete Information.