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, Mobi
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.

Planning and Learning by Analogical Reasoning

Author: Manuela M. Veloso
Publisher: Springer Science & Business Media
ISBN: 9783540588115
Format: PDF, Mobi
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.

Case Based Reasoning Research and Development

Author: Sarah Jane Delany
Publisher: Springer
ISBN: 3642390560
Format: PDF, ePub
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: R. i International Conference on Case-Based Reasoning 1997 Providence
Publisher: Springer Science & Business Media
ISBN: 9783540632337
Format: PDF
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, 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.

Reasoning Robots

Author: Michael Thielscher
Publisher: Springer Science & Business Media
ISBN: 9781402030680
Format: PDF, Docs
Download Now
The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine with motors and sensors. In order to bring life to it, the machine needs to be programmed so as to make active use of its hardware c- ponents. This turns a machine into an autonomous robot. Since about the mid nineties of the past century, robot programming has made impressive progress. State-of-the-art robots are able to orient themselves and move around freely in indoor environments or negotiate di?cult outdoor terrains, they can use stereo vision to recognize objects, and they are capable of simple object manipulation with the help of arti?cial extremities. At a time where robots perform these tasks more and more reliably,weare ready to pursue the next big step, which is to turn autonomous machines into reasoning robots.Areasoning robot exhibits higher cognitive capabilities like following complex and long-term strategies, making rational decisions on a high level, drawing logical conclusions from sensor information acquired over time, devising suitable plans, and reacting sensibly in unexpected situations. All of these capabilities are characteristics of human-like intelligence and ultimately distinguish truly intelligent robots from mere autonomous machines.

Logic Programming and Automated Reasoning

Author: Andrei Voronkov
Publisher: Springer Science & Business Media
ISBN: 9783540557272
Format: PDF, ePub
Download Now
This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.

Case Based Reasoning Research and Development

Author: David W. Aha
Publisher: Springer Science & Business Media
ISBN: 3540423583
Format: PDF, ePub
Download Now
This book constitutes the refereed proceedings of the 4th International Conference on Case-Based Reasoning, ICCBR 2001, held in Vancouver, BC, Canada, in July/August 2001. The 36 revised full research papers and 14 revised full application papers presented together with 3 invited papers were carefully reviewed and selected from 81 submissions. The papers address all current foundational and theoretical aspects of case-based reasoning as well as advanced applications in a variety of fields.