Interleaving Planning and Execution for Autonomous Robots


Book Description

Interleaving Planning and Execution for Autonomous Robots develops a formal representation for interleaving planning and execution in the context of incomplete information. This work bridges the gap between theory and practice in robotics by presenting control architectures that are provably sound, complete and optimal, and then describing real-world implementations of these robot architectures. Dervish, winner of the 1994 AAAI National Robot Contest, is one of the robots featured. Interleaving Planning and Execution for Autonomous Robots is based on the author's PhD research, covering the same material taught in CS 224, the very popular Introduction to Robot Programming Laboratory taught at Stanford for four years by Professor Michael Genesereth and the author.




Interleaving Planning and Execution


Book Description

Abstract: "In this dissertation, we explore architectures and termination criteria for interleaving planning and execution. Our aim is to present a broad study of interleaving, describing approaches that allow safe, early termination of planning episodes and corresponding control systems that achieve specified goal conditions cheaply by taking advantage of the gains incurred through interleaving. We intend to describe a basic control architecture for controlling multiple planning and execution episodes. Furthermore, we will describe planning termination criteria. The criteria will be based on a variety of techniques, from the analysis of the structure of candidate plans to the creation of abstraction systems that 'direct' early termination of ground-level planning. We will present conditions under which theoretical results of soundness, completeness and optimality hold for these techniques. In addition, we will describe long- term empirical results using simulation and real-world mobile robot tests. Finally, throughout this work we also hope to show that many of the current results in the motion planning, finite state machine learning, and mobile robot navigation communities are special cases of the more general systems and termination criteria presented here."




New Directions in AI Planning


Book Description







Service-Oriented Computing -- ICSOC 2003


Book Description

This book constitutes the refereed proceedings of the First International Conference on Service-Oriented Computing, ICSOC 2003, held in Trento, Italy in December 2003. The 38 revised full papers presented were carefully reviewed and selected from 181 submissions. The papers are organized in topical sections on service description, service composition, quality of service models, service personalization, service semantics, business processes and transactions, business collaborations, service request and coordination, service security and reliability, infrastructure for service delivery, service P2P and grid computing, service and mobile computing, and service computing and applications.




Artificial Intelligence Frontiers in Statistics


Book Description

This book presents a summary of recent work on the interface between artificial intelligence and statistics. It does this through a series of papers by different authors working in different areas of this interface. These papers are a selected and referenced subset of papers presented at the 3rd Interntional Workshop on Artificial Intelligence and Statistics, Florida, January 1991.




Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving


Book Description

The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. It returned to the city in which the ?rst conference took place, about 15 years ago. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA, http://www.appia.pt). EPIA maintained its international character and continued to provide a forum for p- senting and discussing researc h on di?erent aspects of Arti?cial Intelligence. To promote motivated discussions among participants, this conference streng- ened the role of the thematic workshops. These were not just satellite events, but rather formed an integral part of the conference, with joint sessions when justi?ed. This had the advantage that the work was presented to a motivated audience. This was the ?rst time that EPIA embarked on this experience and so provided us with additional challenges.




Autonomous Agents


Book Description

An agent is a system capable of perceiving the environment, reasoning with the percepts and then acting upon the world. Agents can be purely software systems, in which case their percepts and output `actions' are encoded binary strings. However, agents can also be realized in hardware, and then they are robots. The Artificial Intelligence community frequently views robots as embodied intelligent agents. The First International Conference on Autonomous Agents was held in Santa Monica, California, in February 1997. This conference brought together researchers from around the world with interests in agents, whether implemented purely in software or in hardware. The conference featured such topics as intelligent software agents, agents in virtual environments, agents in the entertainment industry, and robotic agents. Papers on robotic agents were selected for this volume. Autonomous Agents will be of interest to researchers and students in the area of artificial intelligence and robotics.




Agent and Multi-Agent Systems: Technologies and Applications


Book Description

This book constitutes the refereed proceedings of the 5th KES International Conference on Agent and Multi-Agent Systems, KES-AMSTA 2011, held in Manchester, UK, in June/July 2011. The 69 revised papers presented were carefully reviewed and selected for inclusion in the book. In addition the volume contains one abstract and one full paper length keynote speech. The papers are organized in topical sections on conversational agents, dialogue systems and text processing; agents and online social networks; robotics and manufacturing; agent optimisation; negotiation and security; multi-agent systems; mining and profiling; agent-based optimization; doctoral track; computer-supported social intelligence for human interaction; digital economy; and intelligent workflow, cloud computing and systems.




Intelligent Techniques for Planning


Book Description

The Intelligent Techniques for Planning presents a number of modern approaches to the area of automated planning. These approaches combine methods from classical planning such as the construction of graphs and the use of domain-independent heuristics with techniques from other areas of artificial intelligence. This book discuses, in detail, a number of state-of-the-art planning systems that utilize constraint satisfaction techniques in order to deal with time and resources, machine learning in order to utilize experience drawn from past runs, methods from knowledge systems for more expressive representation of knowledge and ideas from other areas such as Intelligent Agents. Apart from the thorough analysis and implementation details, each chapter of the book also provides extensive background information about its subject and presents and comments on similar approaches done in the past.