Europe
Extending Security Games to Defenders with Constrained Mobility
Vanek, Ondrej (Czech Technical University in Prague) | Bosansky, Branislav (Czech Technical University in Prague) | Jakob, Michal (Czech Technical University in Prague) | Lisy, Viliam (Czech Technical University in Prague) | Pechoucek, Michal (Czech Technical University in Prague)
A number of real-world security scenarios can be cast as a problem of transiting an area guarded by a mobile patroller, where the transiting agent aims to choose its route so as to minimize the probability of encountering the patrolling agent, and vice versa. We model this problem as a two-player zero-sum game on a graph, termed the transit game. In contrast to the existing models of area transit, where one of the players is stationary, we assume both players are mobile. We also explicitly model the limited endurance of the patroller and the notion of a base to which the patroller has to repeatedly return. Noting the prohibitive size of the strategy spaces of both players, we develop single- and double-oracle based algorithms including a novel acceleration scheme, to obtain optimum route selection strategies for both players. We evaluate the developed approach on a range of transit game instances inspired by real-world security problems in the urban and naval security domains.
Game Theory for Security: A Real-World Challenge Problem for Multiagent Systems and Beyond
Tambe, Milind (University of Southern California) | An, Bo (University of Southern California)
In all of these problems, we have limited with researchers in other disciplines, be "on the ground" security resources which prevent full security coverage with domain experts, and examine real-world constraints at all times; instead, limited security resources must be deployed and challenges that cannot be abstracted away. Together as intelligently taking into account differences in priorities an international community of multiagent researchers, we of targets requiring security coverage, the responses of can accomplish more! the adversaries to the security posture and potential uncertainty over the types, capabilities, knowledge and priorities
Incentive Based Cooperation in Multi-Agent Auctions
Pippin, Charles E. (Georgia Institute of Technology) | Christensen, Henrik (Georgia Institute of Technology)
Market or auction based algorithms offer effective methods for de-centralized task assignment in multi-agent teams. Typically there is an implicit assumption that agents are willing to cooperate and can be trusted to perform assigned tasks. Reciprocal collaboration may not always be a valid assumption. In cases where auctions are used for task allocation, without explicit revenue exchange, incentives are needed to enforce cooperation. An approach to incentive based trust is presented, which enables detection of team members that are not contributing and for dynamic formation of teams.
The Challenge of Flexible Intelligence for Models of Human Behavior
McCubbins, Mathew D. (University of Southern California) | Turner, Mark (Case Western Reserve University) | Weller, Nicholas ( University of Southern California )
Game theoretic predictions about equilibrium behavior depend upon assumptions of inflexibility of belief, of accord between belief and choice, and of choice across situations that share a game-theoretic structure. However, researchers rarely possess any knowledge of the actual beliefs of subjects, and rarely compare how a subject behaves in settings that share game-theoretic structure but that differ in other respects. Our within-subject experiments utilize a belief elicitation mechanism, roughly similar to a prediction market, in a laboratory setting to identify subjects’ beliefs about other subjects’ choices and beliefs. These experiments additionally allow us to compare choices in different settings that have similar game-theoretic structure. We find first, as have others,that subjects’ choices in the Trust and related games are significantly different from the strategies that derive from subgame perfect Nash equilibrium principles. We show that, for individual subjects, there is considerable flexibility of choice and belief across similar tasks and that the relationship between belief and choice is similarly flexible. To improve our ability to predict human behavior, we must take account of the flexible nature of human belief and choice
Towards Optimal Patrol Strategies for Fare Inspection in Transit Systems
Jiang, Albert Xin (University of Southern California) | Yin, Zhengyu (University of Southern California) | Johnson, Matthew P. (University of Southern California) | Tambe, Milind ( University of Southern California ) | Kiekintveld, Christopher (University of Texas at El Paso) | Leyton-Brown, Kevin (University of British Columbia) | Sandholm, Tuomas (Carnegie Mellon University)
In some urban transit systems, passengers are legally required to purchase tickets before entering but are not physically forced to do so. Instead, patrol units move about through the transit system, inspecting tickets of passengers, who face fines for fare evasion. This setting yields the problem of computing optimal patrol strategies satisfying certain temporal and spacial constraints, to deter fare evasion and hence maximize revenue. In this paper we propose an initial model of this problem as a leader-follower Stackelberg game. We then formulate an LP relaxation of this problem and present initial experimental results using real-world ridership data from the Los Angeles Metro Rail system.
Strategy Representation Analysis for Patrolling Games
Bosansky, Branislav (Czech Technical University in Prague) | Vanek, Ondrej (Czech Technical University in Prague) | Pechoucek, Michal (Czech Technical University in Prague)
This paper considers the problem of patrolling multiple targets in a Euclidean environment by a single patrolling unit. We use game-theoretic approach and model the problem as a two-player zero-sum game in the extensive form. Based on the existing work in the domain of patrolling we propose a novel mathematical non-linear program for finding strategies in a discretized problem, in which we introduce a general concept of internal states of the patroller. We experimentally evaluate game value for the patroller for various graphs and strategy representations. The results suggest that adding internal states for the patroller yields better results in comparison to adding choice nodes in the used discretization.
Knowledge Processing for Autonomous Robot Control
Tenorth, Moritz (Technische Universitaet Muenchen) | Beetz, Michael (Technische Universitaet Muenchen)
Successfully accomplishing everyday manipulation tasks requires robots to have substantial knowledge about the objects they interact with, the environment they operate in as well as about the properties and effects of the actions they perform. Often, this knowledge is implicitly contained in manually written control programs, which makes it hard for the robot to adapt to newly acquired information or to re-use knowledge in a different context. By explicitly representing this knowledge, control decisions can be formulated as inference tasks which can be sent as queries to a knowledge base. This allows the robot to take all information it has at query time into account to generate answers, leading to better flexibility, adaptability to changing situations, robustness, and the ability to re-use knowledge once acquired. In this paper, we report on our work towards a practical and grounded knowledge representation and inference system. The system is specifically designed to meet the challenges created by using knowledge processing techniques on autonomous robots, including specialized inference methods, grounding of symbolic knowledge in the robot's control structures, and the acquisition of the different kinds of knowledge a robot needs.
Evolutionary Language Games as a Paradigm for Integrated AI Research
Steels, Luc L (ICREA - IBE, Barcelona and Sony Computer Science Lab, Paris)
Evolutionary language games are a way to study how perceptions, concepts, and language can emerge in populations of situated embodied agents, driven by the needs of communication and the properties of the environment. Evolutionary language games are currently being investigated using physical robots and this then requires that the full cycle of processing activities from physical robotic embodiment to sensory-motor processing, visual perception and action, conceptualization, and language processing are all integrated in a single system. This contribution reports on a large-scale long term effort to experiment with evolutionary language games and discusses major results achieved so far.
Autonomous Skills Creation and Integration in Robotics
Riano, Lorenzo (Intelligent Systems Research Centre University of Ulster UK) | McGinnity, T. Martin (University of Ulster)
The fragmentation of research in AI and robotics has created a vast repertoire of skills a robot could be equipped with but that must be manually integrated to form a complex action. We propose a novel evolutionary algorithm that aims at autonomously integrating, adapting and creating new actions by re-using skills that are either externally provided or previously generated. Complex actions are created by instantiating a Finite State Automaton and new skills are created using fully recurrent neural networks. We validated our approach in two scenarios, i.e. exploration and moving to pre-grasp positions. Our experiments show that complex actions can be created by composing independently developed skills. The results have been applied and tested with a real robot in a variety of scenarios.
Designing Intelligent Robots for Human-Robot Teaming in Urban Search and Rescue
Kruijff, Geert-Jan M. (DFKI GmbH) | Colas, Francis (ETH Zurich) | Svoboda, Tomas (Czech Technical University) | Diggelen, Jurriaan van (TNO) | Balmer, Patrick (BlueBotics) | Pirri, Fiora (University La Sapienza) | Worst, Rainer (Fraunhofer IAIS)
The paper describes ongoing integrated research on designing intelligent robots that can assist humans in making a situation assessment during Urban Search & Rescue (USAR) missions. These robots (rover, microcopter) are deployed during the early phases of an emergency response. The aim is to explore those areas of the disaster hotzone which are too dangerous or too difficult for a human to enter at that point. This requires the robots to be "intelligent" in the sense of being capable of various degrees of autonomy in acting and perceiving in the environment. At the same time, their intelligence needs to go beyond mere task-work. Robots and humans are interdependent. Human operators are dependent on these robots to provide information for a situation assessment. And robots are dependent on humans to help them operate (shared control) and perceive (shared assessment) in what are typically highly dynamic, largely unknown environments. Robots and humans need to form a team. The paper describes how various insights from robotics and Artificial Intelligence are combined, to develop new approaches for modeling human robot teaming. These approaches range from new forms of modeling situation awareness (to model distributed acting in dynamic space), human robot interaction (to model communication in teams), flexible planning (to model team coordination and joint action), and cognitive system design (to integrate different forms of functionality in a single system).