Reasoning about actions and plans [recurso electrónico] proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon

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. Content: Front Matter , Page i Copyright , Page ii FOREWORD , Pages v-vi , Michael P. Georgeff, Amy L. Lansky ON THE SEMANTICS OF STRIPS , Pages 1-9 , Vladimir Lifschitz A THEORY OF PLANS , Pages 11-45 , Zohar Manna, Richard Waldinger FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , Pages 47-82 , Edwin P.D. Pednault What is the frame problem? , Pages 83-98 , Yoav Shoham ACTIONS, PROCESSES, AND CAUSALITY , Pages 99-122 , Michael P. Georgeff A REPRESENTATION OF PARALLEL ACTIVITY BASED ON EVENTS, STRUCTURE, AND CAUSALITY , Pages 123-159 , Amy L. Lansky BRANCHING REGULAR EXPRESSIONS AND MULTI-AGENT PLANS , Pages 161-187 , Christopher J. Stuart A representation of action and belief for automatic planning systems , Pages 189-211 , Mark E. Drummond Possible Worlds Planning , Pages 213-243 , Matthew L. Ginsberg INTRACTABILITY AND TIME-DEPENDENT PLANNING , Pages 245-266 , Thomas L. Dean Goal Structure, Holding Periods and “Clouds” , Pages 267-277 , Austin Tate A MODEL OF PLAN INFERENCE THAT DISTINGUISHES BETWEEN THE BELIEFS OF ACTORS AND OBSERVERS , Pages 279-295 , Martha E. Pollack Persistence, Intention, and Commitment , Pages 297-340 , Philip R. Cohen, Hector J. Levesque THE CONTEXT-SENSITIVITY OF BELIEF AND DESIRE , Pages 341-360 , Richmond Thomason II. THE DOXASTIC THEORY OF INTENTION , Pages 361-393 , J. David Velleman AN ARCHITECTURE FOR INTELLIGENT REACTIVE SYSTEMS , Pages 395-410 , Leslie Pack Kaelbling ABSTRACT REASONING AS EMERGENT FROM CONCRETE ACTIVITY , Pages 411-424 , David Chapman, Philip E. Agre AUTHOR INDEX , Page 425