A key assumption of all problem-solving approaches based on utility theory, including heuristic search, is that we can assign a utility or cost to each state. This in tum requires that all criteria of interest can be reduced to a common ratio scale. However, many real-world problems are difficult or impossible to formulate in terms of minimising a single criterion, and it is often more natural to express problem requirements In this of a set of constraints which a solution should satisfy. In this paper, we present a generalisation of the A* search algorithm, A* with bounded costs (ABC), which searches for a solution which best satisfies a set of prioritised soft constraints, and show that, given certain reasonable assumptions about the constraints, the algorithm is both complete and optimal. We briefly describe a route planner based on ABC and illustrate the advantages of our approach in a simple route planning problem.
[1]
Barry Richards,et al.
Least Commitment { An optimal planning strategyVassilis
,
1997
.
[2]
Bart Selman,et al.
Pushing the Envelope: Planning, Propositional Logic and Stochastic Search
,
1996,
AAAI/IAAI, Vol. 2.
[3]
Nils J. Nilsson,et al.
A Formal Basis for the Heuristic Determination of Minimum Cost Paths
,
1968,
IEEE Trans. Syst. Sci. Cybern..
[4]
Eugene C. Freuder,et al.
Partial Constraint Satisfaction
,
1989,
IJCAI.
[5]
Richard J. Wallace,et al.
Partial Constraint Satisfaction
,
1989,
IJCAI.