Using Game Theory for Los Angeles Airport Security

Total Page:16

File Type:pdf, Size:1020Kb

Using Game Theory for Los Angeles Airport Security Articles Using Game Theory for Los Angeles Airport Security James Pita, Manish Jain, Fernando Ordóñez, Christopher Portway, Milind Tambe, Craig Western, Praveen Paruchuri, and Sarit Kraus n Security at major locations of economic or political impor tance is a key concern around P the world, particularly given the threat of ter- rotecting national infrastructure such as airports, historical rorism. Limited security resources prevent full landmarks, or a location of political or economic importance is security coverage at all times, which allows a challenging task for police and security agencies around the adversaries to observe and exploit patterns in world, a challenge that is exacerbated by the threat of terrorism. selective patrolling or mon itoring; for exam- Such protection of important locations includes tasks such as ple, they can plan an attack avoiding existing monitoring all entrances or inbound roads and checking pa trols. Hence, randomized patrolling or monitoring is impor tant, but randomization inbound traffic. However, limited resources imply that it is typ- must provide distinct weights to dif ferent ically impossible to provide full security cover age at all times. actions based on their complex costs and Furthermore, adversaries can observe se curity arrangements benefits. To this end, this article describes a over time and exploit any predictable patterns to their advan- promising transition of the lat est in multia- tage. Randomizing schedules for pa trolling, checking, or moni- gent algorithms into a deployed application. toring is thus an important tool in the police arsenal to avoid In particular, it describes a software assistant the vulnerability that comes with predictability. Even beyond agent called AR MOR (assistant for random- protecting infrastructure, ran domized patrolling is important in ized monitoring over routes) that casts this tasks ranging from secu rity on university campuses to normal patrolling and monitoring problem as a Bayesian Stackelberg game, allowing the police beats to border or maritime security (Billante 2003, agent to appropriately weigh the different Paruchuri et al. 2007, Ruan et al. 2005). actions in randomization, as well as uncer- This article focuses on a deployed software assistant agent tainty over adversary types. ARMOR com- that can aid police or other security agencies in randomizing bines two key features. It uses the fastest their security schedules. We face at least three key chal lenges in known solver for Bayesian Stackelberg games building such a software assistant. First, the as sistant must pro- called DOBSS, where the dominant mixed vide quality guarantees in randomization by appropriately strategies enable randomization; and its weighing the costs and benefits of the different options avail- mixed-initiative-based interface allows users able. For example, if an attack on one part of an infrastructure occasionally to adjust or override the auto- will cause economic damage while an attack on another could mated schedule based on their local con- straints. ARMOR has been successfully potentially cost human lives, we must weigh the two options deployed since August 2007 at the Los Ange- differently—giving higher weight (probability) to guarding the les International Airport (LAX) to randomize latter. Second, the assistant must address the uncertainty in checkpoints on the roadways entering the air- information that security forces have about the adversary. port and canine patrol routes within the air- Third, the assistant must en able a mixed-initiative interaction port terminals. This article examines the with potential users rather than dictate a schedule; the assistant information, design choices, challenges, and may be unaware of users’ real-world constraints, and hence evaluation that went into designing ARMOR. users must be able to shape the schedule development. We have addressed these challenges in a software assis tant Copyright © 2009, Association for the Advancement of Artificial Intelligence. All rights reserved. ISSN 0738-4602 SPRING 2009 43 Articles agent called ARMOR (assistant for randomized six-month trial period of ARMOR deployment at mon itoring over routes). Based on game-theoretic LAX. The feedback from police at the end of this principles, ARMOR combines three key features to six-month pe riod was extremely positive; ARMOR address each of the challenges outlined above. will continue to be deployed at LAX and expand to Game theory is a well-established foundational other police activities at LAX. principle within multiagent sys tems to reason about multiple agents, each pursuing its own inter- ests (Fudenberg and Tirole 1991). We build on Security Domain Description these game-theoretic foundations to reason about We will now describe the specific challenges in the two agents—the police force and its adversary—in security problems faced by the LAWA police. LAX1 providing a method of randomization. In particu- is the fifth bus iest airport in the United States and lar, the main contribution of our article is mapping the largest destination airport in the United States, the problem of security scheduling as a Bayesian serving 60–70 million passen gers per year (Stevens Stackelberg game (Conitzer and Sandholm 2006) et al. 2006). LAX is unfortunately also suspected to and solving it through the fastest optimal al go- be a prime terrorist target on the West Coast of the rithm for such games (Paruchuri et al. 2008), United States, with multiple arrests of plotters address ing the first two challenges. The algorithm attempting to attack LAX (Stevens et al. 2006). To used builds on several years of research regarding protect LAX, LAWA police have designed a securi- multiagent systems and security (Paruchuri et al. ty sys tem that utilizes multiple rings of protection. 2005, 2006, 2007). In particular, ARMOR relies on As is evident to anyone traveling through an air- an optimal algorithm called DOBSS (de composed port, these rings include such things as vehicular optimal Bayesian Stackelberg solver) (Paruchuri et checkpoints, police units patrolling the roads to al. 2008). the terminals and inside the terminals (with dogs), While a Bayesian game allows us to address and security screening and bag checks for passen- uncertainty over adversary types, by optimally gers. There are unfortunately not enough resources solving such Bayesian Stackelberg games (which (police offi cers) to monitor every single event at yield optimal randomized strate gies as solutions), the airport; given its size and the number of pas- ARMOR provides quality guarantees on the sched- sengers served, such a level of screen ing would ules generated. These quality guarantees obviously require considerably more personnel and cause do not imply that ARMOR provides perfect securi- greater delays to travelers. Thus, assuming that all ty; in stead, ARMOR guarantees optimality in the check points and terminals are not being moni- utilization of fixed security resources (number of tored at all times, setting up available checkpoints, police or canine units) assuming the rewards are canine units, or other pa trols on deterministic accurately modeled. In other words, given a schedules allows adversaries to learn the schedules specific number of security resources and ar eas to and plot an attack that avoids the police check- protect, ARMOR creates a schedule that random- points and patrols, which makes deterministic izes over the possible deployment of those schedules in effective. resources in a fashion that optimizes the expected Randomization offers a solution here. In partic- reward obtained in protecting LAX. ular, from among all the security measures to The third challenge is addressed by ARMOR’s use which randomization could be applied, LAWA of a mixed-initiative-based interface, where users police have so far posed two cru cial problems to are allowed to graphically enter different con- us. First, given that there are many roads leading straints to shape the schedule generated. ARMOR is into LAX, they want to know where and when thus a collaborative assistant that it erates over gen- they should set up check points to check cars driv- erated schedules rather than a rigid one-shot ing into LAX. For example, figure 1 shows a vehic- scheduler. ARMOR also alerts users in case over- ular checkpoint set up on a road inbound towards rides may potentially deteriorate schedule quality. LAX. Police officers examine cars that drive by, ARMOR thus represents a very promising transi- and if any car appears suspicious, they do a more tion of multiagent research into a deployed appli- detailed inspec tion of that car. LAWA police cation. ARMOR has been successfully deployed wished to obtain a randomized schedule for such since August 2007 at the Los Angeles Internation- checkpoints for a particular time frame. For exam- al Airport (LAX) to assist the Los An geles World ple, if we are to set up two checkpoints, and the Airport (LAWA) police in randomized schedul ing timeframe of interest is 8 AM to 11 AM, then a can- of checkpoints and since November 2007 for gen- didate schedule may suggest to the police that on erating randomized patrolling schedules for canine Monday, check points should be placed on route 1 units. In particu lar, it assists police in determining and route 2, whereas on Tuesday during the same where to randomly set up checkpoints and where time slot, they should be on route 1 and 3, and so to randomly allocate canines to ter minals. Indeed, on. Second, LAWA police wished to obtain an February 2008 marked the successful end of the assignment of canines to patrol routes through the 44 AI MAGAZINE Articles terminals inside LAX. For example, if there are three canine units available, a possible assignment may be to place canines on terminals 1, 3, and 6 on the first day, but on terminals 2, 4, and 6 on another day, and so on based on the available in - formation. Figure 2 illustrates a canine unit on patrol at LAX.
Recommended publications
  • Noam Hazon – CV
    Noam Hazon – CV Department of Computer Science 23/1 Yehuda Hanasi st. Ariel University Petah Tiqwa, Israel Ariel, Israel (972)-50-5404321 [email protected] https://www.ariel.ac.il/wp/noam-hazon/ Education Ph.D. 2007-2010 Bar Ilan University, Ramat Gan, Israel Department of Computer Science Research area: Artificial Intelligence, Multi Agent Systems Topic: Social Interaction under Uncertainty in Multi Agent Systems Advisors: Prof. Sarit Kraus and Prof. Yonatan Aumann M.Sc. 2004-2005 Bar Ilan University, Ramat Gan, Israel Department of Computer Science Graduated summa cum laude, with excellence Research area: Multi Robot Systems Topic: Robust and Efficient Multi Robot Coverage Thesis grade: 95 Advisor: Prof. Gal A. Kaminka B.Sc. 2001-2003 Bar Ilan University, Ramat Gan, Israel Department of Computer Science Graduated summa cum laude in Computer Science (extended), with excellence Work Experience Technical Senior Lecturer 2018-present Ariel University, Ariel, Israel Department of Computer Science Lecturer 2014-2017 Ariel University, Ariel, Israel Department of Computer Science Postdoctoral Fellow 2013 Bar Ilan University, Ramat Gan, Israel Department of Computer Science Member of the AIM Lab Hosted by: Prof. Sarit Kraus Postdoctoral Fellow 2011-2012 Carnegie Mellon University, Pittsburgh, Pennsylvania Robotics Institute Member of the Advanced Agent-Robotics Technology Lab Hosted by: Prof. Katia Sycara Software Engineer 2003-2006 Applied Materials Inc. Developing and programming infrastructure components for the inspection machine's operating system, using C++ (Windows) Teaching 2008-2010 Teaching Assistant, Bar Ilan University, Israel a. Introduction to Artificial Intelligence b. Computer structure 2006 Lecturer, The Jerusalem College of Technology, Israel Computer structure Honors, Scholarships and Awards 2020 Blue sky idea award (2nd place) at the AAAI-20 senior member presentation track (sponsored by CCC) 2017 Outstanding lecturer, Ariel University 2011 Finalist for Best Paper award, AAMAS-11 2008 Clore Foundation Scholarship for Ph.D.
    [Show full text]
  • The Hebrew University of Jerusalem School of Computer Science and Engineering Evaluation Report
    Committee for the Evaluation of Computer Science Study Programs The Hebrew University of Jerusalem School of Computer Science and Engineering Evaluation Report November 2014 Contents Chapter 1: Background……………………………………………………………………………...……. 3 Chapter 2: Committee Procedures ………...…………………….………………....................…… 5 Chapter 3: Evaluation of Computer Science Study Program at The Hebrew University of Jerusalem…………….………………………..........…. 6 Chapter 4: General Recommendations and Timetable………………………………….… 15 Appendices: Appendix 1 – Letter of Appointment Appendix 2 – Schedule of the visit Appendix 3- CHE standards for studies in Computer Science 2 Chapter 1: Background The Council for Higher Education (CHE) decided to evaluate study programs in the field of Computer Science during the academic year of 2012-2013. Following the decision of the CHE, the Minister of Education, who serves ex officio as Chairperson of the CHE, appointed a Committee consisting of: Prof. Maurice Herlihy - Computer Science Department, Brown University, USA - Committee Chair Prof. Robert L. Constable - Computer Science Department ,Cornell University, USA1 Prof. David Dobkin - Department of Computer Science, Princeton University, USA2 Prof. Sarit Kraus - Department of Computer Science, Bar Ilan University, Israel3 Prof. Dmitry Feichtner-Kozlov - Department of Mathematics, Bremen University, Germany Prof. Joe Turner, Jr. - (Emeritus) - Department of Computer Science, Clemson University, USA - ABET Representative Prof. Moshe Vardi - Department of Computer Science, Rice University, USA Ms. Maria Levinson-Or served as the Coordinator of the Committee on behalf of the CHE. Within the framework of its activity, the Committee was requested to:4 1. Examine the self-evaluation reports, submitted by the institutions that provide study programs in Computer Science, and to conduct on-site visits at those institutions. 1 In accordance with the CHE's policy, Prof.
    [Show full text]
  • Barbara J. Grosz
    BARBARA J. GROSZ Higgins Professor of Natural Sciences, Tel. (617) 495-3673; Fax (617) 496-1066 School of Engineering and Applied Sciences Email: [email protected] Harvard University Tel. (617) 495-3673; Fax (617) 496-1066 Cambridge, Massachusetts 02138, USA http://grosz.seas.harvard.edu EDUCATION A.B., Mathematics, Cornell University, 1969 M.A., Computer Science, University of California at Berkeley, 1971 Ph.D., Computer Science, University of California at Berkeley, 1977 PROFESSIONAL EXPERIENCE Harvard University, Higgins Professor of Natural Sciences, 2001-; Dean, Radcliffe Institute for Advanced Study, 2008-2011; Interim Dean, Radcliffe Institute for Advanced Study, 2007-08; Dean of Science, Radcliffe Institute for Advanced Study 2001-2007; Gordon McKay Professor of Computer Science, 1986–2001. SRI International, Artificial Intelligence Center, Sr. Staff Scientist, 1983-86; Program Director, Natural Language and Representation, 1982-83; Senior Computer Scientist, 1981-82; Computer Scientist, 1977-81; Research Mathematician, 1973-77. Center for the Study of Language and Information, SRI International and Stanford University: Co- founder; Executive Committee and Principal Researcher, 1983-86; Advisory Panel, 1986-87. VISITING AND CONSULTING POSITIONS Stanford University, Consulting Associate Professor, Computer Science, 1985-87; Consulting Associate Professor, Computer Science and Linguistics, 1984-85; Visiting Faculty, Department of Computer Science, Fall Quarter, 1982. Brown University, Visiting Professor of Computer Science
    [Show full text]
  • AAAI-15 / IAAI-15 Conference Program January 25 – 30, 2015 Hyatt Regency Austin, Austin, Texas, USA
    Twenty-Ninth AAAI Conference on Artificial Intelligence Twenty-Seventh Conference on Innovative Applications of Artificial Intelligence AAAI-15 / IAAI-15 Conference Program January 25 – 30, 2015 Hyatt Regency Austin, Austin, Texas, USA Sponsored by the Association for the Advancement of Artificial Intelligence Cosponsored by the National Science Foundation, AI Journal, Baidu, Infosys, Microsoft Research, BigML, Disney Research, Google, NSERC Canadian Field Robotics Network, University of Southern California/Information Sciences Institute, Yahoo Labs!, ACM/SIGAI, CRA Computing Community Consortium, and David E. Smith In cooperation with the University of Texas at Austin Computer Science Department, IEEE Robotics and Automation Society, and the RoboCup Federation MORNING AFTERNOON EVENING Sunday, January 25 Student Newcomer Lunch Tutorial Forum Tutorial Forum Workshops / NSF Workshop Workshops / NSF Workshop AAAI/SIGAI DC AAAI/SIGAI DC Monday, January 26 Tutorial Forum Tutorial Forum Speed Dating Workshops Workshops Opening Reception AAAI/SIGAI DC AAAI/SIGAI DC Open House Open House Invited Talks Robotics / RoboCup Robotics / RoboCup Tuesday, January 27 AAAI / IAAI Welcome / AAAI Awards Invited Talks: Bagnell and Etzioni Shaky Celebration AAAI / IAAI Technical Program AAAI / IAAI Technical Program Poster / Demo Session 1 Funding Information Session Senior Member Blue Sky / Doctoral Consortium, What’s Hot Talks / RSS Talks Virtual Agent Demos Robotics / RoboCup / Exhibits Robotics / RoboCup / Exhibits Robotics Demos General Game Playing
    [Show full text]
  • Barbara J. Grosz
    BARBARA J. GROSZ Higgins Professor of Natural Sciences, Tel. (617) 495-3673; Fax (617) 496-1066 John A. Paulson School of Engineering and Applied Sciences Email: [email protected] Harvard University Tel. (617) 495-3673; Fax (617) 496-1066 Cambridge, Massachusetts 02138, USA http://grosz.seas.harvard.edu EDUCATION A.B., Mathematics, Cornell University, 1969 M.A., Computer Science, University of California at Berkeley, 1971 Ph.D., Computer Science, University of California at Berkeley, 1977 PROFESSIONAL EXPERIENCE Harvard University, Higgins Professor of Natural Sciences, 2001-; Dean, Radcliffe Institute for Advanced Study, 2008-11; Interim Dean, Radcliffe Institute for Advanced Study, 2007-08; Dean of Science, Radcliffe Institute for Advanced Study 2001-07; Gordon McKay Professor of Computer Science, 1986–2001. SRI International, Artificial Intelligence Center, Sr. Staff Scientist, 1983-86; Program Director, Natural Language and Representation, 1982-83; Senior Computer Scientist, 1981-82; Computer Scientist, 1977-81; Research Mathematician, 1973-77. Center for the Study of Language and Information, SRI International and Stanford University: Co- founder; Executive Committee and Principal Researcher, 1983-86; Advisory Panel, 1986-87. VISITING AND CONSULTING POSITIONS Stanford University, Consulting Associate Professor, Computer Science, 1985-87; Consulting Associate Professor, Computer Science and Linguistics, 1984-85; Visiting Faculty, Department of Computer Science, Fall Quarter, 1982. Brown University, Visiting Professor of Computer Science (Research), September, 1998 – May, 1999. Hebrew University, Jerusalem, Israel, Harold Perlman Visiting Professor, Faculty of Science, January-June 1992. University of Pennsylvania, Visiting Associate Professor, Department of Computer and Information Science, 1984-86; Visiting Scholar, Department of Computer and Information Science, January- June 1982.
    [Show full text]
  • The Israeli AI Comunity
    Worldwide AI Worldwide AI Ariel Felner The Israeli AI Community Israel is a young and a small country consisting of only approximately 20,000 square kilometers in area and a pop- ulation of approximately 8 million. Since its establishment in 1948, The Israeli government has placed great impor- tance on establishing excellent research institutions and universities. I This column provides an encounter with the As a consequence, there are eight universities in Israel, as artificial intelligence research community in the well as a handful of research institutions and numerous col- state of Israel. The first section introduces this leges, and Israel has excelled in numerous fields of research. community and its special attributes. The sec- ond section provides an overview of some recent A clear sign of this is that Israel has produced eight Nobel research projects done in Israel. The author laureates in the past 15 years, out of 154 worldwide. Com- serves as the chair of the Israeli Association for puter science research in Israel dates back to the country’s Artificial Intelligence. founding, and five Turing Award winners (out of 62) are Israelis. AI research in Israel has been firmly established since the 1980s, and there are currently quite a few AI research groups and labs in Israeli universities. This column introduces the Israeli AI community and many of its unique attributes. It also covers a number of recent research projects in the field of AI that are done in different institutions within the country. The Israeli Association for AI The Israeli Association for Artificial Intelligence (IAAI),1 a member of the European Association for Artifical Intelli- gence (EURAI), is an umbrella organization for AI researchers in Israel.
    [Show full text]
  • Barbara J. Grosz
    BARBARA J. GROSZ Higgins Professor of Natural Sciences, Tel. (617) 495-3673; Fax (617) 496-1066 John A. Paulson School of Engineering and Applied Sciences Email: [email protected] Harvard University Tel. (617) 495-3673; Fax (617) 496-1066 Cambridge, Massachusetts 02138, USA http://grosz.seas.harvard.edu EDUCATION A.B., Mathematics, Cornell University, 1969 M.A., Computer Science, University of California at Berkeley, 1971 Ph.D., Computer Science, University of California at Berkeley, 1977 PROFESSIONAL EXPERIENCE Harvard University, Higgins Professor of Natural Sciences, 2001-; Dean, Radcliffe Institute for Advanced Study, 2008-11; Interim Dean, Radcliffe Institute for Advanced Study, 2007-08; Dean of Science, Radcliffe Institute for Advanced Study 2001-07; Gordon McKay Professor of Computer Science, 1986–2001. SRI International, Artificial Intelligence Center, Sr. Staff Scientist, 1983-86; Program Director, Natural Language and Representation, 1982-83; Senior Computer Scientist, 1981-82; Computer Scientist, 1977-81; Research Mathematician, 1973-77. Center for the Study of Language and Information, SRI International and Stanford University: Co- founder; Executive Committee and Principal Researcher, 1983-86; Advisory Panel, 1986-87. VISITING AND CONSULTING POSITIONS Stanford University, Consulting Associate Professor, Computer Science, 1985-87; Consulting Associate Professor, Computer Science and Linguistics, 1984-85; Visiting Faculty, Department of Computer Science, Fall Quarter, 1982. Brown University, Visiting Professor of Computer Science (Research), September, 1998 – May, 1999. Hebrew University, Jerusalem, Israel, Harold Perlman Visiting Professor, Faculty of Science, January-June 1992. University of Pennsylvania, Visiting Associate Professor, Department of Computer and Information Science, 1984-86; Visiting Scholar, Department of Computer and Information Science, January- June 1982.
    [Show full text]
  • AAAI-20 Program/Exhibit Guide
    AAAI-20 / IAAI-20 / EAAI-20 Conference Program New York Hilton Midtown New York, New York February 7–12, 2020 Thirty-Fourth AAAI Conference on Artificial Intelligence Thirty-Second Conference on Innovative Applications of Artificial Intelligence Tenth Symposium on Educational Advances in Artificial Intelligence Conference Highlights at a Glance MORNING AFTERNOON EVENING Friday, February 7 Tutorial Forum Tutorial Forum Student Welcome Reception Workshops Workshops AAAI/SIGAI DC AAAI/SIGAI DC Undergraduate Consortium Undergraduate Consortium AIES 2020 Conference AIES 2020 Conference AIES Opening Reception Saturday, February 8 Tutorial Forum Tutorial Forum AAAI Opening Reception Workshops Workshops AAAI/SIGAI DC AAAI/SIGAI DC EAAI Award Lecture: desJardins EAAI Technical Program AIES 2020 Conference AIES 2020 Conference Sunday, February 9 AAAI / IAAI Welcome / AAAI Awards Lunch with a Fellow AAAI Turing Award Event AAAI Presidential Address: Yolanda Gil Fellows Dinner AAAI Classic Paper Award Talk: Junker Senior Member Talks Poster / DemoSession 1 EAAI Invited Talk: Shapiro/ IAAI Technical Program Zimmermann-Niefield EAAI Technical Program Exhibits Exhibits Monday, February 10 Women’s Mentoring Breakfast Lunch with a Fellow IAAI RSE Award Lecture: Kautz AAAI Invited Talk: Billard AAAI/IAAI Technical Program AAAI-20 Debate IAAI Invited Talk: Cox Senior Member Talks Poster / Demo Session 2 Student Abstract Spotlights Sister Conference Track Sister Conference Track Exhibits Exhibits Tuesday, February 11 AAAI Conference Awards Lunch with a Fellow
    [Show full text]
  • Peter Herald Stone Dept
    Professor Peter Herald Stone Dept. of Computer Science 7208 Lamplight Lane University of Texas at Austin Austin, TX 78731 [email protected] Austin, TX 78712 (512) 346−3809 www.cs.utexas.edu/~pstone (512) 471−9796 RESEARCH STATEMENT I am a computer scientist with research specialization in artificial intelligence. My long-term research goal is to create complete, robust, autonomous agents that can learn to interact with other intelligent agents in a wide range of complex, dynamic environments. These agents must sense their environment; engage in high-level cognitive decision-making; and then execute their actions in the environment. Moreover, to be effective, they should improve their performance automatically over time and reason explicitly about the behaviors of other agents, including teammates and adversaries. Thus, my research contributions are mainly in the areas of machine learning; autonomous agents and multiagent systems; and robotics. Application domains have included robot soccer, autonomous bidding agents, intelligent traffic management, general- purpose service robots, and autonomous vehicles. PROFESSIONAL PREPARATION • Carnegie Mellon University, Pittsburgh, PA Ph.D., Computer Science, December 1998. Dissertation: Layered Learning in Multi-Agent Systems. Thesis committee: Manuela Veloso (chair), Andrew Moore, Herbert Simon, Victor Lesser. M.S., Computer Science, December 1995. • The University of Chicago, Chicago, IL B.S., Mathematics with honors and a concentration in Computer Science, June 1993. APPOINTMENTS • The University of Texas at Austin, September 2015 – Present. Associate Chair of the Department of Computer Science. • The University of Texas at Austin, September 2014 – Present. David Bruton, Jr. Centennial Professor in the Department of Computer Science. • Sony AI America, November 2020 – Present.
    [Show full text]
  • NEWS RELEASE Contact: Jim Ormond 212-626-0505 Ormond
    NEWS RELEASE Contact: Jim Ormond 212-626-0505 [email protected] SARIT KRAUS NAMED ACM ATHENA LECTURER FOR WIDE-RANGING CONTRIBUTIONS TO ARTIFICIAL INTELLIGENCE Bar-Ilan University Professor Is World Leader in Multi-agent Systems, Automated Negotiation New York, NY, April 15, 2020 – ACM, the Association for Computing Machinery, today named Sarit Kraus of Bar-Ilan University the 2020-2021 ACM Athena Lecturer for foundational contributions to artificial intelligence, notably to multi-agent systems, human-agent interaction, autonomous agents and nonmonotonic reasoning, and exemplary service and leadership in these fields. Her contributions span theoretical foundations, experimental evaluation, and practical applications. Multi-agent systems are regarded as vital to the increasingly complex challenges within artificial intelligence and have broad applications in a number of areas. Kraus is recognized as one of the world’s leading researchers in multi-agent systems, in which a distributed group of agents (computers, robots, and/or humans) interact and work collaboratively to solve problems. Beyond her work in multi-agent systems, Kraus has made significant contributions to knowledge representation (another area of artificial intelligence research) by incorporating nonmonotonic reasoning, and to randomized policies for security applications by combining methods from game theory, machine learning and optimization. Kraus is also recognized for her service to the field as an outstanding educator and mentor, as well as for her conference, editorial, and leadership roles. Initiated in 2006, the ACM Athena Lecturer Award celebrates women researchers who have made fundamental contributions to computer science. The award carries a cash prize of $25,000, with financial support provided by Two Sigma.
    [Show full text]
  • Online Prediction of Time Series with Assumed Behavior
    1 Online Prediction of Time Series with Assumed Behavior 2 3 4 ARIEL ROSENFELD, Bar-Ilan University, Israel 5 MOSHE COHEN, Bar-Ilan University, Israel 6 7 SARIT KRAUS, Bar-Ilan University, Israel 8 JOSEPH KESHET, Bar-Ilan University, Israel 9 10 The prediction of future time series values is essential for many fields and applications. In some settings, the time series behavior 11 is expected to follow distinct patterns which in turn may change over time due to a change in the user’s preferences/behavior or a 12 change in the environment itself. In this article, we propose to leverage the assumed time series behavior by developing specialized 13 novel online machine learning algorithms. To demonstrate the potential benefits of our approach compared to existing practices we 14 focus on two commonly assumed time series behaviors: exponential decay and sigmoidal. We present two innovative online learning 15 16 algorithms, Exponentron for the prediction of exponential decay time series and Sigmoidtron for the prediction of sigmoidal time series. 17 We provide an extensive evaluation of both algorithms both theoretically and empirically using synthetic and real-world data. Our 18 results show that the proposed algorithms compare favorably with the classic time series prediction methods commonly deployed 19 today by providing a substantial improvement in prediction accuracy. Furthermore, we demonstrate the potential applicative benefit 20 of our approach for the design of a novel automated agent for the improvement of the communication process between a driver and 21 its automotive climate control system. Through an extensive human study with 24 drivers we show that our agent improves the 22 communication process and increases drivers’ satisfaction.
    [Show full text]
  • Barbara J. Grosz
    BARBARA J. GROSZ Higgins Professor of Natural Sciences, Tel. (617) 495-3673; Fax (617) 496-1066 John A. Paulson School of Engineering and Applied Sciences Email: [email protected] Harvard University Tel. (617) 495-3673; Fax (617) 496-1066 Cambridge, Massachusetts 02138, USA http://grosz.seas.harvard.edu EDUCATION A.B., Mathematics, Cornell University, 1969 M.A., Computer Science, University of California at Berkeley, 1971 Ph.D., Computer Science, University of California at Berkeley, 1977 PROFESSIONAL EXPERIENCE Harvard University, Higgins Professor of Natural Sciences, 2001-; Dean, Radcliffe Institute for Advanced ​ Study, 2008-11; Interim Dean, Radcliffe Institute for Advanced Study, 2007-08; Dean of Science, Radcliffe Institute for Advanced Study 2001-07; Gordon McKay Professor of Computer Science, 1986–2001. SRI International, Artificial Intelligence Center, Sr. Staff Scientist, 1983-86; Program Director, Natural ​ Language and Representation, 1982-83; Senior Computer Scientist, 1981-82; Computer Scientist, 1977-81; Research Mathematician, 1973-77. Center for the Study of Language and Information, SRI International and Stanford University: ​ Co-founder; Executive Committee and Principal Researcher, 1983-86; Advisory Panel, 1986-87. VISITING AND CONSULTING POSITIONS Stanford University, Consulting Associate Professor, Computer Science, 1985-87; Consulting Associate ​ Professor, Computer Science and Linguistics, 1984-85; Visiting Faculty, Department of Computer Science, Fall Quarter, 1982. Brown University, Visiting Professor of Computer Science (Research), September, 1998 – May, 1999. ​ Hebrew University, Jerusalem, Israel, Harold Perlman Visiting Professor, Faculty of Science, January-June ​ 1992. University of Pennsylvania, Visiting Associate Professor, Department of Computer and Information ​ Science, 1984-86; Visiting Scholar, Department of Computer and Information Science, January-June 1982.
    [Show full text]