Download or read book Explicit Representation of Events Actions and Plans for Assumption based Plan Reasoning written by University of Rochester. Dept. of Computer Science and published by . This book was released on 1992 with total page 49 pages. Available in PDF, EPUB and Kindle. Book excerpt: A preliminary implementation of these ideas has already been built as the plan reasoning component of the TRAINS system."
Download or read book Spatial and Temporal Reasoning written by O. Stock and published by Springer Science & Business Media. This book was released on 2007-07-27 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Domain Level Reasoning for Spoken Dialogue Systems written by Dirk Bühler and published by Springer Science & Business Media. This book was released on 2011-04-07 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: Reasoning for Information: Seeking and Planning Dialogues provides a logic-based reasoning component for spoken language dialogue systems. This component, called Problem Assistant is responsible for processing constraints on a possible solution obtained from various sources, namely user and the system's domain-specific information. The authors also present findings on the implementation of a dialogue management interface to the Problem Assistant. The dialogue system supports simple mixed-initiative planning interactions in the TRAINS domain, which is still a relatively complex domain involving a number of logical constraints and relations forming the basis for the collaborative problem-solving behavior that drives the dialogue.
Download or read book Situation Theory and Its Applications Volume 3 written by Robin Cooper and published by Center for the Study of Language (CSLI). This book was released on 1990 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science and AI, linguistics, logic, philosophy, and mathematics, it aims to provide a common set of tools for the analysis of phenomena from all these fields. Unlike Shannon-Weaver type theories of information, which are purely quantitative theories, situation theory aims at providing tools for the analysis of the specific content of a situation (signal, message, data base, statement, or other information-carrying situation). The question addressed is not how much information is carried, but what information is carried.
Download or read book Principles of Knowledge Representation and Reasoning written by James Allen and published by Morgan Kaufmann. This book was released on 1991 with total page 628 pages. Available in PDF, EPUB and Kindle. Book excerpt: The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logical specifications of reasoning behaviors and representation formalisms, comparative analysis of competing algorithms and formalisms, and ana
Download or read book Reasoning About Actions Plans written by Michael P. Georgeff and published by Elsevier. This book was released on 2012-12-02 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Reasoning About Plans written by James Allen and published by Morgan Kaufmann. This book was released on 2014-06-28 with total page 317 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book ARPA Rome Laboratory Knowledge based Planning and Scheduling Initiative Workshop Proceedings Tuscon Arizona February 21 24 1994 written by and published by Morgan Kaufmann. This book was released on 1994 with total page 558 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault tolerant Reasoning written by Raymundo Morado and published by . This book was released on 1994 with total page 820 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Knowledge Representation and Reasoning written by Ronald Brachman and published by Elsevier. This book was released on 2004-06-17 with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt: Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lucid and compelling way. Each of the various styles of representation is presented in a simple and intuitive form, and the basics of reasoning with that representation are explained in detail. This approach gives readers a solid foundation for understanding the more advanced work found in the research literature. The presentation is clear enough to be accessible to a broad audience, including researchers and practitioners in database management, information retrieval, and object-oriented systems as well as artificial intelligence. This book provides the foundation in knowledge representation and reasoning that every AI practitioner needs. Authors are well-recognized experts in the field who have applied the techniques to real-world problems Presents the core ideas of KR&R in a simple straight forward approach, independent of the quirks of research systems Offers the first true synthesis of the field in over a decade
Download or read book Decentralized A I 2 written by Y. Demazeau and published by Elsevier. This book was released on 1991-12-04 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: The purpose of this proceedings is to stimulate exchange and discussion of research in the field of multi-agent systems. A multi-agent system consists of at least two agents that are engaged in some task that may require coordination, cooperation and/or competition. An autonomous agent has its own goals, capabilities and knowledge. The actions of an agent occur in the context of other agents that may have structures and strategies different from the agent's own. Multi-agent problems arise when several autonomous agents share a common environment. These problems may result from limited resources, shared or competing goals, etc. This MAAMAW workshop proceedings emphasizes multi-agent systems of all sorts from very simple to very complex agents and agent organizations.
Download or read book Computer Vision written by Anup Basu and published by World Scientific. This book was released on 1993 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains a selection of papers which were presented at the Vision Interface '92 Conference. It also includes several invited articles from prominent researchers in the field, suggesting future directions in Computer Vision.
Download or read book Reasoning About Plans written by James Allen and published by Morgan Kaufmann. This book was released on 1991-07 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Computational Theories of Interaction and Agency written by Philip Agre and published by MIT Press. This book was released on 1996 with total page 794 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over time the field of artificial intelligence has developed an "agent perspective" expanding its focus from thought to action, from search spaces to physical environments, and from problem-solving to long-term activity. Originally published as a special double volume of the journal Artificial Intelligence, this book brings together fundamental work by the top researchers in artificial intelligence, neural networks, computer science, robotics, and cognitive science on the themes of interaction and agency. It identifies recurring themes and outlines a methodology of the concept of "agency." The seventeen contributions cover the construction of principled characterizations of interactions between agents and their environments, as well as the use of these characterizations to guide analysis of existing agents and the synthesis of artificial agents.Artificial Intelligence series.Special Issues of Artificial Intelligence
Download or read book Principles of Knowledge Representation and Reasoning written by Anthony G. Cohn and published by Morgan Kaufmann. This book was released on 1998 with total page 680 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Innovative Approaches to Planning Scheduling and Control written by Katia P. Sycara and published by Morgan Kaufmann. This book was released on 1990 with total page 532 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Readings in Distributed Artificial Intelligence written by Alan H. Bond and published by Morgan Kaufmann. This book was released on 2014-06-05 with total page 668 pages. Available in PDF, EPUB and Kindle. Book excerpt: Most artificial intelligence research investigates intelligent behavior for a single agent--solving problems heuristically, understanding natural language, and so on. Distributed Artificial Intelligence (DAI) is concerned with coordinated intelligent behavior: intelligent agents coordinating their knowledge, skills, and plans to act or solve problems, working toward a single goal, or toward separate, individual goals that interact. DAI provides intellectual insights about organization, interaction, and problem solving among intelligent agents. This comprehensive collection of articles shows the breadth and depth of DAI research. The selected information is relevant to emerging DAI technologies as well as to practical problems in artificial intelligence, distributed computing systems, and human-computer interaction. "Readings in Distributed Artificial Intelligence" proposes a framework for understanding the problems and possibilities of DAI. It divides the study into three realms: the natural systems approach (emulating strategies and representations people use to coordinate their activities), the engineering/science perspective (building automated, coordinated problem solvers for specific applications), and a third, hybrid approach that is useful in analyzing and developing mixed collections of machines and human agents working together. The editors introduce the volume with an important survey of the motivations, research, and results of work in DAI. This historical and conceptual overview combines with chapter introductions to guide the reader through this fascinating field. A unique and extensive bibliography is also provided.