Spatial and Temporal Reasoning

  • Oliviero┬áStock

Table of contents

  1. Front Matter
    Pages i-xix
  2. Overview

  3. Spatial Representation and Reasoning

    1. Front Matter
      Pages 71-71
    2. Roberto Casati, Achille C. Varzi
      Pages 73-96
    3. Anthony G. Cohn, Brandon Bennett, John Gooday, Nicholas M. Gotts
      Pages 97-134
    4. Annette Herskovits
      Pages 155-202
  4. Temporal Reasoning

    1. Front Matter
      Pages 203-203
    2. James F. Allen, George Ferguson
      Pages 205-245
    3. Drew McDermott
      Pages 247-287
  5. Between Space and Time

    1. Front Matter
      Pages 319-319
    2. Antony Galton
      Pages 321-352
  6. Back Matter
    Pages 353-394

About this book

Introduction

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.

Keywords

Index Tempora aspect future present semantics subject

Editors and affiliations

  • Oliviero┬áStock
    • 1
  1. 1.Istituto per la Ricerca Scientifica e Tecnologica (IRST)Povo (Trento)Italy

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-585-28322-7
  • Copyright Information Springer Science+Business Media B.V. 1997
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-7923-4716-3
  • Online ISBN 978-0-585-28322-7
  • About this book
Industry Sectors
Biotechnology