Introducing Mass-based Rough Mereology in a Mereological Universe with Relations to Fuzzy Logics and a Generalization of the Łukasiewicz Logical Foundations of Probability

• Autorzy: Polkowski Lech

Identyfikatory

DOI

10.3233/FI-2019-1801

• Języki publikacji: EN

Abstrakty

EN

We investigate a model for rough mereology based reasoning in which things in the universe of mereology are endowed with positive masses. We define the mass based rough inclusion and establish its properties. This model does encompass inter alia set theoretical universes of finite sets with masses as cardinalities, probability universes with masses as probabilities of possible events, sets of satisfiable formulas with values of satisfiability, measurable bounded sets in Euclidean n -spaces with n -dimensional volume as mass, in particular complete Boolean algebras of regular open or closed sets – the playground for spatial reasoning and geographic information systems. We define a mass-based rough mereological theory (in short mRM-theory). We demonstrate affinities of the mass-based rough mereological mRM-theory with classical many-valued (‘fuzzy’) logics of Łukasiewicz, Gödel and Goguen and we generalize the theses of logical foundations of probability as given by Łukasiewicz. We give an abstract version of the Bayes theorem which does extend the classical Bayes theorem as well as the proposed by Łukasiewicz logical version of the Bayes formula. We also establish an abstract form of the betweenness relation which has proved itself important in problems of data analysis and behavioral robotics. We address as well the problem of granulation of knowledge in decision systems by pointing to the most general set of conditions a thing has to satisfy in order to be included into a formally defined granule of knowledge, the notion instrumental in our approach to data analysis. We address the problem of applications by pointing to our work on intelligent robotics in which the mass interpreted as the relative area of a planar region is basic for definition of a rough inclusion on regular open/closed regions as well as in definition of the notion of betweenness crucial for a strategy for navigating teams of robots.

Słowa kluczowe

EN

betweenness; fuzzy logics; granularity; logical foundations of probability; mass assignment; mereology; rough inclusion; Bayes' theorem

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2019
• Tom: Vol. 166, nr 3
• Strony: 227--249
• Opis fizyczny: Bibliogr. 34 poz.

Twórcy

autor

Polkowski Lech

• Department of Mathematics and Computer Science, Chair of Mathematical Methods in Computer Science, University of Warmia and Mazury in Olsztyn, Olsztyn, Poland

Bibliografia

