Results 1  10
of
15
Multiobjective Russian Doll Search
 In Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI
, 2007
"... Russian Doll Search (RDS) is a wellknown algorithm for combinatorial optimization. In this paper we extend it from monoobjective to multiobjective optimization. We demonstrate its practical applicability in the challenging multipleorbit SPOT5 instances. Besides being much more efficient than an ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Russian Doll Search (RDS) is a wellknown algorithm for combinatorial optimization. In this paper we extend it from monoobjective to multiobjective optimization. We demonstrate its practical applicability in the challenging multipleorbit SPOT5 instances. Besides being much more efficient than any other alternatives, multiobjective RDS can solve an instance which could not have been solved previously.
Decision making with multiple objectives using GAI networks
 Artif. Intell
, 2011
"... case 169, 4 place jussieu ..."
(Show Context)
Interactive Cost Configuration Over Decision Diagrams
 Journal of Artificial Intelligence Research (JAIR
"... Abstract In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of feasible solutions into a tractable representation is an important approach to delivering efficient backtrackf ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
Abstract In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of feasible solutions into a tractable representation is an important approach to delivering efficient backtrackfree user interaction online. In particular, binary decision diagrams (BDDs) have been successfully used as a compilation target for product and service configuration. In this paper we discuss how to extend BDDbased configuration to scenarios involving cost functions which express user preferences. We first show that an efficient, robust and easy to implement extension is possible if the cost function is additive, and feasible solutions are represented using multivalued decision diagrams (MDDs). We also discuss the effect on MDD size if the cost function is nonadditive or if it is encoded explicitly into MDD. We then discuss interactive configuration in the presence of multiple cost functions. We prove that even in its simplest form, multiplecost configuration is NPhard in the input MDD. However, for solving twocost configuration we develop a pseudopolynomial scheme and a fully polynomial approximation scheme. The applicability of our approach is demonstrated through experiments over realworld configuration models and productcatalogue datasets. Response times are generally within a fraction of a second even for very large instances.
Exploiting Problem Decomposition in Multiobjective Constraint Optimization
"... Abstract. Multiobjective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR BranchandBound (AOBB), a well known search algorithm, from monoobjective to multiobjective optimization. The new ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
(Show Context)
Abstract. Multiobjective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR BranchandBound (AOBB), a well known search algorithm, from monoobjective to multiobjective optimization. The new algorithm MOAOBB exploits efficiently the problem structure by traversing an AND/OR search tree and uses static and dynamic minibucket heuristics to guide the search. We show that MOAOBB improves dramatically over the traditional OR search approach, on various benchmarks for multiobjective optimization. 1
Computing convex coverage sets for multiobjective coordination graphs
 In ADT 2013: Proceedings of the Third International Conference on Algorithmic Decision Theory
, 2013
"... Abstract. Many realworld decision problems require making tradeoffs between multiple objectives. However, in some cases, the relative importance of the objectives is not known when the problem is solved, precluding the use of singleobjective methods. Instead, multiobjective methods, which compute ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
Abstract. Many realworld decision problems require making tradeoffs between multiple objectives. However, in some cases, the relative importance of the objectives is not known when the problem is solved, precluding the use of singleobjective methods. Instead, multiobjective methods, which compute the set of all potentially useful solutions, are required. This paper proposes new multiobjective algorithms for cooperative multiagent settings. Following previous approaches, we exploit loose couplings, as expressed in graphical models, to coordinate efficiently. Existing methods, however, calculate only the Pareto coverage set (PCS), which we argue is inappropriate for stochastic strategies and unnecessarily large when the objectives are weighted in a linear fashion. In these cases, the typically much smaller convex coverage set (CCS) should be computed instead. A key insight of this paper is that, while computing the CCS is more expensive in unstructured problems, in many loosely coupled settings it is in fact cheaper to compute because the local solutions are more compact. We propose convex multiobjective variable elimination, which exploits this insight. We analyze its correctness and complexity and demonstrate empirically that it scales much better in the number of agents and objectives than alternatives that compute the PCS.
Resolution for MaxSAT
, 2007
"... MaxSAT is the problem of finding an assignment minimizing the number of unsatisfied clauses in a CNF formula. We propose a resolutionlike calculus for MaxSAT and prove its soundness and completeness. We also prove the completeness of some refinements of this calculus. From the completeness proof ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
MaxSAT is the problem of finding an assignment minimizing the number of unsatisfied clauses in a CNF formula. We propose a resolutionlike calculus for MaxSAT and prove its soundness and completeness. We also prove the completeness of some refinements of this calculus. From the completeness proof we derive an exact algorithm for MaxSAT and a time upper bound. We also define a weighted MaxSAT resolutionlike rule, and show how to adapt the soundness and completeness proofs of the MaxSAT rule to the weighted MaxSAT rule. Finally, we give several particular MaxSAT problems that require an exponential number of steps of our MaxSAT rule to obtain the minimal number of unsatisfied clauses of the combinatorial principle. These results are based on the corresponding resolution lower bounds for those particular problems.
Enabling Local Computation for Partially Ordered Preferences
"... Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of valuation functions. Shenoy and Shafer showed how such a computation can be performed using a local computation scheme. A m ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
(Show Context)
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of valuation functions. Shenoy and Shafer showed how such a computation can be performed using a local computation scheme. A major strength of this work is that it is based on an algebraic description: what is proved is the correctness of the local computation algorithm under a few axioms on the algebraic structure. The instantiations of the framework in practice make use of totally ordered scales. The present paper focuses on the use of partially ordered scales and examines how such scales can be cast in the ShaferShenoy framework and thus benefit from local computation algorithms. It also provides several examples of such scales, thus showing that each of the algebraic structures explored here is of interest.
Linear Support for MultiObjective Coordination Graphs
"... Many realworld decision problems require making tradeoffs among multiple objectives. However, in some cases, the relative importance of these objectives is not known when the problem is solved, precluding the use of singleobjective methods. Instead, multiobjective methods, which compute the set ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
(Show Context)
Many realworld decision problems require making tradeoffs among multiple objectives. However, in some cases, the relative importance of these objectives is not known when the problem is solved, precluding the use of singleobjective methods. Instead, multiobjective methods, which compute the set of all potentially useful solutions, are required. This paper proposes variable elimination linear support (VELS), a new multiobjective algorithm for multiagent coordination that exploits loose couplings to compute the convex coverage set (CCS): the set of optimal solutions for all possible weights for linearly weighted objectives. Unlike existing methods, VELS exploits insights from POMDP solution methods to build the CCS incrementally. We prove the correctness of VELS and show that for moderate numbers of objectives its complexity is better than that of previous methods. Furthermore, we present empirical results showing that VELS can tackle both random and realistic problems with many more agents than was previously feasible. The incremental nature of VELS also makes it an anytime algorithm, i.e., its intermediate results constitute εoptimal approximations of the CCS, with ε decreasing the longer it runs. Our empirical results show that, by allowing even very small ε, VELS can enable large additional speedups.
MultiObjective Variable Elimination for Collaborative Graphical Games
"... maastrichtuniversity.nl In this paper we propose multiobjective variable elimination (MOVE), an efficient solution method for multiobjective collaborative graphical games (MOCoGGs), that exploits loose couplings. MOVE computes the convex coverage set, which can be much smaller than the Pareto fro ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
(Show Context)
maastrichtuniversity.nl In this paper we propose multiobjective variable elimination (MOVE), an efficient solution method for multiobjective collaborative graphical games (MOCoGGs), that exploits loose couplings. MOVE computes the convex coverage set, which can be much smaller than the Pareto front. In an empirical study, we show that MOVE can tackle multiobjective problems much faster than methods that do not exploit loose couplings.
Local Computation Schemes with Partially Ordered Preferences
"... Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of valuation functions. Shenoy and Shafer showed how such a computation can be performed using a local computation scheme. A m ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
(Show Context)
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of valuation functions. Shenoy and Shafer showed how such a computation can be performed using a local computation scheme. A major strength of this work is that it is based on an algebraic description: what is proved is the correctness of the local computation algorithm under a few axioms on the algebraic structure. The instantiations of the framework in practice make use of totally ordered scales. The present paper focuses on the use of partially ordered scales and examines how such scales can be cast in the ShaferShenoy framework and thus benefit from local computation algorithms. It also provides many examples of such scales, thus showing that each of the algebraic structures explored here is of interest.