Reasoning About Plans

Author: James Allen
Publisher: Morgan Kaufmann
ISBN: 1483295966
Format: PDF, ePub, Docs
Download Now
This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth.

Reasoning About Actions Plans

Author: Michael P. Georgeff
Publisher: Elsevier
ISBN: 0323141722
Format: PDF, ePub, Docs
Download Now
Reasoning About Actions and Plans discusses approaches to a number of the more challenging problems in reasoning about the future and forming plans of action to achieve their goals. Reasoning about actions and plans can be seen as fundamental to the development of intelligent machines that are capable of dealing effectively with real-world problems. This book comprises 17 chapters, with the first delving into the semantics of STRIPS. The following chapters then discuss a theory of plans; formulating multiagent, dynamic-world problems in the classical planning framework; and a representation of parallel activity based on events, structure, and causality. Other chapters cover branching regular expressions and multi-agent plans; a representation of action and belief for automatic planning systems; possible worlds planning; and intractability and time-dependent planning. The remaining chapters discuss goal structure, holding periods and "clouds"; a model of plan inference that distinguishes between the beliefs of actors and observers; persistence, intention, and commitment; the context-sensitivity of belief and desire; the doxastic theory of intention; an architecture for intelligent reactive systems; and abstract reasoning as emergent from concrete activity. This book will be of interest to practitioners in the fields of cognition and artificial intelligence.

Spatial Reasoning and Planning

Author: Jiming Liu
Publisher: Springer Science & Business Media
ISBN: 9783540406709
Format: PDF, Docs
Download Now
Spatial reasoning and planning is a core constituent in robotics, graphics, computer-aided design, and geographic information systems. After a review of previous work in the related areas, Liu and Daneshmend present a unified framework for qualitative spatial representation and reasoning. This paves the way for a generation of solutions to spatial problems where the geometric knowledge is imprecise. Many graphical illustrations and detailed algorithm descriptions help the reader to comprehend the solution paths and to develop their own applications. The book is written as a self-contained text for researchers and graduate students. The methodologies, algorithmic details, and case studies presented can be used as course material as well as a convenient reference.

Reasoning About Actions Plans

Author: Michael P. Georgeff
Publisher: Elsevier
ISBN: 0323141722
Format: PDF, Mobi
Download Now
Reasoning About Actions and Plans discusses approaches to a number of the more challenging problems in reasoning about the future and forming plans of action to achieve their goals. Reasoning about actions and plans can be seen as fundamental to the development of intelligent machines that are capable of dealing effectively with real-world problems. This book comprises 17 chapters, with the first delving into the semantics of STRIPS. The following chapters then discuss a theory of plans; formulating multiagent, dynamic-world problems in the classical planning framework; and a representation of parallel activity based on events, structure, and causality. Other chapters cover branching regular expressions and multi-agent plans; a representation of action and belief for automatic planning systems; possible worlds planning; and intractability and time-dependent planning. The remaining chapters discuss goal structure, holding periods and "clouds"; a model of plan inference that distinguishes between the beliefs of actors and observers; persistence, intention, and commitment; the context-sensitivity of belief and desire; the doxastic theory of intention; an architecture for intelligent reactive systems; and abstract reasoning as emergent from concrete activity. This book will be of interest to practitioners in the fields of cognition and artificial intelligence.

Practical Planning

Author: David E. Wilkins
Publisher: Elsevier
ISBN: 0080514472
Format: PDF, ePub, Docs
Download Now
Planning, or reasoning about actions, is a fundamental element of intelligent behavior--and one that artificial intelligence has found very difficult to implement. The most well-understood approach to building planning systems has been under refinement since the late 1960s and has now reached a level of maturity where there are good prospects for building working planners. Practical Planning is an in-depth examination of this classical planning paradigm through an intensive case study of SIPE, a significantly implemented planning system. The author, the developer of SIPE, defines the planning problem in general, explains why reasoning about actions is so complex, and describes all parts of the SIPE system and the algorithms needed to achieve efficiency. Details are discussed in the context of problems and important issues in building a practical planner; discussions of how other systems address these issues are also included. Assuming only a basic background in AI, Practical Planning will be of great interest to professionals interested in incorporating planning capabilities into AI systems.

Planning and Learning by Analogical Reasoning

Author: Manuela M. Veloso
Publisher: Springer Science & Business Media
ISBN: 9783540588115
Format: PDF
Download Now
This research monograph describes the integration of analogical and case-based reasoning into general problem solving and planning as a method of speedup learning. The method, based on derivational analogy, has been fully implemented in PRODIGY/ANALOGY and proven in practice to be amenable to scaling up, both in terms of domain and problem complexity. In this work, the strategy-level learning process is cast for the first time as the automation of the complete cycle of construction, storing, retrieving, and flexibly reusing problem solving experience. The algorithms involved are presented in detail and numerous examples are given. Thus the book addresses researchers as well as practitioners.

Automated Planning and Acting

Author: Malik Ghallab
Publisher: Cambridge University Press
ISBN: 1107037271
Format: PDF, ePub
Download Now
This book presents the most recent and advanced techniques for creating autonomous AI systems capable of planning and acting effectively.

Case Based Reasoning Research and Development

Author: Sarah Jane Delany
Publisher: Springer
ISBN: 3642390560
Format: PDF, ePub, Docs
Download Now
This book constitutes the refereed proceedings of the 21st International Conference on Case-Based Reasoning Research and Development (ICCBR 2013) held in Saratoga Springs, NY, USA, in July 2013. The 17 revised full papers presented together with 9 posters were carefully reviewed and selected from 39 submissions. The presentations and posters covered a wide range of CBR topics of interest both to researchers and practitioners including case retrieval and adaptation, similarity assessment, case base maintenance, knowledge management, recommender systems, multiagent systems, textual CBR, and applications to healthcare and computer games.

Case Based Reasoning Research and Development

Author: David B. Leake
Publisher: Springer Science & Business Media
ISBN: 9783540632337
Format: PDF, ePub, Mobi
Download Now
This book constitutes the refereed proceedings of the Second International Conference on Case-Based Reasoning, ICCBR-97, held in Providence, RI, USA, in July 1997. The volume presents 39 revised full scientific papers selected from a total of 102 submissions; also included are 20 revised application papers. Among the topics covered are representation and formalization, indexing and retrieval, adaptation, learning, integrated approaches, creative reasoning, CBR and uncertainty. This collection of papers is a comprehensive documentation of the state of the art in CBR research and development.

Common Sense Reasoning and Rationality

Author: Renee Elio
Publisher: Oxford University Press
ISBN: 0198033680
Format: PDF, ePub, Docs
Download Now
As the eleventh volume in the New Directions in Cognitive Science series (formerly the Vancouver Studies in Cognitive Science series), this work promises superb scholarship and interdisciplinary appeal. It addresses three areas of current and varied interest: common sense, reasoning, and rationality. While common sense and rationality often have been viewed as two distinct features in a unified cognitive map, this volume offers novel, even paradoxical, views of the relationship. Comprised of outstanding essays from distinguished philosophers, it considers what constitutes human rationality, behavior, and intelligence covering diverse areas of philosophy, psychology, cognitive science, and computer science. Indeed, it is at the forefront of cognitive research and promises to be of unprecedented influence across numerous disciplines.