Abstract
Spatial knowledge is rarely introduced in knowledge based systems while those systems are able to reason in space. This paper presents a definition of spatial reasoning with a classification of spatial knowledge and describes several properties and needs of spatial reasoning. Two examples of applications concerning symbolic simulation and geographic information data management are surveyed. Object centered representation systems which are well adapted to spatial knowledge are presented.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
L. Buisson "Le raisonnement spatial dans les systèmes à bases de connaissances. Une application: l'analyse de sites avalancheux" Rapport de DEA Informatique, INPG, june 1987.
L. Buisson, C. Charlier "Avalanche starting zone analysis with a knowledge-based system" International Glaciological Society, Symposium on snow and glacier research relating to human living conditions, Lom, Norway, september 1988.
J. Chailloux "Le_Lisp 15.2: Manuel de référence". Rapport technique, INRIA, 1986.
R. Davis "Diagnostic Reasoning Based on Structure and Behavior" Artificial Intelligence, 24, pp. 347–410, 1984.
J. Doyle "A truth maintenance system" Artificial intelligence 12-III, pp. 231–272, 1979
J. Euzenat, F. Rechenmann "Maintenance de la vérité dans les systèmes à base de connaissance centrée-objet" 6ème congrès RFIA, Antibes, november 1987.
K. D. Forbus "Qualitative Reasoning About Space and Motion" in D. Gentner, A.L. Stevens Eds, "Mental models", Lawrence Erlbaum, London, 1983, pp. 53–73.
R. Frost "Introduction to knowledge base systems" Collins, London, 1986.
G. Huet, D. Vincent "ROSACE, un outil de représentation de connaissances sous forme d'objets et d'actions; notice de présentation et d'utilisation" CNET, october 1984.
Société ILOG "SMECI; manuels d'utilisation et de référence" Gentilly, 1988.
Société ILOG "AIDA; manuels d'utilisation et de référence". Gentilly, 1988.
F. Ingrand "Inférence de formes à partir de fonctions. Application à la conception de montages d'usinage." Thèse de l'Institut National Polytechnique de Grenoble, Grenoble, february 1987.
S. M. Kosslyn "Descriptions and Depictions" TR-1275, DCS, University of Maryland, may 1983.
B. J. Kuipers "Modeling spatial knowledge" Cognitive Science, 2, 1978, pp. 129–153.
K. Lynch "The image of the city". Cambridge, Mass. MIT Press 1960.
R. Martin-Clouaire "Un système expert capable de raisonnement spatial: l'approache ELFIN développée pour un problème de géologie pétrolière" RFIA, Grenoble, november 1985.
D. V. McDermott, E. Davis "Planning Routes through Uncertain Territory" Artificial Intelligence, 22, no2, march 1984, pp. 107–156.
J. Piaget, B. Inhelder "La représentation de l'espace chez l'enfant" Presses Universitaires de France, Paris, 1947.
F.Rechenmann, P. Fontanille, P. Uvietta "Shirka: manuel d'utilisation" Technical report, lab. Artemis, 1989.
S. N. Srihari "Spatial knowledge representation: a tutorial" 7th international workshop on Expert Systems and their applications, Avignon may 1987.
C. Williams ART: The advanced reasoning tool, conceptual overview Inference corporation, Los Angeles, CA, 1984.
J. M. Wright, M. S. Fox "SRL/1.5 User manual" CMU Robotics Institute, Pittsburgh, december 1983.
Z. Xiang, S. N. Srihari "Spatial structure and function representation in diagnostic expert systems" 5th international workshop on Expert Systems and their applications, Avignon, may 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Buisson, L. (1990). Reasoning on space with object-centered knowledge representations. In: Buchmann, A.P., Günther, O., Smith, T.R., Wang, YF. (eds) Design and Implementation of Large Spatial Databases. SSD 1989. Lecture Notes in Computer Science, vol 409. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52208-5_35
Download citation
DOI: https://doi.org/10.1007/3-540-52208-5_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52208-9
Online ISBN: 978-3-540-46924-7
eBook Packages: Springer Book Archive