Not Logged In

The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming

Full Text: SchSouHol01.pdf PDF

Boolean linear programs (BLPs) are ubiquitous in AI. Satisfiability testing, planning with resource constraints, and winner determination in combina­ torial auctions are all examples of this type of prob­ lem. Although increasingly well­informed by work in OR, current AI research has tended to focus on specialized algorithms for each type of BLP task and has only loosely patterned new algorithms on effective methods from other tasks. In this paper we introduce a single general­purpose local search pro­ cedure that can be simultaneously applied to the en­ tire range of BLP problems, without modification. Although one might suspect that a general­purpose algorithm might not perform as well as specialized algorithms, we find that this is not the case here. Our experiments show that our generic algorithm simultaneously achieves performance comparable with the state of the art in satisfiability search and winner determination in combinatorial auctions--- two very different BLP problems. Our algorithm is simple, and combines an old idea from OR with recent ideas from AI.

Citation

D. Schuurmans, F. Southey, R. Holte. "The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming". International Joint Conference on Artificial Intelligence (IJCAI), pp 334-341, August 2001.

Keywords: exponentiated, subgradient
Category: In Conference

BibTeX

@incollection{Schuurmans+al:IJCAI01,
  author = {Dale Schuurmans and Finnegan Southey and Robert Holte},
  title = {The Exponentiated Subgradient Algorithm for Heuristic Boolean
    Programming},
  Pages = {334-341},
  booktitle = {International Joint Conference on Artificial Intelligence
    (IJCAI)},
  year = 2001,
}

Last Updated: August 13, 2007
Submitted by Russ Greiner

University of Alberta Logo AICML Logo