Martha E. Pollack

Malik Ghallab

Michael Beetz

Leonidas Guibas

Joachim Herztberg

In recent years, autonomous robots, including Xavier, Martha [1], Rhino [2,3], Minerva,and Remote Agent, have shown impressive performance in long-term demonstrations. In NASA’s Deep Space program, for example, an - tonomous spacecraft controller, called the Remote Agent [5], has autonomously performed a scienti?c experiment in space. At Carnegie Mellon University, Xavier [6], another autonomous mobile robot, navigated through an o?ce - vironment for more than a year, allowing people to issue navigation commands and monitor their execution via the Internet. In 1998, Minerva [7] acted for 13 days as a museum tourguide in the Smithsonian Museum, and led several thousand people through an exhibition. These autonomous robots have in common that they rely on plan-based c- trol in order to achieve better problem-solving competence. In the plan-based approach, robots generate control actions by maintaining and executing a plan that is e?ective and has a high expected utility with respect to the robots’ c- rent goals and beliefs. Plans are robot control programs that a robot can not only execute but also reason about and manipulate [4]. Thus, a plan-based c- troller is able to manage and adapt the robot’s intended course of action — the plan — while executing it and can thereby better achieve complex and changing tasks.

International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001, Revised Papers

Advances in Plan-Based Control of Robotic Agents

Dana Nau

Paolo Traverso

Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications. Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking. The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students. Provides a thorough understanding of AI planning theory and practice, and how they relate to each other Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online

Theory and Practice

Automated Planning

Bertrand Braunschweig

We already observe the positive effects of AI in almost every field, and foresee its potential to help addressing our sustainable development goals and the urgent challenges for the preservation of the environment. We also perceive the risks related to the safety, security, confidentiality, and fairness of AI systems, the threats to free will of possibly manipulative systems, as well as the impacts of AI on the economy, employment, human rights, equality, diversity, inclusion, and social cohesion need to be better assessed. The development and use of AI must be guided by principles of social cohesion, environmental sustainability, resource sharing, and inclusion. It has to integrate human rights, and social, cultural, and ethical values of democracy. It requires continued education and training as well as continual assessment of effects through social deliberation. The "Reflections on AI for Humanity" proposed in this book develop the following issues and sketch approaches for addressing them: How can we ensure the security requirements of critical applications and the safety and confidentiality of data communication and processing? What techniques and regulations for the validation, certification, and audit of AI tools are needed to develop confidence in AI? How can we identify and overcome biases in algorithms? How do we design systems that respect essential human values, ensuring moral equality and inclusion? What kinds of governance mechanisms are needed for personal data, metadata, and aggregated data at various levels? What are the effects of AI and automation on the transformation and social division of labor? What are the impacts on economic structures? What proactive and accommodation measures will be required? How will people benefit from the decision support systems and personal digital assistants without the risk of manipulation? How do we design transparent and intelligible procedures and ensure that their functions reflect our values and criteria? How can we anticipate failure and restore human control over an AI system when it operates outside its intended scope? How can we devote a substantial part of our research and development resources to the major challenges of our time such as climate, environment, health, and education?

Reflections on Artificial Intelligence for Humanity

Alfredo Milani

New Directions in AI Planning

This book presents the most recent and advanced techniques for creating autonomous AI systems capable of planning and acting effectively.

Automated Planning and Acting

Deals with Machine Learning; Cognitive Modeling and Interaction; Constraints and search; Model-based Reasoning and Diagnosis; NLP; Planning and scheduling; Perception, Sensing and Cognitive Robotics. This volume includes accepted papers of the Prestigious Applications of Intelligent Systems (PAIS), ECAI's associated sub conference.

18th European Conference on Artificial Intelligence, July 21-25, 2008, Patras, Greece : Including Prestigious Applications of Intelligent Systems (PAIS 2008) : Proceedings

Malik Ghallab

Books

Your next favorite book is out there