Abstract
The article presents the fuzzy logic for formal geometric reasoning with extended objects. Based on the idea that extended objects may be seen as location constraints to coordinate points, the geometric primitives point, line, incidence and equality are interpreted as fuzzy predicates of a first order language. An additional predicate for the “distinctness” of point like objects is also used. Fuzzy Logic [1] is discussed as a reasoning system for geometry of extended objects. A fuzzification of the axioms of incidence geometry based on the proposed fuzzy logic is presented. In addition we discuss a special form of positional uncertainty, namely positional tolerance that arises from geometric constructions with extended primitives. We also address Euclid’s first postulate, which lays the foundation for consistent geometric reasoning in all classical geometries by taken into account extended primitives and gave a fuzzification of Euclid’s first postulate by using of our fuzzy logic. Fuzzy equivalence relation “Extended lines sameness” is introduced. For its approximation we use fuzzy conditional inference, which is based on proposed fuzzy “Degree of indiscernibility” and “Discernibility measure” of extended points.
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
References
R.A. Aliev, A. Tserkovny, Systemic approach to fuzzy logic formalization for approximate reasoning. Inf. Sci. 181(6), 1045–1059 (2011)
G. Wilke, Equality in approximate tolerance geometry, in Intelligent Systems’ 2014 (Springer International Publishing, 2015), pp. 365–376
G. Wilke, Granular geometry, in Towards the Future of Fuzzy Logic (Springer International Publishing, 2015), pp. 79–115
G. Wilke, Approximate geometric reasoning with extended geographic objects, in ISPRS-COST Workshop on Quality, Scale and Analysis Aspects of City Models, Lund, Sweden (2009)
R.A. Aliev, O.H. Huseynov, Decision Theory with Imperfect Information (World Scientific, 2014)
R.A. Aliev, O.H. Huseynov, Fuzzy geometry-based decision making with unprecisiated visual information. Int. J. Inf. Technol. Decis. Making 13(05), 1051–1073 (2014)
R.A. Aliev, Decision making on the basis of fuzzy geometry, Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions (Springer, Berlin, Heidelberg, 2013), pp. 217–230
D. Hilbert, Grundlagen der Geometrie. Teubner Studienbuecher Mathematik (1962)
G. Wilke, Towards approximate tolerance geometry for GIS—a framework for formalizing sound geometric reasoning under positional tolerance. Ph.D. dissertation, Vienna University of Technology (2012)
G. Wilke, A.U. Frank, Tolerance geometry—Euclid’s first postulate for points and lines with extension, in 18th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2010, 3–5 Nov 2010, San Jose, CA, USA, Proceedings
H. Busemann, P.J. Kelly, Projective Geometry and Prospective Metrics (Academic Press Inc., Publishers, 1953)
H. Poincare, Science and Hypothesis (Walter Scott Publishing, London, 1905)
G. Gerla, Approximate similarities and poincare paradox. Notre Dame J. Form. Log. 49(2), 203–226 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Aliev, R., Tserkovny, A. (2020). Fuzzy Logic for Incidence Geometry. In: Kosheleva, O., Shary, S., Xiang, G., Zapatrin, R. (eds) Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications. Studies in Computational Intelligence, vol 835. Springer, Cham. https://doi.org/10.1007/978-3-030-31041-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-31041-7_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-31040-0
Online ISBN: 978-3-030-31041-7
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)