Celebrating AAAI’s 25th Anniversary Courtesy, Carnegie Mellon University Archives / The Allen Newell and Herbert CarnegieCourtesy, Mellon University Archives Simon Collections Conference Program Twentieth National Conference on Artificial Intelligence (AAAI-05) Seventeenth Conference on Innovative Applications of Artificial Intelligence (IAAI-05) July 9 – 13, 2005 Westin Convention Center Pittsburgh Pittsburgh, Pennsylvania Sponsored by the American Association for Artificial Intelligence Cosponsored by Colognet, DARPA, Michael Genesereth, Google, IBM Research, Intelligent Information Systems Institute, Cornell University, Intel Corporation, Microsoft Research, National Science Foundation, Naval Research Laboratory, ACM/SIGART, & Yahoo! Research Labs AAAI-05 Intelligent Systems AAAI-05 Outstanding Senior Pro- Contents Demonstrations Cochairs gram Committee Member Award Biplav Srivastava, IBM India Research Labs Acknowledgments / 2 This award will be presented by AAAI-05 Belinda Thom, Harvey Mudd College Awards / 2–3 program chairs Manuela Veloso and Sub- Conference at a Glance / 5 AAAI-05 Robot Competition Cochairs barao Kambhampati to Gaurav Suk- Doctoral Consortium / 4 hatme, University of Southern California Exhibition / 16 Sheila Tejada, University of New Orleans Paul E. Rybski, Carnegie Mellon University Game Playing Competition / 15 IAAI-05 Deployed General Information / 20 Game Playing Competition Chair IAAI-05 Program / 8–13 Applications Awards Michael Genesereth, Stanford University Intelligent Systems Demos / 16 IAAI-05 awards will be announced by Invited Talks / 6–7 AAAI-05 Sponsorship Chair IAAI-05 chair Neil Jacobstein and Posters / 14–15 Carla Gomes, Cornell University cochair Bruce Porter. See the schedule Registration / 21 Robot Competition & Exhibition / 18–20 A complete listing of the AAAI-05 and for paper titles. Certificates will be pre- Special Events and Programs / 3–4, 15 IAAI-05 program committee members sented during paper sessions. Special Meetings / 4 appears in the conference proceedings. Sponsoring Organizations / 2 Robert S. Engelmore Memorial Technical Program / 8–13 Award and Lecture Tutorial Forum / 6 The Robert S. Engelmore Award is spon- Workshop Program / 4 Sponsoring Organizations sored by IAAI-05 and AI Magazine. It will be presented by Neil Jacobstein, IAAI-05 AAAI gratefully acknowledges the gener- chair, and David Leake, editor-in-chief, ous contributions of the following orga- AI Magazine. This award and lecture was nizations to AAAI-05: established in 2003 to honor Dr. Engel- I Colognet more’s extraordinary service to AAAI, AI I DARPA Magazine, and the AI applications com- Acknowledgments I Michael Genesereth munity, and his contributions to applied I The American Association for Artificial Google I IBM Research AI. The 2005 award will be presented to Intelligence wishes to acknowledge and I Intelligent Information Systems Institute, James Hendler, University of Maryland, thank the following individuals for their Cornell University for two decades of technical and govern- generous contributions of time and en- I Intel Corporation ment leadership in artificial intelligence, ergy to the successful creation and plan- I Microsoft Research as well as pioneering research on agent- I ning of the Twentieth National Confer- National Science Foundation I Naval Research Laboratory based systems and the semantic web. The ence on Artificial Intelligence and the I ACM/SIGART lecture will be held Wednesday, July 13, Seventeenth Conference on Innovative I Yahoo! Research Labs 9:00 AM, in the Cambria room. Applications of Artificial Intelligence. Classic Paper Award AAAI Conference Committee Chair James Hendler, University of Maryland Awards The 2005 AAAI Classic Paper Award will Awards will be presented on Monday, July be presented by AAAI president Ronald AAAI-05 Program Cochairs J. Brachman and AAAI President, and 11, and Tuesday, July 12, from 8:30 – 9:00 Manuela Veloso, Carnegie Mellon University AAAI past president and awards commit- AM, in the Allegheny Ballroom Subbarao Kambhampati, tee chair Tom Mitchell. This award is giv- Arizona State University AAAI-05 Outstanding en to the authors of the most influential IAAI-05 Program Chair and Cochair Paper Award papers from the Fifth National Confer- Neil Jacobstein, Teknowledge Corporation ence on Artificial Intelligence, held in Bruce Porter, University of Texas at Austin The outstanding paper award will be pre- 1986 in Philadelphia, Pennsylvania. The sented by AAAI-05 program chairs 2005 award winners are Steve Hanks and AAAI-05 Workshop Cochairs Manuela Veloso and Subbarao Kamb- Drew McDermott for their paper “De- Adele Howe, Colorado State University hampati to Vincent A. Cicirello, Drexel fault Reasoning, Nonmonotonic Logics, Peter Stone, The University of Texas at Austin University and Stephen F. Smith, and the Frame Problem” and David Carnegie Mellon University for their pa- AAAI-05 Tutorial Forum Cochairs Haussler for his paper “Quantifying the per “The Max K- Armed Bandit: A New Yolanda Gil, University of Southern California Inductive Bias in Concept Learning (ex- Qiang Yang, Hong Kong University of Science Model of Exploration Applied to Search tended abstract).” and Technology Heuristic Selection.” Distinguished Service Award AAAI-05 Student Abstract Cochairs AAAI-05 Outstanding Program The AAAI Distinguished Service Award Maria Fox, University of Strathclyde Committee Award Avi Pfeffer, Harvard University recognizes one individual each year for This award will be presented by AAAI-05 extraordinary service to the AI commu- AAAI/SIGART Doctoral program chairs Manuela Veloso and Sub- nity. The 2005 award winner is Nils Nils- Consortium Chair barao Kambhampati to Joerg Hoffmann, son of Stanford University for a lifetime Kiri Wagstaff, Jet Propulsion Laboratory Max-Planck-Institute for Computer Sci- of service to artificial intelligence, in- ence. cluding seminal scientific contributions 2CONTENTS – ACKNOWLEDGEMENTS – SPONSORS – AWARDS to pattern recognition, heuristic search, planning, robotics and expert systems, Keynote Address pioneering achievements in scientific publishing and skilled exposition in Marvin Minsky, MIT Media Laboratory many influential textbooks, and service Marvin Minsky is the Toshiba Professor of Media Arts and Sci- to the AI and computer science commu- ences, and a professor of electrical engineering and computer nities in many key leadership roles in- science, at the Massachusetts Institute of Technology. His re- cluding president of AAAI. This award search has led to both theoretical and practical advances in ar- will be presented by Ronald J. Brachman, tificial intelligence, cognitive psychology, neural networks, and AAAI president, and Tom Mitchell, AAAI the theory of Turing Machines and recursive functions. He has past president and awards committee made major contributions in the domains of symbolic graphical description, com- chair. putational geometry, knowledge representation, computational semantics, machine perception, symbolic and connectionist learning. In 1959, Minsky and John Mc- General Game Playing Carthy founded what became the MIT Artificial Intelligence Laboratory, and his Competition Award long tenure as its codirector placed his imprint upon the entire field of artificial in- telligence. Minsky is a Fellow of AAAI, and served as AAAI president from 1981- The AAAI General Game Playing Com- 1982. petition is designed to test the abilities of general game playing systems by compar- ing their performance on a variety of games. The competition will consist of two phases: a qualification round and a Presidential Address runoff competition during AAAI. A $10,000 award will be presented to the AAAI President Ronald J. Brachman, winning entrant. AAAI gratefully ac- Corporation for National Research Initiatives knowledges the generous contribution of Michael Genesereth, who has made (AA)AI: More than the Sum of its Parts this award possible. This award will be Recent thinking has it that AI, once a vibrant, broadly-encompass- presented by Ronald J. Brachman, AAAI ing field with a grand shared vision of creating intelligent ma- aresident and Michael Genesereth, com- chines, has devolved into a loosely connected set of distinct spe- petition chair. cialty areas with little communication or mutual interest between them. To the extent that this is true, it is a disappointing development and leads one 2005 AAAI Fellows to wonder about the necessity and value of AAAI. But, Brachman argues, the conse- Recognition Dinner quences are actually far worse: because of the nature of intelligence when embed- Each year, the American Association for ded in the real world, the centrifugal force on the field is likely to thwart the very mission that drives it. Brachman will wander through some thinking on the role of Artificial Intelligence recognizes a small systems integration, the value and challenge of architecture, and some promising number of members who have made sig- developments in large projects that are helping to increase the centripetal force on nificant sustained contributions to the AI. Brachman concludes by discussing why AAAI is more essential than ever. field of artificial intelligence, and who have attained unusual distinction in the profession. AAAI is pleased to announce the four newly elected Fellows for 2005: • Usama M. Fayyad, Yahoo, Inc. ISWC-2004, IUI-2005, KCAP-2003, KDD- AAAI-05 Poster / • Raymond J. Mooney, University of Texas at 2004, KR-2004, SAT 2004, and UAI-2004. Austin Please check technical program schedule