Abstract
2nd Order Many-Sorted Language is presented here as an algebraic structure and, as such, yields an adequate tool for formalizing an extension of Peano Algebra for spatial object modeling, spatial data base information retrieval and manipulation, and also for map analysis. Here we will demonstrate that this tool provides a unified treatment for several classes of operations realized among maps, including those presented in Boolean Logic Models, Fuzzy Logic Models and Bayesian Probability Models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Enderton, Herbert. B. A Mathematical Introduction to Logic, Academic Press, 1972..
Prawitz, D. Ideas and Results in Proof Theory.
Prawitz, D. Natural Deduction: A Proof-Theoretical Study. Almqvist & Wirksell Editors. Upsalla, 1965.
Pearl, J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann Publishers Inc., San Mateo, California, 1998.
Zariski, O. & Samuel, P. Commutative Algebra, vol I, 1967, D. Van Nostrand Company, Inc.
Robert Laurini and Derek Thompson. Fundamentals of Spatial Information Systems. Academic Press Inc, 1992.
Martien Molenaar. An Introduction to the Theory of Spatial Object Modelling for GIS. Taylor and Francis Ltd., 1998.
Graeme F. Bonham Carter. Geographic Information Systems for Geoscientists: Modelling with GIS. Pergamon Press. 1994.
Peter A. Burrough and Rachael A, McDonnell. Principals of Geographical Information Systems. Oxford University Press, 1998.
Elmasri R., Navathe, S.B. Fundamentals of Database Systems, Redwood City: Benjamin/Cummings, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Farias, O.L.M., Mendes, S.B.T. (2002). A Unified Approach for Spatial Object Modelling and Map Analysis Based on 2nd Order Many-Sorted Language. In: Hendtlass, T., Ali, M. (eds) Developments in Applied Artificial Intelligence. IEA/AIE 2002. Lecture Notes in Computer Science(), vol 2358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48035-8_62
Download citation
DOI: https://doi.org/10.1007/3-540-48035-8_62
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43781-9
Online ISBN: 978-3-540-48035-8
eBook Packages: Springer Book Archive