Download or read book Concurrent Reactive Plans written by Michael Beetz and published by Springer. This book was released on 2003-06-29 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book, the author presents a new computational model of forestalling common flaws in autonomous robot behavior. To this end, robots are equipped with structured reactive plans (SRPs) which are concurrent control programs that can not only be interpreted but also be reasoned about and manipulated. The author develops a representation for SRPs in which declarative statements for goals, perceptions, and beliefs make the structure and purpose of SRPs explicit and thereby simplify and speed up reasoning about SRPs and their projections; furthermore a notation is introduced allowing for transforming and manipulating SRPs. Using this notation, a planning system can diagnose and forestall common flaws in robot plans that cannot be dealt with in other planning representations. Finally the language for writing SRPs is extended into a high-level language that can handle both planning and execution actions.

Download or read book Plan Based Control of Robotic Agents written by Michael Beetz and published by Springer. This book was released on 2003-07-01 with total page 199 pages. Available in PDF, EPUB and Kindle. Book excerpt: Robotic agents, such as autonomous office couriers or robot tourguides, must be both reliable and efficient. Thus, they have to flexibly interleave their tasks, exploit opportunities, quickly plan their course of action, and, if necessary, revise their intended activities. This book makes three major contributions to improving the capabilities of robotic agents: - first, a plan representation method is introduced which allows for specifying flexible and reliable behavior - second, probabilistic hybrid action models are presented as a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans - third, the system XFRMLEARN capable of learning structured symbolic navigation plans is described in detail.

Download or read book Mechanizing Mathematical Reasoning written by Dieter Hutter and published by Springer. This book was released on 2011-03-29 with total page 573 pages. Available in PDF, EPUB and Kindle. Book excerpt: By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

Download or read book KI 99 Advances in Artificial Intelligence written by Wolfram Burgard and published by Springer. This book was released on 2003-07-31 with total page 321 pages. Available in PDF, EPUB and Kindle. Book excerpt: For many years, Arti?cial Intelligence technology has served in a great variety of successful applications. AI researchand researchershave contributed much to the vision of the so-called Information Society. As early as the 1980s, some of us imagined distributed knowledge bases containing the explicable knowledge of a company or any other organization. Today, such systems are becoming reality. In the process, other technologies have had to be developed and AI-technology has blended with them, and companies are now sensitive to this topic. TheInternetandWWWhaveprovidedtheglobalinfrastructure,whileatthe same time companies have become global in nearly every aspect of enterprise. This process has just started, a little experience has been gained, and therefore it is tempting to re?ect and try to forecast, what the next steps may be. This has given us one of the two main topics of the 23rd Annual German Conference on Arti?cial Intelligence (KI-99)held at the University of Bonn: The Knowledge Society. Two of our invited speakers, Helmut Willke, Bielefeld, and Hans-Peter Kriegel, Munich, dwell on di?erent aspects with di?erent perspectives. Helmut Willke deals with the concept of virtual organizations, while Hans-Peter Kriegel applies data mining concepts to pattern recognitiontasks.The three application forums are also part of the Knowledge Society topic: “IT-based innovation for environment and development”, “Knowledge management in enterprises”, and “Knowledgemanagementinvillageandcityplanningoftheinformationsociety”.

Download or read book Springer Handbook of Robotics written by Bruno Siciliano and published by Springer. This book was released on 2016-07-27 with total page 2259 pages. Available in PDF, EPUB and Kindle. Book excerpt: The second edition of this handbook provides a state-of-the-art overview on the various aspects in the rapidly developing field of robotics. Reaching for the human frontier, robotics is vigorously engaged in the growing challenges of new emerging domains. Interacting, exploring, and working with humans, the new generation of robots will increasingly touch people and their lives. The credible prospect of practical robots among humans is the result of the scientific endeavour of a half a century of robotic developments that established robotics as a modern scientific discipline. The ongoing vibrant expansion and strong growth of the field during the last decade has fueled this second edition of the Springer Handbook of Robotics. The first edition of the handbook soon became a landmark in robotics publishing and won the American Association of Publishers PROSE Award for Excellence in Physical Sciences & Mathematics as well as the organization’s Award for Engineering & Technology. The second edition of the handbook, edited by two internationally renowned scientists with the support of an outstanding team of seven part editors and more than 200 authors, continues to be an authoritative reference for robotics researchers, newcomers to the field, and scholars from related disciplines. The contents have been restructured to achieve four main objectives: the enlargement of foundational topics for robotics, the enlightenment of design of various types of robotic systems, the extension of the treatment on robots moving in the environment, and the enrichment of advanced robotics applications. Further to an extensive update, fifteen new chapters have been introduced on emerging topics, and a new generation of authors have joined the handbook’s team. A novel addition to the second edition is a comprehensive collection of multimedia references to more than 700 videos, which bring valuable insight into the contents. The videos can be viewed directly augmented into the text with a smartphone or tablet using a unique and specially designed app. Springer Handbook of Robotics Multimedia Extension Portal: http://handbookofrobotics.org/

