Spatial and Temporal Reasoning

Capa
O. Stock
Springer Science & Business Media, 27/07/2007 - 394 páginas
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.
 

Opinião das pessoas - Escrever uma crítica

Não foram encontradas quaisquer críticas nos locais habituais.

Páginas seleccionadas

Índice

IV
4
V
5
VII
7
VIII
17
IX
33
X
39
XI
41
XII
43
XLIX
149
L
150
LI
151
LII
155
LIV
160
LV
168
LVI
182
LVII
193

XIV
44
XV
45
XVI
48
XVII
53
XVIII
58
XIX
67
XX
72
XXI
73
XXIII
75
XXIV
76
XXV
78
XXVI
81
XXVII
83
XXVIII
86
XXIX
88
XXX
90
XXXI
95
XXXII
97
XXXIV
102
XXXV
108
XXXVI
111
XXXVII
114
XXXVIII
120
XXXIX
123
XL
125
XLI
131
XLII
135
XLIII
136
XLIV
141
XLV
143
XLVI
145
XLVII
146
XLVIII
147
LVIII
200
LIX
204
LX
205
LXII
207
LXIII
211
LXIV
225
LXV
233
LXVI
242
LXVII
243
LXVIII
247
LXX
249
LXXI
274
LXXII
282
LXXIII
285
LXXIV
289
LXXVI
293
LXXVII
296
LXXVIII
300
LXXIX
304
LXXX
306
LXXXI
310
LXXXII
315
LXXXIII
317
LXXXIV
319
LXXXV
321
LXXXVII
326
LXXXVIII
330
LXXXIX
340
XC
345
XCI
352
XCII
353
XCIII
356
Direitos de autor

Outras edições - Ver tudo

Palavras e frases frequentes

Passagens conhecidas

Página 13 - ... the union of any number of open sets is an open set, the intersection of a finite number of open sets is an open set.
Página 361 - Auton. Experimental results on the crossover point in satisfiability problems. In Proceedings of the Eleventh National Conference on Artificial Intelligence (Washington, DC, AAAI'1993), pages 21-27, 1993.

Acerca do autor (2007)

Oliviero Stock is the Head of the Cognitive and Communication Technologies Division at the Istituto per la Ricerca Scientifica e Tecnologica (IRST) in Trento, Italy. His main research activities are artificial intelligence, natural language processing, intelligent interfaces and human-computer interaction. He has been the President of the Italian Association for Artificial Intelligence and the Association for Computational Linguistics, and the Chairman of the European coordinating committee for Artificial Intelligence.

Informação bibliográfica