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 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 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 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 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 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 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 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 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.
Download or read book Web Reasoning and Rule Systems written by Axel Polleres and published by Springer Science & Business Media. This book was released on 2009-10-15 with total page 279 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Third International Conference on Web Reasoning and Rule Systems, RR 2009, held in Chantilly, VA, USA, in October 2009. The 15 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 41 submissions. The papers address all current topics in Web reasoning and rule systems such as proof/deduction procedures, scalability, uncertainty, knowledge amalgamation and querying, and rules for decision support and production systems.
Download or read book The Frame Problem in Artificial Intelligence written by Frank M. Brown and published by Morgan Kaufmann. This book was released on 2014-05-12 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop focuses on the approaches, principles, and concepts related to the frame problem in artificial intelligence (AI). The selection first tackles the definition of the frame problem, circumscription approaches and criticisms, modal logic approaches, and syntactic consistency approaches. The text then takes a look at two frame problems, frame problem in AI, and the frame problem in AI histories, including frame problem defined, mathematical frame problem, commonsense frame problem, and the problems of qualification and extended prediction and their relation to the frame problem. The publication examines tense-logic-based mitigation of the frame problem, unframing the frame problem, a truth maintenance based approach to the frame problem, and qualification problem. Topics include possible worlds, qualification and possible worlds, epistemological issues, truth maintenance, contradiction handling, application of intensional logic, development and implementation of chronolog, and approaches to solving the frame problem. The selection is a dependable source of data for researchers interested in the frame problem.
Download or read book Principles of Knowledge Representation and Reasoning written by Luigia Carlucci Aiello and published by Morgan Kaufmann. This book was released on 1996 with total page 696 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Methods and Applications of Artificial Intelligence written by Ioannis P. Vlahavas and published by Springer. This book was released on 2003-08-03 with total page 527 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence, SETN 2002, held in Thessaloniki, Greece, in April 2002. The 42 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on knowledge representation and reasoning, logic programming and constraint satisfaction, planning and scheduling, natural language processing, human-computer interaction, machine learning, intelligent Internet and multiagent systems, and intelligent applications.
