A Unified Differentiable Boolean Operator with Fuzzy Logic
Authors: 
Hsueh-Ti Derek Liu, Maneesh Agrawala, 
Cem Yuksel, Tim Omernick, Vinith Misra, Stefano Corazza, 
Morgan Mcguire, Victor ZordanAuthors Info & Claims
Hsueh-Ti Derek Liu, Maneesh Agrawala, Cem Yuksel, Tim Omernick, Vinith Misra, Stefano Corazza, Morgan Mcguire, Victor ZordanAuthors Info & ClaimsArticle No.: 109, Pages 1 - 9
Abstract
This paper presents a unified differentiable boolean operator for implicit solid shape modeling using Constructive Solid Geometry (CSG). Traditional CSG relies on min, max operators to perform boolean operations on implicit shapes. But because these boolean operators are discontinuous and discrete in the choice of operations, this makes optimization over the CSG representation challenging. Drawing inspiration from fuzzy logic, we present a unified boolean operator that outputs a continuous function and is differentiable with respect to operator types. This enables optimization of both the primitives and the boolean operations employed in CSG with continuous optimization techniques, such as gradient descent. We further demonstrate that such a continuous boolean operator allows the modeling of both sharp mechanical objects and smooth organic shapes with the same framework. Our proposed boolean operator opens up new possibilities for future research toward fully continuous CSG optimization.
Supplemental Material
PDF File
Appendix
- Download
- 671.96 KB
References
[1]
Loïc Barthe, Brian Wyvill, and Erwin de Groot. 2004. Controllable Binary Csg Operators for "soft Objects". Int. J. Shape Model. 10, 2 (2004), 135–154.
[2]
Mario I Chacón M. 2006. Fuzzy logic for image processing: definition and applications of a fuzzy image processing scheme. In Advanced Fuzzy Logic Technologies in Industrial Applications. Springer, 101–113.
[3]
Angel X. Chang, Thomas A. Funkhouser, Leonidas J. Guibas, Pat Hanrahan, Qi-Xing Huang, Zimo Li, Silvio Savarese, Manolis Savva, Shuran Song, Hao Su, Jianxiong Xiao, Li Yi, and Fisher Yu. 2015. ShapeNet: An Information-Rich 3D Model Repository. CoRR abs/1512.03012 (2015). arXiv:1512.03012http://arxiv.org/abs/1512.03012
[4]
Zhiqin Chen, Andrea Tagliasacchi, and Hao Zhang. 2020. BSP-Net: Generating Compact Meshes via Binary Space Partitioning. In 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2020, Seattle, WA, USA, June 13-19, 2020. Computer Vision Foundation / IEEE, 42–51.
[5]
Boyang Deng, Kyle Genova, Soroosh Yazdani, Sofien Bouaziz, Geoffrey Hinton, and Andrea Tagliasacchi. 2020. Cvxnet: Learnable convex decomposition. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. 31–44.
[6]
Boyang Deng, Sumith Kulal, Zhengyang Dong, Congyue Deng, Yonglong Tian, and Jiajun Wu. 2022. Unsupervised Learning of Shape Programs with Repeatable Implicit Parts. In Advances in Neural Information Processing Systems, S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho, and A. Oh (Eds.). Vol. 35. Curran Associates, Inc., 37837–37850.
[7]
Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, and Wojciech Matusik. 2018. Inversecsg: Automatic conversion of 3d models to csg trees. ACM Transactions on Graphics (TOG) 37, 6 (2018), 1–16.
[8]
Ioan Dzitac, Florin Gheorghe Filip, and Misu-Jan Manolescu. 2017. Fuzzy logic is not fuzzy: World-renowned computer scientist Lotfi A. Zadeh. International Journal of Computers Communications & Control 12, 6 (2017), 748–789.
[9]
Markus Friedrich, Pierre-Alain Fayolle, Thomas Gabor, and Claudia Linnhoff-Popien. 2019. Optimizing evolutionary CSG tree extraction. In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2019, Prague, Czech Republic, July 13-17, 2019, Anne Auger and Thomas Stützle (Eds.). ACM, 1183–1191.
[10]
K. Gödel. 1932. Zum Intuitionistischen Aussagenkalkül. Anzeiger der Akademie der Wissenschaften in Wien 69 (1932), 65–66.
[11]
Olivier Gourmel, Loic Barthe, Marie-Paule Cani, Brian Wyvill, Adrien Bernhardt, Mathias Paulin, and Herbert Grasberger. 2013. A gradient-based implicit blend. ACM Transactions on Graphics (TOG) 32, 2 (2013), 1–12.
[12]
Karim Hamza and Kazuhiro Saitou. 2004. Optimization of Constructive Solid Geometry Via a Tree-Based Multi-objective Genetic Algorithm. In Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II(Lecture Notes in Computer Science, Vol. 3103), Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund K. Burke, Paul J. Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, and Andrew M. Tyrrell (Eds.). Springer, 981–992. https://doi.org/10.1007/978-3-540-24855-2_110
[13]
Kacper Kania, Maciej Zieba, and Tomasz Kajdanowicz. 2020. UCSG-NET-unsupervised discovering of constructive solid geometry tree. Advances in Neural Information Processing Systems 33 (2020), 8776–8786.
[14]
Diederik P. Kingma and Jimmy Ba. 2015. Adam: A Method for Stochastic Optimization. In 3rd International Conference on Learning Representations, ICLR 2015, San Diego, CA, USA, May 7-9, 2015, Conference Track Proceedings, Yoshua Bengio and Yann LeCun (Eds.).
[15]
George J. Klir and Bo Yuan. 1995. Fuzzy sets and fuzzy logic - theory and applications. Prentice Hall.
[16]
Qingde Li and Jie Tian. 2008. Blending Implicit Shapes Using Fuzzy Set Operations. WSEAS Trans. Info. Sci. and App. 5, 7 (jul 2008), 1230–1240.
[17]
Zoë Marschner, Silvia Sellán, Hsueh-Ti Derek Liu, and Alec Jacobson. 2023. Constructive Solid Geometry on Neural Signed Distance Fields. In SIGGRAPH Asia 2023 Conference Papers, SA 2023, Sydney, NSW, Australia, December 12-15, 2023, June Kim, Ming C. Lin, and Bernd Bickel (Eds.). ACM, 121:1–121:12.
[18]
Karl Menger. 1942. Statistical Metrics. Proceedings of the National Academy of Sciences of the United States of America 28, 12 (1942), 535–537. http://www.jstor.org/stable/87805
[19]
Emanuel Ontiveros-Robles, JL Gonzalez-Vazquez, Juan R Castro, and Oscar Castillo. 2016. A hardware architecture for real-time edge detection based on interval type-2 fuzzy logic. In 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 804–810.
[20]
Alexander A. Pasko, Valery Adzhiev, Alexei Sourin, and Vladimir V. Savchenko. 1995. Function representation in geometric modeling: concepts, implementation and applications. Vis. Comput. 11, 8 (1995), 429–446.
[21]
Inigo Quilez. 2013. Smooth Minimum. (2013). https://iquilezles.org/articles/smin/
[22]
Daxuan Ren, Jianmin Zheng, Jianfei Cai, Jiatong Li, Haiyong Jiang, Zhongang Cai, Junzhe Zhang, Liang Pan, Mingyuan Zhang, Haiyu Zhao, and Shuai Yi. 2021. CSG-Stump: A Learning Friendly CSG-Like Representation for Interpretable Shape Parsing. In 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021, Montreal, QC, Canada, October 10-17, 2021. IEEE, 12458–12467.
[23]
A. Ricci. 1973. A Constructive Geometry for Computer Graphics. Comput. J. 16, 2 (1973), 157–160. https://doi.org/10.1093/comjnl/16.2.157
[24]
Daniel Ritchie, Paul Guerrero, R. Kenny Jones, Niloy J. Mitra, Adriana Schulz, Karl D. D. Willis, and Jiajun Wu. 2023. Neurosymbolic Models for Computer Graphics. Comput. Graph. Forum 42, 2 (2023), 545–568.
[25]
V. L. Rvachev. 1963. On the analytical description of some geometric objects. Reports of Ukrainian Academy of Sciences 153, 4 (1963), 765–767.
[26]
Gopal Sharma, Rishabh Goyal, Difan Liu, Evangelos Kalogerakis, and Subhransu Maji. 2018. CSGNet: Neural Shape Parser for Constructive Solid Geometry. In 2018 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2018, Salt Lake City, UT, USA, June 18-22, 2018. Computer Vision Foundation / IEEE Computer Society, 5515–5523.
[27]
Alvy Ray Smith. 1995. Image compositing fundamentals. Microsoft Corporation 5 (1995).
[28]
Robert B. Tilove. 1984. A Null-Object Detection Algorithm for Constructive Solid Geometry. Commun. ACM 27, 7 (jul 1984), 684–694. https://doi.org/10.1145/358105.358195
[29]
Emile van Krieken, Erman Acar, and Frank van Harmelen. 2022. Analyzing differentiable fuzzy logic operators. Artificial Intelligence 302 (2022), 103602.
[30]
Q. Wu, K. Xu, and Jun Wang. 2018. Constructing 3D CSG Models from 3D Raw Point Clouds. Comput. Graph. Forum 37, 5 (2018), 221–232. https://doi.org/10.1111/cgf.13504
[31]
Rundi Wu, Chang Xiao, and Changxi Zheng. 2021. DeepCAD: A Deep Generative Network for Computer-Aided Design Models. In 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021, Montreal, QC, Canada, October 10-17, 2021. IEEE, 6752–6762.
[32]
Brian Wyvill, Andrew Guy, and Eric Galin. 1999. Extending the CSG Tree - Warping, Blending and Boolean Operations in an Implicit Surface Modeling System. Comput. Graph. Forum 18, 2 (1999), 149–158.
[33]
Ronald R Yager. 1980. On a general class of fuzzy connectives. Fuzzy sets and Systems 4, 3 (1980), 235–242.
[34]
Fenggen Yu, Qimin Chen, Maham Tanveer, Ali Mahdavi Amiri, and Hao Zhang. 2023. DualCSG: Learning Dual CSG Trees for General and Compact CAD Modeling. https://arxiv.org/abs/2301.11497
[35]
Fenggen Yu, Zhiqin Chen, Manyi Li, Aditya Sanghi, Hooman Shayani, Ali Mahdavi-Amiri, and Hao Zhang. 2022. CAPRI-Net: learning compact CAD shapes with adaptive primitive assembly. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. 11768–11778.
[36]
Lotfi A Zadeh. 1965. Fuzzy sets. Information and control 8, 3 (1965), 338–353.
Index Terms
- A Unified Differentiable Boolean Operator with Fuzzy Logic
Recommendations
Towards flattenable mesh surfaces
In many industries, products are constructed by assembled surface patches in @?^3, where each patch is expected to have an isometric map to a corresponding region in @?^2. The widely investigated developable surfaces in differential geometry show this ...
Surface Simplification using Intrinsic Error Metrics
This paper describes a method for fast simplification of surface meshes. Whereas past methods focus on visual appearance, our goal is to solve equations on the surface. Hence, rather than approximate the extrinsic geometry, we construct a coarse ...
Differentiable surface triangulation
Triangle meshes remain the most popular data representation for surface geometry. This ubiquitous representation is essentially a hybrid one that decouples continuous vertex locations from the discrete topological triangulation. Unfortunately, the ...
Comments
Information & Contributors
Information
Published In
July 2024
1106 pages
Copyright © 2024 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 13 July 2024
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
SIGGRAPH '24
Sponsor:
SIGGRAPH '24: Special Interest Group on Computer Graphics and Interactive Techniques Conference
July 27 - August 1, 2024
CO, Denver, USA
Acceptance Rates
Overall Acceptance Rate 1,822 of 8,601 submissions, 21%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 230Total Downloads
- Downloads (Last 12 months)230
- Downloads (Last 6 weeks)194
Reflects downloads up to 01 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format