Reasoning About Plans

Author : James Allen,Henry Kautz,Richard Pelavin,Josh Tenenberg
Publisher : Unknown
Page : 0 pages
File Size : 45,5 Mb
Release : 2014
Category : Artificial intelligence
ISBN : OCLC:1162607265

Get Book

Reasoning About Plans by James Allen,Henry Kautz,Richard Pelavin,Josh Tenenberg Pdf

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.

Author : James Allen
Publisher : Morgan Kaufmann
Page : 328 pages
File Size : 43,9 Mb
Release : 1991-07
Category : Computers
ISBN : UOM:39015021992386

Get Book

Reasoning About Plans by James Allen Pdf

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.

Author : Michael P. Georgeff
Publisher : Elsevier
Page : 432 pages
File Size : 52,5 Mb
Release : 2012-12-02
Category : Computers
ISBN : 9780323141727

Get Book

Reasoning About Actions & Plans by Michael P. Georgeff Pdf

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.

Author : Peter Haddawy
Publisher : Springer
Page : 152 pages
File Size : 55,8 Mb
Release : 1994
Category : Business & Economics
ISBN : UOM:39015032949680

Get Book

Representing Plans Under Uncertainty by Peter Haddawy Pdf

"This monograph integrates AI and decision-theoretic approaches to the representation of planning problems by developing a first-order logic of time, chance, and action for representing and reasoning about plans. The semantics of the logic incorporates intuitive properties of time, chance, and action central to the planning problem. The logical language integrates both modal and probabilistic constructs and allows quantification over time points, probability values, and domain individuals. The language can represent the chance that facts hold and events occur at various times and that actions and other events affect the future. An algorithm for the problem of building construction planning is developed and the logic is used to prove the algorithm correct."--PUBLISHER'S WEBSITE.

Author : O. Stock
Publisher : Springer Science & Business Media
Page : 394 pages
File Size : 46,7 Mb
Release : 2007-07-27
Category : Language Arts & Disciplines
ISBN : 9780585283227

Get Book

Spatial and Temporal Reasoning by O. Stock Pdf

Qualitative reasoning about space and time - a reasoning at the human level - promises to become a fundamental aspect of future systems that will accompany us in daily activity. The aim of Spatial and Temporal Reasoning is to give a picture of current research in this area focusing on both representational and computational issues. The picture emphasizes some major lines of development in this multifaceted, constantly growing area. The material in the book also shows some common ground and a novel combination of spatial and temporal aspects of qualitative reasoning. Part I presents the overall scene. The chapter by Laure Vieu is on the state of the art in spatial representation and reasoning, and that by Alfonso Gerevini gives a similar survey on research in temporal reasoning. The specific contributions to these areas are then grouped in the two main parts. In Part II, Roberto Casati and Achille Varzi examine the ontological status of spatial entities; Anthony Cohn, Brandon Bennett, John Gooday, and Nicholas Gotts present a detailed theory of reasoning with qualitative relations about regions; Andrew Frank discusses the spatial needs of geographical information systems; and Annette Herskovits focuses on the linguistic expression of spatial relations. In Part III, James Allen and George Ferguson describe an interval temporal logic for the representation of actions and events; Drew McDermott presents an efficient way of predicting the outcome of plan execution; and Erik Sandewall introduces a semantics based on transitions for assessing theories of action and change. In Part IV, Antony Galton's chapter stands clearly between the two areas of space and time and outlines the main coordinates of an integrated approach.

Author : David E. Wilkins
Publisher : Elsevier
Page : 205 pages
File Size : 46,5 Mb
Release : 2014-06-28
Category : Computers
ISBN : 9780080514475

Get Book

Practical Planning by David E. Wilkins Pdf

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.

Author : Anonim
Publisher : Unknown
Page : 425 pages
File Size : 40,6 Mb
Release : 1987
Category : Electronic
ISBN : OCLC:15014929

Get Book

Reasoning about Actions and Plans by Anonim Pdf

Author : Renee Elio
Publisher : Oxford University Press
Page : 294 pages
File Size : 44,8 Mb
Release : 2002-02-07
Category : Philosophy
ISBN : 9780198033684

Get Book

Common Sense, Reasoning, and Rationality by Renee Elio Pdf

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.

Author : Oliviero Stock
Publisher : Springer Science & Business Media
Page : 352 pages
File Size : 51,6 Mb
Release : 2006-09-04
Category : Computers
ISBN : 9783540379010

Get Book

Reasoning, Action and Interaction in AI Theories and Systems by Oliviero Stock Pdf

The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, friends, and international colleagues, who have cooperated with Luigia Carlucci Aiello, scientifically or in AI boards or committees. The contributions by reputed researchers span a wide range of AI topics and reflect the breadth and depth of Aiello's own work.

