This paper explores the problem of managing movements of aircraft along the surface of busy airports. Airport surface management is a complex logistics problem involving the coordination of humans and machines. The work described here arose from the idea that autonomous towing vehicles for taxiing aircraft could offer a solution to the 'capacity problem' for busy airports, the problem of getting more efficient use of existing surface area to meet increasing demand. Supporting autonomous surface operations requires continuous planning, scheduling and monitoring of operations, as well as systems for optimizing complex human-machine interaction. We identify a set of computational subproblems of the surface management problem that would benefit from recent advances in multi-agent planning and scheduling and probabilistic predictive modeling, and discuss preliminary work at integrating these components into a prototype of a surface management system.

In a complex adaptive system, diverse agents perform various actions without adherence to a predefined structure. The achievement of joint actions will be a result of continual interactions among them that shape a dynamic network. Agents may form an ad hoc organization based on dynamic network of interactions for the purpose of achieving a long term objective, which is called a Network Organization (NO). For the dominant influences of the network substrate in an NO, multiple effects of it have an impact on the NO behaviors and directions. We envisioned several dimensions of such effects to be synergy, social capital, externality, influence, etc. The focus of this paper is on measuring synergy as one of those possible network effects. Synergy describes different modalities of compatibility among agents when performing a set of coherent and correspondingly different actions. When agents are under no structural obligation to contribute, synergy is quantified through multiple forms of serendipitous agent chosen benevolence among them. The approach of this paper is to measure four types of benevolence and the pursuant synergies from them stemming from agent interactions. We exemplify this approach using a case study of a multiplayer online game.

As the rapid development of e-commerce, reputation model has been proposed to help customers make effective purchase decisions. However, most of reputation models focus only on the overall ratings of products without considering reviews which provided by customers. We believe that textual reviews provided by buyers can express their real opinions more honestly. As so, in this paper, based on word2vector model, we propose a Textual Reputation Model (TRM) to obtain useful information from reviews, and evaluate the trustworthiness of objective product. Experimental results on real data demonstrate the effectiveness of our approach in capturing reputation information from reviews.

The capability of collaboration is critical in the design of symbiotic cognitive systems. To obtain this functional capability, a cognitive system should possess evaluative and communicative processes. Emotions and their underlying processes provide such functions in social and collaborative environments. We investigate the mutual influence of affective and collaboration processes in a cognitive theory to support the interaction between humans and robots or virtual agents. We have developed new algorithms for these processes, as well as a new overall computational model for implementing collaborative robots and agents. We build primarily on the cognitive appraisal theory of emotions and the SharedPlans theory of collaboration to investigate the structure, fundamental processes and functions of emotions in a collaboration context.

Home environments constitute a main target location where to deploy robots, which are expected to help humans in completing their tasks. However, modern robots do not meet yet user's expectations in terms of both knowledge and skills. In this scenario, users can provide robots with knowledge and help them in performing tasks, through a continuous human-robot interaction. This human-robot cooperation setting in shared environments is known as Symbiotic Autonomy or Symbiotic Robotics. In this paper, we address the problem of an effective coexistence of robots and humans, by analyzing the proposed approaches in literature and by presenting our perspective on the topic. In particular, our focus is on specific contexts that can be embraced within Symbiotic Autonomy: Human Augmented Semantic Mapping, Task Teaching and Social Robotics. Finally, we sketch our view on the problem of knowledge acquisition in robotic platforms by introducing three essential aspects that are to be dealt with: environmental, procedural and social knowledge.

We present a framework that enables online planning for robotic systems in dynamic environments. The PLANrm framework presented in this work utilizes the theory of robustness and monitoring of Metric Temporal Logic (MTL) specifications to inspect and modify available plans to both avoid obstacles and satisfy specifications in a dynamic environment. The use of MTL allows the practitioner to set complex event and timing based specifications that need to be satisfied in the execution of the plan. The monitoring algorithm inspects the possible paths in a bounded window and selects and adjusts a path to satisfy the specifications. In this paper, we present initial results on the framework and an extended summary of the algorithmic results. The approach is illustrated using a running example of a car-like model with a number of MTL specifications.

This paper describes Hy-CIRCA, an architecture for verified, correct-by-construction planning and execution for hy- brid systems, including non-linear continuous dynamics. Hy-CIRCA addresses the high computational complexity of such systems by first planning at an abstract level, and then progressively refining the original plan. Hy-CIRCA is an extension of our Playbook approach, which aims to make it easy for users to exert supervisory control over multiple autonomous systems by “calling a play.” The Playbook approach is implemented by combining (1) a human-machine interface for commanding and monitoring the autonomous systems; (2) a hierarchical planner for translating commands into executable plans; and (3) a smart executive to manage plan execution by coordinating the control systems of the individual autonomous agents, tracking plan execution, and triggering replanning when necessary. Hy-CIRCA integrates the dReal non-linear SMT solver, with enhanced versions of the SHOP2 HTN planner and the CIRCA Controller Synthesis Module (CSM). Hy-CIRCA’s planning process has 5 steps: (1) Using SHOP2, compute an approximate mission plan. While computing this plan, compute a hybrid automaton model of the plan, featuring more expressive continuous dynamics. (2) Using dReal, solve this hybrid model, establishing the correctness of the plan, and computing values for its continuous parameters. To execute the plan, (3) extract from the plan specifications for closed-loop, hard real-time supervisory controllers for the agents that must execute the plan. (4) Based upon these specifications, use the CIRCA CSM to plan the controllers. To ensure correct execution, (5) verify the CSM-generated controllers with dReal.

Within multiagent teams research, existing approaches commonly assume agents have perfect knowledge regarding the decision process guiding their teammates' actions. More recently, ad hoc teamwork was introduced to address situations where an agent must coordinate with a variety of potential teammates, including teammates with unknown behavior. This paper examines the communication of intentions for enhanced coordination between such agents. The proposed decision-theoretic approach examines the uncertainty within a model of an unfamiliar teammate, identifying policy information valuable to the collaborative effort. We characterize this capability through theoretical analysis of the computational requirements as well as empirical evaluation of a communicative agent coordinating with an unknown teammate in a variation of the multiagent pursuit domain.

In multiagent systems, if interactions are based on trust, trustworthy trustees will have a greater impact on the results of interactions. Consequently, building a high trust may be an advantage for rational trustees. This work describes a trust establishment model that goes beyond trust evaluation to outline actions to direct trustees (instead of trusters). The model uses the number of transactions performed by trusters. A trustee will adjust its performance, depending on the average number of transactions carried out by that truster, relative to the mean number of transactions performed by all trusters interacting with this trustee. The proposed model does not depend on direct feedback, nor does it rely on current reputation of trustees in the community. Simulation results indicate that trustees empowered with the proposed model can be selected more by trusters.

The increasing penetration of renewable energy sources and electric vehicles raises important challenges related to the operation of electricity grids. For instance, the amount of power generated by wind turbines is time-varying and dependent on the weather, which makes it hard to match flexible electric vehicle demand and uncertain wind power supply. In this paper we propose a vehicle aggregation framework which uses Markov Decision Processes to control charging of multiple electric vehicles and deals with uncertainty in renewable supply. We present a grouping technique to address the scalability aspects of our framework. In experiments we show that the aggregation framework maximizes the profit of the aggregator while reducing usage of conventionally-generated power and cost of customers.