Concurrent Reactive Plans

Concurrent Reactive Plans PDF Author: Michael Beetz
Publisher: Springer
ISBN: 3540464360
Category : Computers
Languages : en
Pages : 222

Get Book Here

Book Description
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.

Concurrent Reactive Plans

Concurrent Reactive Plans PDF Author: Michael Beetz
Publisher: Springer
ISBN: 3540464360
Category : Computers
Languages : en
Pages : 222

Get Book Here

Book Description
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.

Plan-Based Control of Robotic Agents

Plan-Based Control of Robotic Agents PDF Author: Michael Beetz
Publisher: Springer
ISBN: 3540363815
Category : Technology & Engineering
Languages : en
Pages : 199

Get Book Here

Book Description
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.

Springer Handbook of Robotics

Springer Handbook of Robotics PDF Author: Bruno Siciliano
Publisher: Springer
ISBN: 3319325523
Category : Technology & Engineering
Languages : en
Pages : 2259

Get Book Here

Book Description
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/

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning PDF Author: Dieter Hutter
Publisher: Springer
ISBN: 354032254X
Category : Computers
Languages : en
Pages : 573

Get Book Here

Book Description
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.

KI-99: Advances in Artificial Intelligence

KI-99: Advances in Artificial Intelligence PDF Author: Wolfram Burgard
Publisher: Springer
ISBN: 3540482385
Category : Computers
Languages : en
Pages : 321

Get Book Here

Book Description
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”.

Advances in Plan-Based Control of Robotic Agents

Advances in Plan-Based Control of Robotic Agents PDF Author: Michael Beetz
Publisher: Springer
ISBN: 3540377247
Category : Technology & Engineering
Languages : en
Pages : 299

Get Book Here

Book Description
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.

Planning in Intelligent Systems

Planning in Intelligent Systems PDF Author: Wout van Wezel
Publisher: John Wiley & Sons
ISBN: 0471781258
Category : Computers
Languages : en
Pages : 592

Get Book Here

Book Description
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.

Artificial Intelligence Planning Systems

Artificial Intelligence Planning Systems PDF Author: James Hendler
Publisher: Morgan Kaufmann
ISBN: 9781558602502
Category : Artificial intelligence
Languages : en
Pages : 340

Get Book Here

Book Description


Automated Planning

Automated Planning PDF Author: Malik Ghallab
Publisher: Elsevier
ISBN: 1558608567
Category : Business & Economics
Languages : en
Pages : 665

Get Book Here

Book Description
Publisher Description

Intelligent Techniques for Planning

Intelligent Techniques for Planning PDF Author: Ioannis Vlahavas
Publisher: IGI Global
ISBN: 1591404525
Category : Computers
Languages : en
Pages : 377

Get Book Here

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.