Reasoning About Actions & Plans PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Reasoning About Actions & Plans PDF full book. Access full book title Reasoning About Actions & Plans by Michael P. Georgeff. Download full books in PDF and EPUB format.
Author: Michael P. Georgeff
Publisher: Elsevier
ISBN: 0323141722
Category : Computers
Languages : en
Pages : 432
Get Book Here
Book Description
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: Michael P. Georgeff
Publisher: Elsevier
ISBN: 0323141722
Category : Computers
Languages : en
Pages : 432
Get Book Here
Book Description
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:
Publisher:
ISBN:
Category :
Languages : en
Pages : 425
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 425
Get Book Here
Book Description
Author: Huaming Li
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: James Allen
Publisher: Morgan Kaufmann
ISBN: 1483295966
Category : Computers
Languages : en
Pages : 317
Get Book Here
Book Description
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 Wooldridge
Publisher: Springer Science & Business Media
ISBN: 9401592047
Category : Philosophy
Languages : en
Pages : 303
Get Book Here
Book Description
This volume represents an advanced, comprehensive state-of-the-art survey of the field of rational agency as it stands today. It covers the philosophical foundations of rational agency, logical and decision-theoretic approaches to rational agency, multi-agent aspects of rational agency and a number of approaches to programming rational agents. It will be of interest to researchers in logic, mainstream computer science, the philosophy of rational action and agency, and economics.
Author: University of Rochester. Dept. of Computer Science
Publisher:
ISBN:
Category : Knowledge representation (Information theory)
Languages : en
Pages : 49
Get Book Here
Book Description
A preliminary implementation of these ideas has already been built as the plan reasoning component of the TRAINS system."
Author: Tiago de Lima
Publisher:
ISBN:
Category :
Languages : en
Pages : 132
Get Book Here
Book Description
This work presents a solution to the inferential frame problem. We do so by providing a polynomial reduction from a fragment of situation calculus to espistemic dynamic logic (DEL). Then, a novel proof method for DEL, such that the computational complexity is much lower than that of Retier's proof method for situation caluculs, is proposed. This work also presents a new logic for reasoning about actions. This logic allows to formally express that "there exists a sequence of actions that leads to the goal". The idea is that, with quantification over actions, planning can become a validity problem. An axiomatisation and some expressivity results are provided, as well as a proof method based on sematic tableaux.
Author: Nils J. Nilsson
Publisher: Springer Science & Business Media
ISBN: 9783540113409
Category : Computers
Languages : en
Pages : 504
Get Book Here
Book Description
Previous treatments of Artificial Intelligence (AI) divide the subject into its major areas of application, namely, natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, intelligent data retrieval systems, etc. The major difficulty with this approach is that these application areas are now so extensive, that each could, at best, be only superficially treated in a book of this length. Instead, I have attempted here to describe fundamental AI ideas that underlie many of these applications. My organization of these ideas is not, then, based on the subject matter of their application, but is, instead, based on general computational concepts involving the kinds of data structures used, the types of operations performed on these data struc tures, and the properties of con'trol strategies used by AI systems. I stress, in particular, the important roles played in AI by generalized production systems and the predicate calculus. The notes on which the book is based evolved in courses and seminars at Stanford University and at the University of Massachusetts at Amherst. Although certain topics treated in my previous book, Problem solving Methods in Artificial Intelligence, are covered here as well, this book contains many additional topics such as rule-based systems, robot problem-solving systems, and structured-object representations.
Author: James Allen
Publisher: Morgan Kaufmann
ISBN:
Category : Computers
Languages : en
Pages : 328
Get Book Here
Book Description
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.