• [1] van Benthem J. The Logic of Time. Reidel, 1983. Synthese Library vol. 156. ISBN: 978-0-7923-1081-5. doi:10.1007/978-94-015-7947-6.
• [2] Casati R, Varzi A C. Parts and Places. The Structures of Spatial Representation. The MIT Press, 1999. ISBN: 978-0262517072.
• [3] Clementini E, Cohn A G. RCC*-9 and CBM. In: 8th GIScience 2014 Proceedings, Vienna, Sept. 2014. LNCS 8728, Springer Verlag, 2014 pp. 349-366. ISBN: 978-3-319-11593-1. doi:10.1007/978-3-319-11593-1.
• [4] Choset H, Lynch K M, Hutchinson S, Kantor G, Burgard W, Kavraki L E, Thrun S. Principles of Robot Motion: Theory, Algorithms, and Implementations. The MIT Press, 2005. ISBN: 9780262033275.
• [5] Couturat L. The Algebra of Logic. Open Court Publishing Company, 1914. English transl. of L’algèbre de la logique. The Scientia series. Div. Math.-Phys. 24, Paris, 1905.
• [6] David F. Games, Gods and Gambling. A History of Probability and Statistical Ideas. G. Griffin 1962. ISBN: 9780486400235.
• [7] Hájek P. Metamathematics of Fuzzy Logic. Springer Netherlands, 1998. ISBN: 978-94-011-5300-3. doi:0.1007/978-94-011-5300-3.
• [8] Iwanuś B. On Leśniewski’s Elementary Ontology. Studia Logica, 1973. 31(1):7-72. Print ISSN: 0039-3215. doi:10.1007/BF02120531.
• [9] Leśniewski S. Foundations of the General Theory of Sets (in Polish). The Popławski Printing Shop in Moscow, 1916.
• [10] Surma S, Srzednicki J T, Barnett D I, Rickey V F. Leśniewski S. Collected Works I. Nijhoff Int. Philosophy Series 44/1. Springer Netherlands, 1992. ISBN: 978-0792315124.
• [11] Ling, C.-H. Representations of associative functions. Publ. Math. Debrecen, 1965. 12:189-212.
• [12] Łukasiewicz, J. Die Logischen Grundlagen der Wahrscheinlichkeitsrechnung. Drukarnia Polska in Kraków, 1913.
• [13] Łukasiewicz J. Logical Foundations of Probability Theory. In: Borkowski, L. (ed.). Jan Łukasiewicz. Selected Works. Studies in Logic and Foundations of Mathematics series. North Holland - Polish Scientific Publishers (PWN), 1970 pp.1-63. ISBN: 978-0720422528.
• [14] Łukasiewicz J. Aristotle’s Syllogistics from the Standpoint of Modern Formal Logic. Oxford University Press, 1957. 2nd. edition. Lejewski, C. (ed.). ISBN: 0824069242. doi:978-0198241447.
• [15] Nicolas D. The logic of mass expressions. In: Stanford Encyclopedia of Philosophy. Accessed 2018-12-28. URL https://plato.stanford.edu/entries/logic-massexpress.
• [16] Ośmiałowski P. Spatial Reasoning Based on Rough Mereology in Planning and Navigation Problems of Autonomous Mobile Robots. Polish Japanese Academy IT, 2011. PhD Dissertation (Polkowski, L. supervisor). ISBN: 978-83-63103-01-9.
• [17] Pawlak Z. A rough set view on Bayes’s theorem. Intern. J. Intell. Systems, 2003. 18(5):478-498. ISSN:1098-111X.
• [18] Pearl J. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, 1988. ISBN: 978-1558604797.
• [19] Pietruszczak A. Metamereology. The Nicolaus Copernicus University Scientific Publishing House 2018. ISBN: 978-83-231-3975-1. doi:10.12775/3961-4.
• [20] Polkowski L. Formal granular calculi based on rough inclusions (A feature talk). In: IEEE/GrC Proceedings. Tsinghua University, Beijing, 2005 pp. 57-62. ISBN: 0-7803-9017-2.
• [21] Polkowski L. Approximate Reasoning with Parts. An Introduction to Rough Mereology. Springer-Verlag, 2011. ISRL vol. 20. ISBN: 978-3-642-22278-8. doi:10.1007/978-3-642-22279-5.
• [22] Polkowski L. Mereology in Engineering and Computer Science. In: Mereology and the Sciences. Parts and Wholes in the Contemporary Scientific Context. Calosi C, Graziani P. (eds.). Springer Synthese Library vol. 371. Springer International Publishers, 2015 pp. 217-292. ISBN: 978-3-319-05356-1. doi:10.1007/978-3-319-05356-1.
• [23] Polkowski L. From Leśniewski, Łukasiewicz, Tarski to Pawlak: Enriching Rough Set Based Data Analysis. A Retrospective Survey. Fundamenta Informaticae, 2017. 154(1-4):343-358. ISSN 0169-2968 (P), ISSN 1875-8681 (E). doi:10.3233/FI-2017-1570.
• [24] Polkowski L. The Bayes theorem counterpart in mass-based rough mereology. In: CS&P 2018 Proceedings. Humboldt Universität zu Berlin, September 24-26, 2018. Schlingloff H, Akili S. (eds.). Informatik-Bericht 248, 2018 pp. 47-57. URL http://ceur-ws.org/Vol-2240/paper4.pdf.
• [25] Polkowski L, Artiemjew P. Granular Computing in Decision Approximation. An Applications of Rough Mereology. Springer International Publishers, 2015. ISRL vol. 77. ISBN: 9783319128801. doi:10.007/978-3-319-12880-1.
• [26] Polkowski L, Ośmiałowski P. Spatial reasoning with applications to mobile robotics. In: Mobile Robots Motion Planning. New Challenges. Xi-Jing. (ed.). I-Tech, 2008 pp. 433-453 ISBN: 10.5772/8987.
• [27] Polkowski L, Ośmiałowski P. Navigation for mobile autonomous robots and their formations: An application of spatial reasoning induced from rough mereological geometry. In: Mobile Robots Navigation. Barrera A. (ed.). In-Tech, 2010 pp. 39-354. Identifier-ark ark://13960/t53f6226g.
• [28] Polkowski L, Skowron A. Rough mereology. In: ISMIS’94 Proceedings. LNCS vol. 869, 1994 pp. 85-94. ISBN: 3-540-58495-1.
• [29] Polkowski L, Skowron A. Rough mereology: A new paradigm for approximate reasoning. Int. J. Approx. Reasoning, 1997. 15(4):333-365. doi:10.1016/60888-615X(96)00072-2.
• [30] Tarski A. Zur Grundlegen der Booleschen Algebra I. Fund. Math, 1935. 24:177-198.
• [31] Tarski A. On the foundations of Boolean Algebra. In: Tarski, A. Logic, Semantics, Metamathematics. Papers from 1923 to 1938. Woodger J K. (ed.). Clarendon Press, 1956.
• [32] Tarski A, Givant S. Tarski’s System of Geometry. Bull. Symbolic Logic, 1999. 5(2):175-214. doi:10.2307/421089.
• [33] Thrun S, Burgard W, Fox D. Probabilistic Robotics. The MIT Press, 2005. ISBN: 9780262201629.
• [34] Varzi A. Mereology. In: Stanford Encyclopedia of Philosophy. Accessed 2018-12-28. URL https://plato.stanford.edu/entries/mereology/.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2019).