Abstract
An immediate problem in approaching GIS (Geographic Information Systems) consists in giving a sufficiently agreed definition of what GIS actually are. For present purposes it seems reasonable to consider GIS as being characterized by a twofold nature. On the one hand, GIS consist of a technology used for certain purposes. From this perspective, the crucial issues in GIS research amount to computing problems, both on the hardware and software level. On the other hand, however, GIS research is increasingly more focussed on theoretical issues concerning the representation of geographic information. According to the latter point of view GIS problems include, at the very least, issues of knowledge representation and reasoning. In this chapter we investigate some of the consequences deriving from approaching GIS from the latter point of view. In particular, we will be insisting on the fact that its s‘conceptual side’, so to speak, commits GIS research to achieving scientific goals which happen to be closely related to some of those pursued in Artificial Intelligence (AI) research.3 In doing so, we adopt a perspective according to which GIS are essentially construed as artificial intelligent agents reasoning about a certain classes of natural environments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Spirit: Symmetrical probabilistic intensional reasoning in inference networks in transition. http://www.fernuni-hagen.de/BWLOR/spirithome.html.
J. Aerts, M.F. Goodchild, and G.B. M. Heuvelink. Accounting for spatial uncertainty in optimization with spatial decision support systems. Transactions in GIS, 7(2):211–230, 2003.
A. D. C. Bennett, Jeff B. Paris, and Alena Vencovská. A new criterion for comparing fuzzy logics for uncertain reasoning. Journal of Logic, Language and Information, 9(1):31–63, 2000.
A. Bochman. A Logical Theory of Nonmonotonic Inference and Belief Change, Springer, 2001.
P. A. Burrough. Principles of Geographical Information Systems for Land Resources Assessment, Oxford, 1988.
P. A. Burrough and R. A. Mcdonnel. Principles of Geographical Information Systems, Oxford University Press, 1998.
T. Ceccarelli, D. Centeno, F. Giannotti, A. Massolo, C. Parent, A. Raffaetà, C. Renso, S. Spaccapietra, and F. Turini. Experimenting advanced spatio-temporal formalisms: an application to behavioural ecology. Geoinformatica. page to appear.
N. Chrisman. Exploring Geographic Information Systems. John Wiley and Sons, 1997.
K. C. Clarke. Analytical and Computer Cartography. Prentice-Hall, Englewood Cliffs, NJ., second edition edition, 1995.
E. Couclelis. The certainty of uncertainty: GIS and the limits of geographic knowledge. Transactions in GIS, 7(2): 165–175, 2003.
J. Dix, U. Furbach, and I. Niemelä. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. In A. Voronkov and A. Robinson, editors, Handbook of Automated Reasoning, volume 2, chapter 18, pages 1121–1234. Elsevier-Science-Press, 2001.
Didier Dubois and Henri Prade. Possibility theory: Qualitative and quantitative aspects. In Dov M. Gabbay and Philippe Smets, editors, Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 1. pages 169–226. Kluwer Academic Publishers, Dordrecht, 1998.
M. Duckham, K. Mason, J. Stell, and M. Worboys. A formal ontological approach to imperfection in geographic iinformation. In Proceedings GISRUK 2000, 2000.
M. Duckham and M. Worboys. GIS: A Computing Perspective — Second Edition. CRC Press, 2004.
K.J. Duecker. Land resource information systems: a review of fifteen years experience. Geo-processing, 1:105–128, 1979.
M.J. Egenhofer and D.M. Mark. Naïve geography. In Proceedings of COSIT 95, volume 988 of Lecture Notes in Computer Science, pages 1–15. Springer, 1995.
N. Friedman and J. Halpern. Plausibility measures and default reasoning. Journal of the ACM, 48(4):648–685, 2001.
D. M. Gabbay. Theoretical foundations for non-monotonic reasoning in expert systems. In Proceedings NATO Advanced Institute on Logics and Models of Cuncurrent Systems, pages 439–457, Berlin, 1985. Springer.
D. M. Gabbay, C. Hogger, and J. Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, 1994.
D. M. Gabbay and J. Woods. Agenda Relevance: A Study in Formal Pragmatics. North-Holland, 2003.
S. Grumbach, P. Rigaux, M. Scholl, and L. Segoufin. DEDALE, a spatial constraint database. In Proc. of Intl. Workshop on Database programming Languages, volume 1369 of Lecture Notes in Computer Science, pages 38–59, 1998.
P. Hájek. Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht, 1998.
P. Hájek. Ten questions and one problem on fuzzy logic. Annals of Pure and Applied Logic, 96(1–3):157–165, 1999.
Hill and Paris. When maximizing entropy gives the rational closure. JLC: Journal of Logic and Computation, 13, 2003.
H. Hosni, M. V. Masserotti, and C. Renso. Imperfect information management in geographic information systems. Internal report, ISTI-CNR, Pisa, 2004.
Colin Howson. The Bayesian approach. In Dov M. Gabbay and Philippe Smets, editors, Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 1: Quantified Representation of Uncertainty and Imprecision, pages 111–134. Kluwer Academic Publishers, Dordrecht, 1998.
A. N. Huhns and M. P. Singh. Readings in Agents. Morgan Kaufman Publishers Inc., 1998.
Jaynes. Probability Theory: The Logic of Science. Cambridge University Press, 2003.
E. T. Jaynes. The relation of Bayesian and Maximum Entropy methods. In G.J. Erickson and C.R. Smith, editors, Maximum-Entropy and Bayesian Methods in Science and Engineering, volume 1. Kluwer, Dordrecht, 1988.
G. Kern-Isberner and T. Lukasiewicz. Combining probabilistic logic programming with the power of maximum entropy. Technical Report 1843-02-12, Institut für Informationssysteme, TUW, Wien, 2002.
Gabriele Kern-Isberner. Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents, volume 2087 of Lecture Notes in Computer Science. Springer, 2001.
S. Kraus, D. J. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics, ai, 44:167–207, 1990.
D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55(1):1–60, 1992.
T. Lukasiewicz and G. Kern-Isberner. Probabilistic logic programming under maximum entropy. In Anthony Hunter and Simon Parsons, editors, Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99), volume 1638 of LNAI, pages 279–292, Berlin, July 5–9 1999. Springer.
D. Makinson. General patterns in nonmonotonic reasoning. In C. Gabbay, D. M. Hogger and J. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, pages 35–110. Oxford University Press, 1994.
P. Mancarella, A. Raffaetà, C. Renso, and F. Turini. Integrating knowledge representation and reasoning in geographical information systems. Journal of Geographical Information Science, 18(4):417–446, 2004.
J. McCarthy. From here to human-level AI. In L. Carlucci Aiello, J. Doyle, and S. Shapiro, editors, Fifth Int. Conf. on Principles of Knowledge Representation and Reasoning, pages 640–646. Morgan Kaufmann, 1996.
C. Meyer and W. Rödder. Coherent knowledge processing at maximum entropy by SPIRIT. In Proceedings of the 12th conference on Uncertainty in Artificial Intelligence, pages 470–476, Portland, Oregon, USA, 1996.
J. B. Paris. The Uncertain Reasoner’s Companion: A Mathematical Perspective. Cambridge University Press, Cambridge, England, 1994.
J. B. Paris. Common sense and maximum entropy. Synthese, 117 (1):75–93, 1999.
J. B. Paris and A. Vencovshá. In defense of the maximum entropy inference process. International Journal of Approximate Reasoning, 17:77–103, 1997.
J. B. Paris and A. Vencovská. In defence of the maximum entropy inference process. In D. Corfield and J. Williamson, editors, Foundations of Bayesianism, pages 203–240. Kluwer Academic Press, 2001.
J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, Los Altos, California, 1988.
F. E. Petry, V. B. Robinson, and M. A. Cobb. Fuzzy Modeling with Spatial Information for Geographic Problems. Springer-Verlag, New York, 2005.
David Plaisted and Adnan Yahya. A relevance restriction strategy for automated deduction. Artificial Intelligence, 144(l–2):59–93, 2003.
A. Raffaeta, C. Renso, and F. Turini. Qualitative spatial reasoning in a logical framework. In Convegno Nazionale di Intelligenza artificiale, September 2003.
R. Reiter. On closed world databases. In Gallaire and Minker, editors, Logic and Databases, pages 55–76. Plenum Press, New York, 1978.
R. Reiter. A logic for default reasoning. AI, 13:81–132, 1980.
Wilhelm Rödder. On the measurability of knowledge acquisition, query processing. Int. J. Approx. Reasoning, 33(2):203–218, 2003.
H. Rott. Change, Choice and Inference : A Study of Belief Revision and Nonmonotonic Reasoning. Oxford University Press, 2001.
C.E. Shannon and W. Weaver. The mathematical theory of communication. Technical report, University of Illinois Press, Urbana, Illinois, 1964.
P. Walley. Statistical reasoning with Imprecise Probabilities. Chapman and Hall, London, 1991.
Peter Walley. Measures of uncertainty in expert systems. Artif. Intell, 83(l):l–58, 1996.
M. Wooldridge. An Introduction to MultiAgent Systems. Wiley, Chichester, 2002.
Michael F. Worboys. Nearness relations in environmental space. International Journal of Geographical Information Science, 15(7):633–651, 2001.
L.A. Zadeh. Fuzzy sets. Information and Control, 8:338–353, 1965.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Hosni, H., Masserotti, M.V., Renso, C. (2006). Maximum Entropy Inference for Geographical Information Systems. In: Bordogna, G., Psaila, G. (eds) Flexible Databases Supporting Imprecision and Uncertainty. Studies in Fuzziness and Soft Computing, vol 203. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-33289-8_11
Download citation
DOI: https://doi.org/10.1007/3-540-33289-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33288-6
Online ISBN: 978-3-540-33289-3
eBook Packages: EngineeringEngineering (R0)