{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:39:11Z","timestamp":1743057551121,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662587676"},{"type":"electronic","value":"9783662587683"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-662-58768-3_5","type":"book-chapter","created":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T21:15:18Z","timestamp":1549055718000},"page":"142-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Logic for Spatial Reasoning in the Framework of Rough Mereology"],"prefix":"10.1007","author":[{"given":"Lech","family":"Polkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,2]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1163\/156855396X00219","volume":"10","author":"A Agah","year":"1997","unstructured":"Agah, A.: Robot teams, human workgroups and animal sociobiology. A review of research on natural and artificial multi-agent autonomous systems. Adv. Robot. 10, 523\u2013545 (1997)","journal-title":"Adv. Robot."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: The Logic of Time. Reidel. Dordrecht (1983)","DOI":"10.1007\/978-94-010-9868-7"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008855018923","volume":"4","author":"YU Cao","year":"1997","unstructured":"Cao, Y.U., Fukunaga, A.S., Kahng, A.B.: Cooperative mobile robotics: antecedents and directions. Auton. Robot. 4, 7\u201327 (1997)","journal-title":"Auton. Robot."},{"key":"5_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5253.001.0001","volume-title":"Parts and Places. The Structures of Spatial Representation","author":"R Casati","year":"1999","unstructured":"Casati, R., Varzi, A.C.: Parts and Places. The Structures of Spatial Representation. MIT Press, Cambridge (1999)"},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"BL Clarke","year":"1981","unstructured":"Clarke, B.L.: A calculus of individuals based on connection. Notre Dame J. Form. Log. 22(2), 204\u2013218 (1981)","journal-title":"Notre Dame J. Form. Log."},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-61732-9_54","volume-title":"Artificial Intelligence and Symbolic Mathematical Computation","author":"AG Cohn","year":"1996","unstructured":"Cohn, A.G.: Calculi for qualitative spatial reasoning. In: Calmet, J., Campbell, J.A., Pfalzgraf, J. (eds.) AISMC 1996. LNCS, vol. 1138, pp. 124\u2013143. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61732-9_54"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-94-015-8994-9_8","volume-title":"Artificial Intelligence and Symbolic Mathematical Computation","author":"AG Cohn","year":"1996","unstructured":"Cohn, A.G., Gooday, J.M., Bennett, B., Gotts, N.M.: A logical approach to representing and reasoning about space. In: Calmet, J., Campbell, J.A., Pfalzgraf, J. (eds.) Artificial Intelligence and Symbolic Mathematical Computation. Lecture Notes in Computer Science, vol. 1138, pp. 124\u2013143. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/978-94-015-8994-9_8"},{"key":"5_CR8","unstructured":"Cohn, A.G., Gotts, N.M.: Representing spatial vagueness: a mereological approach. In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, KR 1996, pp. 230\u2013241. Morgan Kaufmann, San Francisco (1996)"},{"key":"5_CR9","unstructured":"Cohn, A.G., Randell, D., Cui, Z., Bennett, B.: Qualitative spatial reasoning and representation. In: Carrete, N., Singh, M. (eds.) Qualitative Reasoning and Decision Technologies, Barcelona, pp. 513\u2013522 (1993)"},{"key":"5_CR10","unstructured":"Cohn, A.G., Varzi, A.C.: Connections relations in mereotopology. In: Prade H. (ed.) Proceedings of ECAI 1998 13th European Conference on Artificial Intelligence, pp. 150\u2013154. Wiley, Chichester (1998)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Egenhofer, M.J.: Reasoning about binary topological relations. In: Gunther, O., Schek, H.(eds.) Proceedings of Advances in Spatial Databases, SSD 1991, Berlin, pp. 143\u2013160 (1991)","DOI":"10.1007\/3-540-54414-3_36"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"51","DOI":"10.5840\/monist19967913","volume":"79","author":"NM Gotts","year":"1996","unstructured":"Gotts, N.M., Gooday, J.M., Cohn, A.G.: A connection based approach to commonsense topological description and reasoning. Monist 79(1), 51\u201375 (1996)","journal-title":"Monist"},{"key":"5_CR13","unstructured":"Gotts, N.M., Cohn, A.G.: A mereological approach to representing spatial vagueness. In: Working papers. The Ninth International Workshop on Qualitative Reasoning, QR 1995 (1995)"},{"key":"5_CR14","unstructured":"H $$\\acute{a}$$ jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T Laguna de","year":"1922","unstructured":"de Laguna, T.: Point, line and surface as sets of solids. J. Philos. 19, 449\u2013461 (1922)","journal-title":"J. Philos."},{"key":"5_CR16","unstructured":"Le\u015bniewski, S.: Foundations of the General Theory of Sets (in Polish). Moscow (1916)"},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"189","DOI":"10.5486\/PMD.1965.12.1-4.19","volume":"12","author":"C-H Ling","year":"1965","unstructured":"Ling, C.-H.: Representation of associative functions. Publ. Math. Debr. 12, 189\u2013212 (1965)","journal-title":"Publ. Math. Debr."},{"key":"5_CR18","unstructured":"\u0141ukasiewicz, J.: Die Logischen Grundlagen der Wahrscheinlichkeitsrechnung. Krak\u00f3w, 1913. Cf. Borkowski, L. (ed.) Selected Works. North Holland-PWN, Amsterdam-Warszawa, pp. 16\u201363 (1970)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Matari\u0107 M.: Interaction and intelligent behavior. Ph.D. dissertation. MIT EECS Department (1994)","DOI":"10.21236\/ADA290049"},{"key":"5_CR20","unstructured":"Nicolas, D.: The logic of mass expressions. In: Stanford Enc. Phil. https:\/\/plato.stanford.edu\/entries\/logic-masseapress\/"},{"key":"5_CR21","unstructured":"O\u015bmia\u0142owski, P.: On path planning for mobile robots: introducing the mereological potential field method in the framework of mereological spatial reasoning. J. Autom. Mob. Robot. Intell. Syst. (JAMRIS) 3(2), 24\u201333 (2009)"},{"key":"5_CR22","unstructured":"Osmialowski P.: Planning and navigation for mobile autonomous robots. Ph.D. dissertation. Polkowski, L. Supervisor, Polish-Japanese Academy IT. PJAIT Publishers, Warszawa (2011)"},{"key":"5_CR23","volume-title":"Rough Sets: Theoretical Aspects of Data Analysis","author":"Z Pawlak","year":"1992","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Data Analysis. Kluwer, Dordrecht (1992)"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-14467-7_8","volume-title":"Transactions on Rough Sets XII","author":"P O\u2019smia\u0131owski","year":"2010","unstructured":"O\u2019smia\u0131owski, P., Polkowski, L.: Spatial reasoning based on rough mereology: a notion of a robot formation and path planning problem for formations of mobile autonomous robots. In: Peters, J.F., Skowron, A., S\u0142owi\u0144ski, R., Lingras, P., Miao, D., Tsumoto, S. (eds.) Transactions on Rough Sets XII. LNCS, vol. 6190, pp. 143\u2013169. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14467-7_8"},{"key":"5_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7908-1776-8","volume-title":"Rough Sets. Mathematical Foundations","author":"L Polkowski","year":"2002","unstructured":"Polkowski, L.: Rough Sets. Mathematical Foundations. Springer, Heidelberg (2002)"},{"key":"5_CR26","first-page":"67","volume":"54","author":"L Polkowski","year":"2003","unstructured":"Polkowski, L.: A rough set paradigm for unifying rough set theory and fuzzy set theory. Fundam. Inform. 54, 67\u201388 (2003)","journal-title":"Fundam. Inform."},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-540-25929-9_2","volume-title":"Rough Sets and Current Trends in Computing","author":"L Polkowski","year":"2004","unstructured":"Polkowski, L.: Toward rough set foundations. Mereological approach. In: Tsumoto, S., S\u0142owi\u0144ski, R., Komorowski, J., Grzyma\u0142a-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 8\u201325. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25929-9_2"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Polkowski, L.: Formal granular calculi based on rough inclusions. In: Proceedings of IEEE 2005 Conference on Granular Computing GrC 2005, Beijing, China, pp. 57\u201362. IEEE Press (2005)","DOI":"10.1109\/GRC.2005.1547235"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-73451-2_9","volume-title":"Rough Sets and Intelligent Systems Paradigms","author":"L Polkowski","year":"2007","unstructured":"Polkowski, L.: Granulation of knowledge in decision systems: the approach based on rough inclusions. The method and its applications. In: Kryszkiewicz, M., Peters, J.F., Rybinski, H., Skowron, A. (eds.) RSEISP 2007. LNCS (LNAI), vol. 4585, pp. 69\u201379. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73451-2_9"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Polkowski, L.: A unified approach to granulation of knowledge and granular computing based on rough mereology: a survey. In: Pedrycz, W., Skowron, A., Kreinovich, V. (eds.) Handbook of Granular Computing, pp. 375\u2013400. Wiley, Chichester (2008)","DOI":"10.1002\/9780470724163.ch16"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"1464","DOI":"10.1007\/978-1-4614-1800-9_94","volume-title":"Springer Encyclopedia of Complexity and System Sciences","author":"L Polkowski","year":"2009","unstructured":"Polkowski, L.: Granulation of knowledge: similarity based approach in information and decision systems. In: Meyers, R.A. (ed.) Springer Encyclopedia of Complexity and System Sciences, pp. 1464\u20131487. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-1-4614-1800-9_94"},{"key":"5_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22279-5","volume-title":"Approaimate Reasoning by Parts. An Introduction to Rough Mereology","author":"L Polkowski","year":"2011","unstructured":"Polkowski, L.: Approaimate Reasoning by Parts. An Introduction to Rough Mereology. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22279-5"},{"key":"5_CR33","series-title":"Synthese Library","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-05356-1_10","volume-title":"Mereology and the Sciences","author":"L Polkowski","year":"2014","unstructured":"Polkowski, L.: Mereology in engineering and computer science. In: Calosi, C., Graziani, P. (eds.) Mereology and the Sciences. SL, vol. 371, pp. 217\u2013291. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-05356-1_10"},{"issue":"1\u20134","key":"5_CR34","doi-asserted-by":"publisher","first-page":"343","DOI":"10.3233\/FI-2017-1570","volume":"154","author":"L Polkowski","year":"2017","unstructured":"Polkowski, L.: From Le\u015bniewski, \u0141ukasiewicz, Tarski to Pawlak: enriching rough set based data analysis. A retrospective survey. Fundam. Inform. 154(1\u20134), 343\u2013358 (2017)","journal-title":"Fundam. Inform."},{"key":"5_CR35","unstructured":"Polkowski, L.: The counterpart to the Bayes theorem in mass-based rough mereology. In: Proceedings CS&P 2018. Humboldt Universit\u00e4t zu Berlin, September 2018. Informatik-Berichte series. Informatik-Bericht 248, pp. 47\u201356 (2018). http:\/\/ceur-ws.org\/Vol-2240\/paper4.pdf"},{"key":"5_CR36","volume-title":"Motion Planning","author":"Lech Polkowski","year":"2008","unstructured":"Polkowski, L., O\u015bmia\u0142owski, P.: Spatial reasoning with applications to mobile robotics. In: Aing-Jiang, J. (ed.): Mobile Robots Motion Planning. New Challenges. I-Tech, Vienna, pp. 433\u2013453 (2008)"},{"key":"5_CR37","volume-title":"Mobile Robots Navigation","author":"Lech Polkowski","year":"2010","unstructured":"Polkowski, L., O\u015bmia\u0142owski, P.: Navigation for mobile autonomous robots and their formations: an application of spatial reasoning induced from rough mereological geometry. In: Barrera, A. (ed.) Mobile Robots Navigation, pp. 339\u2013354. In Tech, Zagreb (2010)"},{"issue":"4","key":"5_CR38","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/37402.37406","volume":"21","author":"C Reynolds","year":"1987","unstructured":"Reynolds, C.: Flocks, herds and schools. A distributed behavioral model. Comput. Graph. 21(4), 25\u201334 (1987)","journal-title":"Comput. Graph."},{"key":"5_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-58495-1_9","volume-title":"Methodologies for Intelligent Systems","author":"L Polkowski","year":"1994","unstructured":"Polkowski, L., Skowron, A.: Rough mereology. In: Ra\u015b, Z.W., Zemankova, M. (eds.) ISMIS 1994. LNCS, vol. 869, pp. 85\u201394. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58495-1_9"},{"issue":"4","key":"5_CR40","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0888-613X(96)00072-2","volume":"15","author":"L Polkowski","year":"1997","unstructured":"Polkowski, L., Skowron, A.: Rough mereology: a new paradigm for approaimate reasoning. Int. J. Approx. Reason. 15(4), 333\u2013365 (1997)","journal-title":"Int. J. Approx. Reason."},{"key":"5_CR41","unstructured":"Randell D., Cui Z., Cohn A. G.: A spatial logic based on regions and connection. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning KR 1992. Morgan Kaufmann, San Mateo, pp. 165\u2013176 (1992)"},{"key":"5_CR42","doi-asserted-by":"publisher","first-page":"177","DOI":"10.4064\/fm-24-1-177-198","volume":"24","author":"A Tarski","year":"1935","unstructured":"Tarski, A.: Zur Grundlegen der Booleschen Algebra I. Fund. Math. 24, 177\u2013198 (1935)","journal-title":"Fund. Math."},{"issue":"2","key":"5_CR43","first-page":"175","volume":"5","author":"A Tarski","year":"1959","unstructured":"Tarski, A., Givant, S.: Symbolic logic. Bull 5(2), 175\u2013214 (1959)","journal-title":"Bull"},{"key":"5_CR44","unstructured":"Whitehead, A.N.: La th $$\\acute{e}$$ orie relationniste de l\u2019espace. Revue de M $$\\acute{e}$$ taphysique et de Morale 23, 423\u2013454 (1916)"},{"key":"5_CR45","volume-title":"An Enquiry Concerning the Principles of Natural Knowledge","author":"AN Whitehead","year":"1919","unstructured":"Whitehead, A.N.: An Enquiry Concerning the Principles of Natural Knowledge. Cambridge University Press, Cambridge (1919)"},{"key":"5_CR46","volume-title":"The Concept of Nature","author":"AN Whitehead","year":"1920","unstructured":"Whitehead, A.N.: The Concept of Nature. Cambridge University Press, Cambridge (1920)"},{"key":"5_CR47","volume-title":"Process and Reality: An Essay in Cosmology","author":"AN Whitehead","year":"1929","unstructured":"Whitehead, A.N.: Process and Reality: An Essay in Cosmology. Macmillan, New York (1929)"},{"key":"5_CR48","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8, 338\u2013353 (1965)","journal-title":"Inf. Control"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets XXI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-58768-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T14:06:56Z","timestamp":1720966016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-58768-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662587676","9783662587683"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-58768-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"2 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}