Author : Dieter Hutter
Publisher : Springer Science & Business Media
Page : 573 pages
File Size : 55,8 Mb
Release : 2005-02-23
Category : Computers
ISBN : 9783540250517

Get Book

Mechanizing Mathematical Reasoning by Dieter Hutter Pdf

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.

Author : Michael Bratman
Publisher : Unknown
Page : 226 pages
File Size : 40,5 Mb
Release : 1987
Category : Philosophy
ISBN : UOM:39015013381317

Get Book

Intention, Plans, and Practical Reason by Michael Bratman Pdf

Author : John F. Sowa
Publisher : Morgan Kaufmann
Page : 594 pages
File Size : 48,6 Mb
Release : 2014-07-10
Category : Computers
ISBN : 9781483221144

Get Book

Principles of Semantic Networks by John F. Sowa Pdf

Principles of Semantic Networks: Explorations in the Representation of Knowledge provides information pertinent to the theory and applications of semantic networks. This book deals with issues in knowledge representation, which discusses theoretical topics independent of particular implementations. Organized into three parts encompassing 19 chapters, this book begins with an overview of semantic network structure for representing knowledge as a pattern of interconnected nodes and arcs. This text then analyzes the concepts of subsumption and taxonomy and synthesizes a framework that integrates many previous approaches and goes beyond them to provide an account of abstract and partially defines concepts. Other chapters consider formal analyses, which treat the methods of reasoning with semantic networks and their computational complexity. This book discusses as well encoding linguistic knowledge. The final chapter deals with a formal approach to knowledge representation that builds on ideas originating outside the artificial intelligence literature in research on foundations for programming languages. This book is a valuable resource for mathematicians.

Author : Franz Baader
Publisher : Springer Science & Business Media
Page : 517 pages
File Size : 54,7 Mb
Release : 2003-07-16
Category : Computers
ISBN : 9783540405597

Get Book

Automated Deduction - CADE-19 by Franz Baader Pdf

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

Author : Jörg Müller,Munindar P. Singh,Anand S. Rao
Publisher : Springer
Page : 464 pages
File Size : 43,8 Mb
Release : 2007-04-29
Category : Computers
ISBN : 9783540490579

Get Book

Intelligent Agents V: Agents Theories, Architectures, and Languages by Jörg Müller,Munindar P. Singh,Anand S. Rao Pdf

The leading edge of computer science research is notoriously ?ckle. New trends come and go with alarming and unfailing regularity. In such a rapidly changing ?eld, the fact that research interest in a subject lasts more than a year is worthy of note. The fact that, after ?ve years, interest not only remains, but actually continues to grow is highly unusual. As 1998 marked the ?fth birthday of the International Workshop on Agent Theories, Architectures, and Languages (ATAL), it seemed appropriate for the organizers of the original workshop to comment on this remarkable growth, and re ect on how the ?eld has developed and matured. The ?rst ATAL workshop was co-located with the Eleventh European Conference on Arti?cial Intelligence (ECAI-94), which was held in Amsterdam. The fact that we chose an AI conference to co-locate with is telling: at that time, we expected most researchers with an interest in agents to come from the AI community. The workshop, whichwasplannedoverthesummerof1993,attracted32submissions,andwasattended by 55 people.ATAL was the largest workshop at ECAI-94, and the clear enthusiasm on behalfofthecommunitymadethedecisiontoholdanotherATALworkshopsimple.The ATAL-94proceedingswereformallypublishedinJanuary1995underthetitleIntelligent Agents, and included an extensive review article, a glossary, a list of key agent systems, and — unusually for the proceedings of an academic workshop — a full subject index. Thehighscienti?candproductionvaluesembodiedbytheATAL-94proceedingsappear to have been recognized by the community, and resulted inATAL proceedings being the most successful sequence of books published in Springer-Verlag s Lecture Notes in Arti?cial Intelligence series.

Author : Scott J. Shapiro,Scott Shapiro
Publisher : Harvard University Press
Page : 483 pages
File Size : 52,7 Mb
Release : 2011
Category : Law
ISBN : 9780674055667

Get Book

Legality by Scott J. Shapiro,Scott Shapiro Pdf

Legality is a profound work in analytical jurisprudence, the branch of legal philosophy which deals with metaphysical questions about the law. In the twentieth century, there have been two major approaches to the nature of law. The first and most prominent is legal positivism, which draws a sharp distinction between law as it is and law as it might be or ought to be. The second are theories that view law as embedded in a moral framework. Scott Shapiro is a positivist, but one who tries to bridge the differences between the two approaches. In Legality, he shows how law can be thought of as a set of plans to achieve complex human goals. His new "planning" theory of law is a way to solve the "possibility problem", which is the problem of how law can be authoritative without referring to higher laws.