This book develops an original theory of the search for space objects, on which only crude orbital information is known. It uses a special principle to construct a plan for searching for such objects through optical or radar sensors. This principle maximally eliminates the loss of the sought-for object and provides an economical use of the resources used in the search. This book will be of great interest for astronomers-observers, space control services, space researchers, and students at technical universities.

Planning algorithms are impacting technical disciplines and industries around the world, including robotics, computer-aided design, manufacturing, computer graphics, aerospace applications, drug design, and protein folding. Written for computer scientists and engineers with interests in artificial intelligence, robotics, or control theory, this is the only book on this topic that tightly integrates a vast body of literature from several fields into a coherent source for teaching and reference in a wide variety of applications. Difficult mathematical material is explained through hundreds of examples and illustrations.

Featuring updates and revisions to reflect rapid changes in an increasingly globalized world, Readings in Planning Theory remains the definitive resource for the latest theoretical and practical debates within the field of planning theory. Represents the newest edition of the leading text in planning theory that brings together the essential classic and cutting-edge readings Features 20 completely new readings (out of 28 total) for the fourth edition Introduces and defines key debates in planning theory with editorial materials and readings selected both for their accessibility and importance Systematically captures the breadth and diversity of planning theory and puts issues into wider social and political contexts without assuming prior knowledge of the field

This state-of-the-art survey presents a coherent summary of research and development in case-based reasoning (CBR) undertaken in Germany in recent years. The book opens with a general introduction to CBR presenting the basic ideas and concepts, setting the terminology, and looking at CBR from some new points of view. The main part of the book, consisting of nine chapters, is devoted to detailed presentations of CBR applications successfully performed in various areas. Among these application areas are decision and sales support, text processing, adaptation, planning, design, software engineering, tutoring systems, and medicine. The remaining chapters present areas related to CBR as well as a glossary, a subject index and bibliography.

Publisher Description

This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge Engineering, Ontologies and the Semantic Web; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; and Recommendation Systems and Decision Making.

This book presents the outcomes of the 12th International Workshop on the Algorithmic Foundations of Robotics (WAFR 2016). WAFR is a prestigious, single-track, biennial international meeting devoted to recent advances in algorithmic problems in robotics. Robot algorithms are an important building block of robotic systems and are used to process inputs from users and sensors, perceive and build models of the environment, plan low-level motions and high-level tasks, control robotic actuators, and coordinate actions across multiple systems. However, developing and analyzing these algorithms raises complex challenges, both theoretical and practical. Advances in the algorithmic foundations of robotics have applications to manufacturing, medicine, distributed robotics, human–robot interaction, intelligent prosthetics, computer animation, computational biology, and many other areas. The 2016 edition of WAFR went back to its roots and was held in San Francisco, California – the city where the very first WAFR was held in 1994. Organized by Pieter Abbeel, Kostas Bekris, Ken Goldberg, and Lauren Miller, WAFR 2016 featured keynote talks by John Canny on “A Guided Tour of Computer Vision, Robotics, Algebra, and HCI,” Erik Demaine on “Replicators, Transformers, and Robot Swarms: Science Fiction through Geometric Algorithms,” Dan Halperin on “From Piano Movers to Piano Printers: Computing and Using Minkowski Sums,” and by Lydia Kavraki on “20 Years of Sampling Robot Motion.” Furthermore, it included an Open Problems Session organized by Ron Alterovitz, Florian Pokorny, and Jur van den Berg. There were 58 paper presentations during the three-day event. The organizers would like to thank the authors for their work and contributions, the reviewers for ensuring the high quality of the meeting, the WAFR Steering Committee led by Nancy Amato as well as WAFR’s fiscal sponsor, the International Federation of Robotics Research (IFRR), led by Oussama Khatib and Henrik Christensen. WAFR 2016 was an enjoyable and memorable event.

John Pollock aims to construct a theory of rational decision making for real agents--not ideal agents. Real agents have limited cognitive powers, but traditional theories of rationality have applied only to idealized agents that lack such constraints. Pollock argues that theories of ideal rationality are largely irrelevant to the decision making of real agents. Thinking about Acting aims to provide a theory of "real rationality."