Research Statement Subbarao Kambhampati http://rakaposhi.eas.asu.edu/rao.html (rao@asu.edu) My primary research interests are in Artificial Intelligence, particularly the areas of Automated Planning, Scheduling and related problems such as constraint satisfaction. In the last four years, I have also developed a strong second interest in the intersection of AI and Databases–particularly in the area of Intelligent Information Integration. I will provide a summary of my research in both these areas. Planning Planning, the ability to formulate a course of action to satisfy some desired goals, is a core problem in designing intelligent agents. The quest for effective action representations, and efficient plan synthesis frameworks has been an active area of research for over thirty years. In the last ten years, I have spent significant effort in both strengthening the foundations of automated planning systems, and scaling up their ability to handle complex problems. I have built a very active and visible research group at ASU, and together we developed several state of the art planning algorithms and systems, and investigated their applications to problems in automated manufacturing and space autonomy. The results of our work have appeared at top-notch publication forums (including 15 articles in AIJ and JAIR—the premier archival journals in AI; and 40 papers in highly selective AI and Planning conferences). My interest in automated planning goes back to my 1989 Ph.D. dissertation, in which I developed a systematic framework for plan reuse called PRIAR. This work resulted in a well-cited paper in Artificial Intelligence, and was also the basis for my ACM Samuel Alexander Dissertation award. During 1989-91, as a research associate at Stanford, I was involved in applying the techniques from planning and plan reuse to process planning in automated manufacturing. I joined ASU in 1991, and during 1991-94, I focused on speeding up the existing planning techniques through explanation based and case-based learning techniques. Two systems– UCPOP+EBL and DerSNLP–that resulted from this work were among the fastest plan synthesis systems at that time. This work was in part responsible for my 1994 NSF Young Investigator award. During 1993-95, I worked on bringing structure to a mushrooming, and on the surface incomparable planning algorithms. My work on foundations of refinement planning formalized the semantics of a partial plan in terms of its candidate set, and characterized the various existing planners in terms of different ways of splitting the plan candidate set. I gave an invited talk on this unifying framework at the 1996 AAAI (national conference on AI), and a paper based on this work, that appeared in the Artificial Intelligence journal, is a highly cited one. In the last five years, my research on automated planning focused on understanding the sources of strength behind disjunctive planners and exploiting those insights to develop novel scalable disjunctive as well as conjunctive plan synthesis algorithms for a variety of planning problems. My research group and I have made substantial progress on these ambitious objectives. Some of the important recent research contributions of my group in include: (i) Explicating a class of planners called “disjunctive planners” and showing that Graphplan and SATPLAN style planners are best understood as disjunctive planners, (ii) Highlighting the intimate connections between disjunctive planners and combinatorial workhorses such as CSP and integer programming, and exploiting those connections to develop novel scalable planners—including GP-CSP, which casts planning as constraint satisfaction, and GP-EBL which extends explanation-based learning techniques to Graphplan (iii) Showing that the optimistic reachability information inherent in the planning graphs provides a very rich basis 1 for deriving highly effective heuristics, and exploiting this idea to develop a variety of planners with state-ofthe-art performance, including: AltAlt a classical regression planner; RePOP, a partial order planner; Sapa a multi-objective metric temporal planner; and CAltAlt, a conformant planner and (iv) Developing a loosely coupled architecture for integrating planning and scheduling techniques and implementing it in RealPlan system. This work has had a wide-ranging impact on the planning community. The disjunctive planning framework has become one of the standard ways of looking at the new directions in plan synthesis. I gave very well-attended tutorials at IJCAI 1999, AAAI 2000 and Planet Summer School on Planning (2000). The connections between Graphplan and CSP, that I explicated, have since been exploited gainfully by a variety of other researchers. AltAlt bridged the upto-then disjoint worlds of disjunctive planners and heuristic search planners by showing that planning graphs—the heart of Graphplan—can be used to derive heuristics that allow it to outperform both Graphplan and heuristic search planners. By showing how the strengths of the state of the art planners can be generalized beyond state-search planners, RePOP revived interest in partial order planning, a flexible plan synthesis framework, that was all but given up for dead with the advent of disjunctive planners. Sapa exhibited the best performance for the most expressive metric-temporal planning problems in the 2002 planning competition. RealPlan is among the select set of planners that effectively integrates techniques from planning and scheduling communities. My decade-long work in automated planning exhibits some common methodological threads. I am strongly interested in building planning systems with sound theoretical underpinnings. In addition to building them, I also want to understand as clearly as possible the tradeoffs offered by those algorithms, and to exploit their synergies. I believe that we truly understand techniques only when we can tear them apart and leverage their sources of strength to develop significantly better hybrid techniques. Consequently, I avoid the tempting but largely fruitless brand-name and black-box comparisons, and strive for a deeper understanding of relative advantages of different ways of tacking the search challenges in the planning problems. My earlier work on refinement planning framework to unify the multitude of partial order planners, my recent work on combining the disjunctive and heuristic search planning paradigms to develop algorithms superior to both, as well as my work on reviving partial order planning are good exemplars of this research methodology. I have been an active member of the planning community. I co-chaired the 2002 International Conference on AI Planning Systems (AIPS), and served on the AIPS executive council. In this latter capacity, I played an important role in merging the European Planning Conference and AIPS to start a new conference called ICAPS (International Conference on AI Planning and Scheduling). I wrote several survey articles on automated planning techniques and gave well-received tutorials at IJCAI and AAAI. Over the years, my research on automated planning has been supported by a variety of competitive federal research grants, including three from NSF (including the 1994 NSF Young Investigator award), three from DARPA, two from NASA and one from AFRL. In the coming years, I plan to focus on (i) robust and efficient techniques for temporal planning that integrate ideas from planning, scheduling and operations research (ii) scalable approaches for dealing with stochastic and partially observable domains (iii) planning in multi-agent scenarios and (iv) applications of planning and plan recognition techniques to intelligent user interfaces, and biological pathway discovery (in addition to those in manufacturing and space autonomy). Information Integration The availability of structured information sources on the web has recently lead to significant interest in query processing frameworks that can integrate information sources available on the Internet. The impact of such integration framework is clear: effective integration of data and information sources has been cited as the most pressing need (and challenge) in spheres as diverse as “Counter-terrorism and Homeland Security” and the Human Genome project. Since 1998, I have been an active researcher in data and information integration. I was initially attracted to this area by the connections between query planning in information integration and automated planning with “sensing” (information-gathering) actions. My interests in the area have since 2 expanded considerably and I now have three students working with me on adaptive frameworks for information integration. I am also an active participant and a leader among an inter-disciplinary group of faculty at ASU involved in developing enabling technologies for intelligent information integration. My current work in this area is in the context of the Emerac and Havasu projects, and tackles many open challenges in designing adaptive information integration frameworks, including: (a) automatically gathering source meta-data and (b) using the gathered meta-data to support multi-objective query processing. The former is important because the sources in information integration tend to be autonomous and rarely export enough meta-data about their data profile or delivery parameters to support effective query processing. The latter is important as unlike query processing in traditional databases, in information integration scenarios users often have multiple and conflicting objectives between coverage (the number of answers returned), cost (the execution time taken), rate (the rate at which the answers are returned) as well as the quality of the answers. We are developing approaches based on ideas from datamining and machine learning, to efficiently learn source meta-data (starting with coverage and overlap statistics) and use the gathered meta-data in the context of novel multi-objective query optimization techniques. Given my hybrid research background, I have also been involved in fostering closer connections between AI and database research communities. I was on the program committee of SIGMOD 2000, and also proposed and co-taught a successful tutorial on Web-based information integration at the 2002 National Conference on Artificial Intelligence. I will be co-chairing a 2-day workshop on intelligent information integration at International Joint Conference on AI, specifically aimed at bringing together researchers from AI and Database communities working on information integration. 3 Statement on Teaching and Mentoring Subbarao Kambhampati http://rakaposhi.eas.asu.edu (rao@asu.edu) Of the many comments I had received from my students in my teaching career, the ones that I treasure most are those that go: “His courses are demanding and I had to work much harder. But, I learned more.” I am gratified by such comments because I believe that learning is great fun -- but not as a spectator sport. As my course homepages will show, my courses are very demanding both on my, and my students’ time. As a teacher, I see my primary duty as using my talents (if any) to make the demanding courses also “fun” and engaging courses. I try to accomplish this in several ways. First and foremost, I go out of the way (and sometimes out on the limb) to showcase my own enthusiasm for the subject that I am teaching. I use many techniques—humor, off-the-wall analogies, interaction, catchy visual aids—to keep the classes lively. Second, I work hard in designing my courses, updating them significantly every time I teach them. I also attempt to connect the material being taught to the material they would have learned in the past, as well as the many places in which they will be using it in the future. Third, I maintain multiple communication channels with the students. I view the course as a semester long contract with the students, rather than as a twice-weekly contact with them. I see classroom as just the beginning of my contact. I use the Web, the class homepage and email lists extensively to keep in touch with my students' minds even when they are not in the class room. Fourth, I give the students several opportunities to provide anonymous feedback on the conduct of the course during the semester. Finally, avoiding the midterm/final model, I provide the students many and varied opportunities to demonstrate their mastery of the material. My methods seem to work reasonably well for me. Despite the reputation my courses have acquired of being challenging and demanding, I have consistently received good teaching evaluations. I have been nominated several times for the college-level teaching awards, and received the 2002 College of Engineering Teaching Excellence Award. Course Development and Pedagogical activities: I have developed and taught two courses on automated planning---one focusing on deterministic problems, and the other on stochastic and partially observable ones. The notes from these courses have developed quite a bit of following in the planning community. More recently, I developed and taught twice a popular senior level course on Information Retrieval, Mining and Integration on the Internet. In addition to these new courses, I had continually revamped the contents of the senior Introduction to AI course, to keep pace with a rapidly maturing field. The specific ways of teaching particular topics that I develop in the classroom often make their way into tutorials and survey papers. As an example, I have written several tutorial articles, and delivered two well received tutorials on automated planning, and one on information integration—based to a large extent on the notes I developed in my graduate level courses. Cora, a Computer Science research paper search engine, lists six of my survey papers among the top ten influential survey papers in automated planning. I am currently involved in writing a textbook on the foundations of automated planning and scheduling (to be published by Prentice Hall). Graduate Student Mentoring: If I have been successful in my research program at ASU, it is to a large extent thanks to the quality of graduate students I have had the pleasure work with. I have always spent a considerable time recruiting high-quality students into ASU graduate program (and my lab). I attempt to inspire/encourage my graduate students in many ways, including getting them into contact with researchers at other schools, and supporting their travel to national conferences. All my MS and Ph.D. students are encouraged to do research that is publishable in high quality conferences and journals. I have over 60 technical publications co-authored with my students. This track record has brought significant international recognition to my research group as a whole. Four students completed their Ph.D. and eleven students completed their Masters degrees under my supervision. One of my Ph.D. students, Amol Mali, is a tenure-track faculty member at University of Wisconsin-Milwaukee. Another student, Biplav Srivastava, is with IBM Research Labs, India. I am currently advising eight students—six in the Ph.D. program and 2 in the M.S. program.