Abstract
Rough mereology is a paradigm allowing to blend main ideas of two potent paradigms for approximate reasoning: fuzzy set theory and rough set theory. Essential ideas of rough mereology and schemes for approximate reasoning in distributed systems based on rough mereological logic were presented in [13,14,17]. Spatial reasoning is an extensively studied paradigm stretching from theoretical investigations of proper languages and models for this reasoning to applicational studies concerned with e.g. geographic data bases, satellite image analyses, geodesy applications etc. We propose a rough mereological environment for spatial reasoning under uncertainty. We confront our context with an alternatively studied mereological context defined within Calculus of Individuals [10] by Clarke [5] and developed into schemes for spatial reasoning in [2,3] where the reader will find examples of linguistic interpretation. We outline how to define in the rough mereological domain the topological and geometrical structures which are fundamental for spatial reasoning; we show that rough mereology allows for introducing notions studied earlier in other mereological theories [2,3,5]. This note sums up a first step toward our synthesis of intelligent control algorithms useful in mobile robotics [1,7,8].
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
Arkin, R.C.: Behaviour Based Robotics. MIT Press, Cambridge (1998)
Asher, N., Vieu, L.: Toward a geometry of commonsense: a semantics and a complete axiomatization of mereotopology. In: Proceedings IJCAI 1995, Montreal, pp. 846–852 (1995)
Aurnague, M., Vieu, L.: A theory of space for natural language semantics. In: Korta, K., Larrazábal, J.M. (eds.) Semantics and Pragmatics of Natural Language: Logical and Computational Aspects, San Sebastian, pp. 69–126 (1995)
van Benthem, J.: The Logic of Time. Reidel, Dordrechtz (1983)
Clarke, B.: A calculus of individuals based on "connection". Notre Dame Journal of Formal Logic 22(3), 204–218 (1981)
Clay, R.: Relation of Leśniewski’s mereology to boolean algebra. The Journal of Symbolic Logic 39(4), 638–648 (1974)
Dorigo, M., Colombetti, M.: Robot Shaping. An Experiment in Behavior Engineering. MIT Press, Cambridge (1998)
Kortenkamp, D., Bonasso, R.P., Murphy, R.: Artificial Intelligence and Mobile Robotics. AAAI Press/MIT Press (1998)
Lejewski, C.: On Leśniewski’s ontology. Ratio 1(2), 15–176 (1958)
Leonard, H., Goodman, N.: The calculus of individuals and its uses. The Journal of Symbolic Logic 5, 45–55 (1940)
Leśniewski, S.: O podstawach matematyki (On the foundations of Mathematics, in Polish). Przeglad Filozoficzny 30, 164–206 (1927); 31, 261–291 (1928); 32, 60–101(1929); 33, 77–105 (1930); 34, 142–170 (1931)
Pawlak, Z., Skowron, A.: Rough membership functions. In: Yaeger, R.R., Fedrizzi, M., Kacprzyk, J. (eds.) Advances in the Dempster - Shafer Theory of Evidence, pp. 251–271. John Wiley and S., New York (1994)
Polkowski, L., Skowron, A.: ISMIS 1994. LNCS (LNAI), vol. 869, pp. 85–94. Springer, Heidelberg (1994)
Polkowski, L., Skowron, A.: Rough mereology: a new paradigm for approximate reasoning. Intern. J. Approx. Reasoning 15(4), 333–365 (1996)
Polkowski, L., Skowron, A.: Grammar systems for distributed synthesis of approximate solutions extracted from experience. In: Paun, G., Salomaa, A. (eds.) Grammatical Models of Multi-Agent Systems, pp. 316–333. Gordon and Breach Sci. Publ., Amsterdam (1998)
Polkowski, L.: On synthesis of constructs for spatial reasoning via rough mereology. Fundamenta Informaticae (to appear)
Skowron, A., Polkowski, L.: Rough mereological foundations for design, analysis, synthesis and control in distributed systems. Information Sciences. An Intern. J. 104(1-2), 129–156 (1998)
Słupecki, J.: St. Leśniewski’s calculus of names. Studia Logica 3, 7–72 (1955)
Sobociński, B.: Studies in Lesniewski’s mereology. Yearbook for 1954-1955 of the Polish Society of Arts and Sciences Abroad, 591954, pp. 34–48
Tarski, A.: Zur Grundlegung der Boole’sche Algebra I. Fundamenta Mathematicae 24, 177–198 (1935)
Čech, E.: Topological spaces. In: Novàk, J. (ed.) Topological Papers of Eduard Čech, pp. 436–472. Academia, Prague (1966)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Polkowski, L. (1999). Toward Spatial Reasoning in the Framework of Rough Mereology. In: Zhong, N., Skowron, A., Ohsuga, S. (eds) New Directions in Rough Sets, Data Mining, and Granular-Soft Computing. RSFDGrC 1999. Lecture Notes in Computer Science(), vol 1711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48061-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-48061-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66645-5
Online ISBN: 978-3-540-48061-7
eBook Packages: Springer Book Archive