Download or read book Intelligent Techniques for Planning written by Ioannis Vlahavas and published by IGI Global. This book was released on 2005-01-01 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Advances in Plan Based Control of Robotic Agents written by Michael Beetz and published by Springer. This book was released on 2003-08-02 with total page 299 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Planning in Intelligent Systems written by Wout van Wezel and published by John Wiley & Sons. This book was released on 2006-03-03 with total page 592 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first comparative examination of planning paradigms This text begins with the principle that the ability to anticipateand plan is an essential feature of intelligent systems, whetherhuman or machine. It further assumes that better planning resultsin greater achievements. With these principles as a foundation,Planning in Intelligent Systems provides readers with the toolsneeded to better understand the process of planning and to becomebetter planners themselves. The text is divided into two parts: * Part One, "Theoretical," discusses the predominant schools ofthought in planning: psychology and cognitive science,organizational science, computer science, mathematics, artificialintelligence, and systems theory. In particular, the book examinescommonalities and differences among the goals, methods, andtechniques of these various approaches to planning. The result is abetter understanding of the process of planning through thecross-fertilization of ideas. Each chapter contains a shortintroduction that sets forth the interrelationships of that chapterto the main ideas featured in the other chapters. * Part Two, "Practical," features six chapters that center on acase study of The Netherlands Railways. Readers learn to applytheory to a real-world situation and discoverhow expanding theirrepertoire of planning methods can help solve seemingly intractableproblems. All chapters have been contributed by leading experts in thevarious schools of planning and carefully edited to ensure aconsistent high standard throughout. This book is designed to not only expand the range of planningtools used, but also to enable readers to use them moreeffectively. It challenges readers to look at new approaches andlearn from new schools of thought. Planning in Intelligent Systemsdelivers effective planning approaches for researchers, professors,students, and practitioners in artificial intelligence, computerscience, cognitive psychology, and mathematics, as well as industryplanners and managers.

Download or read book Artificial Intelligence Planning Systems written by James Hendler and published by Morgan Kaufmann. This book was released on 1992 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Automated Planning written by Malik Ghallab and published by Elsevier. This book was released on 2004-05-03 with total page 665 pages. Available in PDF, EPUB and Kindle. Book excerpt: Publisher Description

Download or read book Computational Theories of Interaction and Agency written by Philip Agre and published by MIT Press. This book was released on 1996 with total page 794 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over time the field of artificial intelligence has developed an "agent perspective" expanding its focus from thought to action, from search spaces to physical environments, and from problem-solving to long-term activity. Originally published as a special double volume of the journal Artificial Intelligence, this book brings together fundamental work by the top researchers in artificial intelligence, neural networks, computer science, robotics, and cognitive science on the themes of interaction and agency. It identifies recurring themes and outlines a methodology of the concept of "agency." The seventeen contributions cover the construction of principled characterizations of interactions between agents and their environments, as well as the use of these characterizations to guide analysis of existing agents and the synthesis of artificial agents.Artificial Intelligence series.Special Issues of Artificial Intelligence

Download or read book Declarative Models of Concurrent Cyclic Processes written by Grzegorz Bocewicz and published by Springer Nature. This book was released on 2023-12-01 with total page 194 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph presents a new declarative approach dedicated to the analysis of behaviors and synthesis of structures of Systems of Cyclic Concurrent Multimodal Processes (SCCMP). These kinds of problems are some of the most difficult cyclic scheduling problems - both from the computational side and the complexity of the models used. SCCMP is understood as a set of processes (in particular, multimodal processes) that execute operations cyclically on a set of jointly used (shared) resources (processors, machines, means of transport, etc.). They model the functioning of numerous systems encountered in practical settings and which are characterized by cyclic (periodic) behavior. Typical examples are the passenger railway system, the manufacturing system, the transportation system, and etc. Considered problems, i.e., the behavior analysis problem, the structure prototyping problem, and the problem of mutual reachability of various SCCMP behaviors, are strongly NP-hard. This feature implies that computationally-efficient algorithms need to be sought. They would enable the evaluation of selected aspects of the considered system's functions, such as service costs, transport time, etc., in real-time mode. In that context, the presented monograph fills the gap in the field of SCCMP modeling. Its aim is to present declarative models of systems of cyclic multimodal processes. Such models allow the development of computationally-efficient methods of analysis of the behavior and synthesis of the structure of SCCMP. The particular issues raised in this study concern: · Modeling of SCCMP with regular/fractal structures, i.e., structures composed of repeating fragments. · Determining the conditions of mutual reachability of various SCCMP behaviors. · Modeling of SCCMP described by fuzzy variables. The monograph is addressed to researchers, practitioners, and graduate students in operations management, operations research, computer science, and industrial engineering. Declarative models of concurrent cyclic processes will serve as an essential reference for professionals working on cyclic scheduling problems in computer science, manufacturing, communication, and transportation services, as well as in many other areas.

Download or read book KI written by and published by . This book was released on 2004 with total page 498 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Databases on Modern Hardware written by Anastasia Ailamaki and published by Springer Nature. This book was released on 2022-06-01 with total page 101 pages. Available in PDF, EPUB and Kindle. Book excerpt: Data management systems enable various influential applications from high-performance online services (e.g., social networks like Twitter and Facebook or financial markets) to big data analytics (e.g., scientific exploration, sensor networks, business intelligence). As a result, data management systems have been one of the main drivers for innovations in the database and computer architecture communities for several decades. Recent hardware trends require software to take advantage of the abundant parallelism existing in modern and future hardware. The traditional design of the data management systems, however, faces inherent scalability problems due to its tightly coupled components. In addition, it cannot exploit the full capability of the aggressive micro-architectural features of modern processors. As a result, today's most commonly used server types remain largely underutilized leading to a huge waste of hardware resources and energy. In this book, we shed light on the challenges present while running DBMS on modern multicore hardware. We divide the material into two dimensions of scalability: implicit/vertical and explicit/horizontal. The first part of the book focuses on the vertical dimension: it describes the instruction- and data-level parallelism opportunities in a core coming from the hardware and software side. In addition, it examines the sources of under-utilization in a modern processor and presents insights and hardware/software techniques to better exploit the microarchitectural resources of a processor by improving cache locality at the right level of the memory hierarchy. The second part focuses on the horizontal dimension, i.e., scalability bottlenecks of database applications at the level of multicore and multisocket multicore architectures. It first presents a systematic way of eliminating such bottlenecks in online transaction processing workloads, which is based on minimizing unbounded communication, and shows several techniques that minimize bottlenecks in major components of database management systems. Then, it demonstrates the data and work sharing opportunities for analytical workloads, and reviews advanced scheduling mechanisms that are aware of nonuniform memory accesses and alleviate bandwidth saturation.

Download or read book AI IA 2005 Advances in Artificial Intelligence written by Associazione italiana per l'intelligenza artificiale. Congress and published by Springer Science & Business Media. This book was released on 2005-09-12 with total page 627 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 9th Congress of the Italian Association for Artificial Intelligence, AI*IA 2005, held in Milan, Italy in September 2005. The 46 revised full papers presented together with 16 revised short papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on either theoretical research with results and proposals, improvements and consolidations, or on applications as there are systems and prototypes, case studies and proposals. Within this classification some of the main classical topics of AI are presented (agents, knowledge representation, machine learning, planning, robotics, natural language, etc.), but here the focus is on the ability of AI computational approaches to face challenging problems and to propose innovative solutions.

Download or read book Behavior based Robotics written by Ronald C. Arkin and published by MIT Press. This book was released on 1998 with total page 522 pages. Available in PDF, EPUB and Kindle. Book excerpt: Foreword by Michael Arbib This introduction to the principles, design, and practice of intelligent behavior-based autonomous robotic systems is the first true survey of this robotics field. The author presents the tools and techniques central to the development of this class of systems in a clear and thorough manner. Following a discussion of the relevant biological and psychological models of behavior, he covers the use of knowledge and learning in autonomous robots, behavior-based and hybrid robot architectures, modular perception, robot colonies, and future trends in robot intelligence. The text throughout refers to actual implemented robots and includes many pictures and descriptions of hardware, making it clear that these are not abstract simulations, but real machines capable of perception, cognition, and action.

Download or read book Robotics for Intralogistics in Supermarkets and Retail Stores written by Luigi Villani and published by Springer Nature. This book was released on 2022-09-01 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book aims at sharing knowledge about the technological opportunities and the main research challenges regarding robotics for logistics in supermarkets and retail stores, from the perspectives of the end-users, logistic companies, technology providers, and robotic researchers. The authors have been involved into the H2020 project Robotics Enabling Fully Integrated Logistics Lines for Supermarkets (REFILLS), aimed at improving logistics in supermarkets thanks to mobile robotic systems in close and smart collaboration with humans. The readers will find a comprehensive analysis of the main logistic processes in retail stores with possible robotized solutions, involving mechanical design, perception, and control. These technologies have been validated in realistic environments, and some of them have been tested into real supermarkets. The book is intended for a broad academic and industrial readership, including operators in the field of logistics, distribution, and retail.