Sankt-Peterburg, St. Petersburg, Russian Federation
graduate student from 01.01.2022 to 01.01.2025
St. Petersburg, Russian Federation
Algorithmization of solving geometric modeling problems is closely related to a complex of applied research. The article shows the advantages of the automated approach of logic programming in matters of geometric modeling in comparison with standard approaches. The research is based on the systematization of projection models of a four-dimensional space of a class of homogeneous and equally connected discrete-continuous structures. The rationale for the relevance of developing algorithms for creating computer-aided design systems for geometric shapes using software tools that provide graphical and grapho-analytical solutions is presented. The options for applying the principles of logic programming in solving geometric problems are outlined. Examples of solving problems on models of four-dimensional space in three flat fields are given. Attention is focused on solving similar problems for higher-dimensional spaces with testing using the example of solving multidimensional analogues of the Apollonius problem. Other projection models of multidimensional projective space are considered. It is established that this algorithm for solving the projection problem makes it possible to speed up and automate the construction of projection models of n-dimensional space and increase the visibility of the construction. The results of the study can form the basis for the development of new interfaces for interaction with geometric structures for solving surface design problems. The properties and methods of declarative programming in the construction of geometric models are defined. A software solution has been defined for working with geometric models in terms of automating the construction process, analyzing the algorithm content, searching, visualizing the result, and storing geometric information. The results of generating a solution to the Apollonius problem are presented, as well as a sample declarative program for running in the Simplex software environment (https://voloshinov. ru/simplex/), the Logic module.
geometric modeling, multidimensional space, Simplex, Apollonius problem, logic programming language, Prolog, predicate
1. Boykov A.A. O kube i proekciyah podprostranstva [Tekst] / A.A. Boykov, A.V. Seliverstov // Vestnik Udmurtskogo universiteta. Matematika. Mehanika. Komp'yuternye nauki. — 2023. — T. 33. — № 3. — S. 402–415. DOI: https://doi.org/10.35634/vm230302
2. Val'kov K.I. K ob'edineniyu teoreticheskih osnov izobrazitel'noy geometrii i nomografii [Tekst] / K.I. Val'kov // Voprosy vychislitel'noy matematiki i geometricheskogo modelirovaniya. — L.: Izd-vo LISI, 1966. — S. 58–62.
3. Val'kov K.I. Lekcii po osnovam geometricheskogo modelirovaniya [Tekst] / K.I. Val'kov — L.: Izd-vo Leningr. un-ta. — 1975. — 180 c.
4. Val'kov K.I. Modelirovanie i formalizaciya [Tekst] / K.I. Val'kov — L.: Izd-vo LISI, 1967. — 87 c.
5. Val'kov K.I. Operaciya proecirovaniya kak universal'nyy geometricheskiy priem [Tekst] / K.I. Val'kov // Voprosy prikladnoy matematiki i geometricheskogo modelirovaniya: Kratkoe soderzhanie dokladov k HHH nauchnoy konferencii. — L.: Izd-vo LISI, 1972. S. 55–58.
6. Volkov V.Ya. Mnogomernaya ischislitel'naya geometriya [Tekst]: monografiya / V.Ya. Volkov, V.Yu. Yurkov. Omsk: Izd-vo OmGPU, 2008. — 244 s.
7. Voloshinov V.A. Algoritm Paskalya v apparate vnutrennego modelirovaniya [Tekst] / V.A. Voloshinov // Geometricheskoe modelirovanie i komp'yuternaya grafika: Sb. nauch. tr. — SPb.: Izd-vo SPbGTU, 1992. — S. 14–25.
8. Voloshinov D.V. Avtomatizirovannoe proektirovanie ob'ektov i processov s primeneniem metodov konstruktivnogo geometricheskogo modelirovaniya [Tekst] /D.V. Voloshinov // Nauch.-tehn. vedomosti SPbGPU. 2008. — № 4-1. — S. 92.
9. Voloshinov D.V. Algoritm peresecheniya ploskostey na proekcionnoy modeli chetyrehmernogo prostranstva [Tekst] / D.V. Voloshinov // Nauch.-tehn. vedomosti SPbGPU. — 2008. — № 3. — S. 284–292.
10. Voloshinov D.V. Algoritm resheniya zadachi Apolloniya na osnove postroeniya ortogonal'nyh okruzhnostey [Tekst] / D.V. Voloshinov // GRAFIKON'2016. — 2016. S. 284–288.
11. Voloshinov D.V. Geometricheskoe modelirovanie v sisteme Simpleks kak sredstvo sozdaniya programmnogo interfeysa [Tekst] / D.V. Voloshinov // Geometricheskoe modelirovanie i komp'yuternaya grafika. Sb. nauch. tr. Trudy SPbGTU. — 1995. — № 454. — S. 36–39.
12. Voloshinov D.V. O perspektivah razvitiya geometrii i ee instrumentariya [Tekst] / D.V. Voloshinov // Geometriya i grafika. — 2014. — T. 2. — № 1. — S. 15–21. — DOIhttps://doi.org/10.12737/3844
13. Voloshinov D.V. Razrabotka algoritmicheskogo kompleksa dlya resheniya zadach konstruktivnoy geometrii [Tekst] / D.V. Voloshinov, A.V. Solov'eva // Aktual'nye problemy infotelekommunikaciy v nauke i obrazovanii (APINO 2020). — 2020. — S. 182–186.
14. Voloshinov D.V. Teoriya avtomatizacii proektirovaniya ob'ektov i processov na osnove metodov konstruktivnogo geometricheskogo modelirovaniya [Tekst]: dis. … d-ra tehn. nauk 05.03.05 / D.V. Voloshinov. — SPb., 2010. — 365 s.
15. Voloshinov D.V. Chto sluchilos' s zadachey Apolloniya? Chast' pervaya // VKontakte [Elektronnyy resurs]. URL: https://vk.com/@-165442069-chto-sluchilos-szadachei-apolloniya-chast-pervaya?subtype=primary (data obrascheniya: 10.08.2025).
16. Girsh A.G. Naglyadnaya mnimaya geometriya [Tekst] / A.G. Girsh. — M.: Maska, 2008. — 200 s.
17. Grafskiy O.A. Grafoanaliticheskie issledovaniya involyucii [Tekst] / O.A. Grafskiy, A.V. Usmanov, A.A. Holodilov // Geometriya i grafika. — 2017. T. 5. — № 1. — S. 3–11. — DOI:https://doi.org/10.12737/25118
18. Dzhaparidze I.S. O roli parametricheskogo ischisleniya v issledovaniyah po prikladnoy geometrii [Tekst] / I.S. Dzhaparidze // Analiticheskie i graficheskie metody racional'nogo konstruirovaniya poverhnosti rabochih organov pochvoobrabatyvayuschih mashin. — Kiev, 1974. S. 41–46.
19. Ivanov G.S. Teoreticheskie osnovy nachertatel'noy geometrii [Tekst] / G.S. Ivanov — M.: Mashinostroenie, 1998. — 158 s.
20. Kamalov A. Konstruirovanie lineychatyh poverhnostey karkasno-parametricheskim metodom i ih primenenie [Tekst]: avtoref. dis. … kand. tehn. nauk / A. Kamalov. — Samarkand, 1980. — 16 s.
21. Kokorin M.S. Proektnye zadachi v kurse nachertatel'noy geometrii [Tekst] / M.S. Kokorin, T.V. Markova, T.A. Nikitina // Geometriya i grafika. — 2024. — T. 12. — № 3. — S. 32–45. — DOI:https://doi.org/10.12737/2308-4898-2024-123-32-45
22. Kotel'nikov K. Obobschenie zadachi Apolloniya Pergamskogo [Tekst] / K. Kotel'nikov // Vestnik opytnoy fiziki i elementarnoy matematiki. — 1890. — № 107. S. 206–210.
23. Kulikov S.M. Vvedenie v nachertatel'nuyu geometriyu mnogomernyh prostranstv [Tekst] / S.M. Kulikov. M., 1970. — 84 s.
24. Lodochnikov V.H. Prosteyshie sposoby izobrazheniya mnogokomponentnyh sistem [Tekst] / V.N. Lodochnikov // Izvestiya Instituta fiziko-himicheskogo analiza. 1924. — T. 2. — Vyp. 2. — S. 255–351.
25. Markova T.V. Kursovaya rabota po inzhenernoy grafike kak instrument formirovaniya konstruktorskogo myshleniya [Tekst] / T.V. Markova, A.L. Bochkov, M.S. Kokorin, T.A. Nikitina // Geometriya i grafika. — 2023. — T. 11. — № 3. — S. 26–38. — DOI:https://doi.org/10.12737/2308-4898-2023-11-3-26-38
26. Matveev S.N. O nekotoryh metodicheskih vozmozhnostyah primeneniya komp'yuternoy sistemy modelirovaniya «Zhivaya geometriya» [Tekst] / S.N. Matveev, G.R. Antropova // Problemy sovremennogo pedagogicheskogo obrazovaniya. — 2018. — № 61-1. — S. 174–177.
27. Morozov E.A. Obobschennaya zadacha Apolloniya [Tekst] / E.A. Morozov // Redakcionnaya kollegiya. — 2022. — S. 80.
28. Nazarova Zh.A. Geometro-graficheskaya podgotovka studentov tehnicheskih special'nostey v sovremennyh usloviyah [Tekst] / Zh.A. Nazarova // Geometriya i grafika. — 2024. — № 1. — S. 41–49. — DOI:https://doi.org/10.12737/23084898-2024-12-1-41-49
29. Nikitina T.A. Klassifikaciya mnogogrannikov v kurse «Inzhenernaya grafika» dlya studentov tehnicheskih i tvorcheskih special'nostey [Tekst] / T.A. Nikitina, M.S. Kokorin, E.V. Knyazeva // Geometriya i grafika. 2025. — T. 13. — № 2. — S. 16–29. — DOI:https://doi.org/10.12737/23084898-2025-13-2-16-29
30. Peklich V.A. Vysshaya nachertatel'naya geometriya [Tekst] / V.A. Peklich. — M.: ASV, 2000. — 344 c.
31. Peklich V.A. Mnimaya nachertatel'naya geometriya [Tekst]: ucheb. posobie / V.A. Peklich. — M.: ASV, 2007. — 104 c.
32. Peklich V.A. Nachertatel'naya geometriya [Tekst]: uchebnik dlya vuzov. / V.A. Peklich. — M.: ASV, 1999. — 248 c.
33. Podgornyy A.L. Geometricheskoe modelirovanie prostranstvennyh konstrukciy [Tekst]: avtoref. dis. … d-ra tehn. nauk. 05.01.01 / A.L. Podgornyy. — M., 1975. 32 s.
34. Radischev V.P. Metody izobrazheniya shestikomponentnyh i bolee slozhnyh sistem v proekciyah pravil'nyh mnogomernyh figur [Tekst] / V.P. Radischev // Izvestiya Sektora fiziko-himicheskogo analiza. — 1941. — T. 14. S. 153–173. — DOI:https://doi.org/10.12737/6519
35. Sal'kov N.A. Parametricheskaya geometriya v geometricheskom modelirovanii [Tekst] / N.A. Sal'kov // Geometriya i grafika. — 2014. — T. 2. — № 3. S. 7–13. DOI: 10.12737
36. Sal'kov N.A. Izuchenie geometrii kak vazhneyshiy sposob razvitiya evristicheskogo myshleniya [Tekst] / N.A. Sal'kov // Geometriya i grafika. — 2024. — № 1. S. 22–31. — DOI:https://doi.org/10.12737/2308-4898-2024-12-1-22-31
37. Sokolova L.S. Mnogomernoe prostranstvo i naglyadnaya geometriya v uchebnoy programme po geometricheskoy podgotovke dlya bakalavriata [Tekst] / L.S. Sokolova // Geometriya i grafika. — 2015. — T. 3. — № 1. — C. 40–46. DOI:https://doi.org/10.12737/10457
38. Filippov P.V. Nachertatel'naya geometriya mnogomernogo prostranstva i ee prilozhenie [Tekst] / P.V. Filippov. — L.: Izd-vo LGU, 1979. — 280 s.
39. Frolov S.A. Metody preobrazovaniya ortogonal'nyh proekciy [Tekst] / S.A. Frolov. — M.: Mashinostroenie, 1970. — 152 s.
40. Schur S.Yu. Dinamicheskoe redaktirovanie geometricheskih obrazov s ispol'zovaniem logicheskih instrumentov v programmnoy srede Simpleks [Tekst] / S.Yu. Schur // GraphiCon 2024: Materialy 34-y Mezhdunarodnoy konferencii po komp'yuternoy grafike i mashinnomu zreniyu. — Omsk: Izd-vo Omskogo gos. tehn. un-ta, 2024. — S. 837–842. — DOI:https://doi.org/10.25206/978-58149-3873-2-2024-837-842
41. Yaroshevich O.V. Rezervy sovershenstvovaniya geometro-graficheskoy podgotovki sovremennogo inzhenera [Tekst] / O.V. Yaroshevich, N.V. Zelenovskaya // Geometriya i grafika. — 2014. — T. 2. — № 2. — S. 37–42. — DOI: https://doi.org/10.12737/5590
42. Bratko I. Prolog programming for artificial intelligence / I. Bratko // Pearson education, 2001.
43. Brüderlin B. Using Prolog for constructing geometric objects defined by constraints / B. Brüderlin // European Conference on Computer Algebra. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. P. 448–459. DOI: https://doi.org/10.1007/3-540-15984-3_309
44. Coelho H. Automated reasoning in geometry theorem proving with Prolog [Tekst] / H. Coelho, L.M. Pereira // Journal of Automated Reasoning. 1986. V. 2. P. 329–390. DOI: https://doi.org/10.1007/BF00248249
45. Fisher J. Skolem machines and geometric logic / J. Fisher, M. Bezem // International Colloquium on Theoretical Aspects of Computing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. P. 201–215. DOI: https://doi.org/10.1007/978-3-540-75292-9_14
46. Font L. Automating the generation of high school geometry proofs using prolog in an educational context / L. Font, S. Cyr, P.R. Richard, M. Gagnon // arXiv preprint arXiv:2002.12551. 2020. DOI: https://doi.org/10.4204/EPTCS.313.1
47. Franklin W.R. Experiences with using Prolog for geometry / W.R. Franklin, M. Nichols, S. Sammadar, P. Wu // Graphics Inter. 1986.
48. Franklin W.R. Prolog and geometry projects / W.R. Franklin, PYF. Wu, S. Samaddar, M. Nichols // IEEE computer graphics and applications. 1986. V. 6. I. 11. P. 46–55. DOI: https://doi.org/10.1109/MCG.1986.276671
49. Lamma E. An extended Warren abstract machine for the execution of structured logic programs / E. Lamma, P. Mello, A. Natali // The Journal of Logic Programming. 1992. V. 14. I. 3-4. P. 187–222. DOI: https://doi.org/10.1016/0743-1066(92)90011-Q
50. Marinković V. Prolog in automated reasoning in geometry /V. Marinković // Prolog: The Next 50 Years. Cham: Springer Nature Switzerland, 2023. P. 334–345.
51. Replogle J.A. Extracting isovolumes from three-dimensional torso geometry using PROLOG / J.A. Replogle, D.J. Russomanno, A.L. De Jongh, F.J. Claydon // IEEE transactions on information technology in biomedicine. 1998. V. 2. I. 1. P. 10–19. DOI: https://doi.org/10.1109/4233.678528
52. Sutherland I.E. Sketch pad a man-machine graphical communication system [Tekst] / I.E. Sutherland // Proceedings of the SHARE design automation workshop. 1964. P. 6.329–6.346. DOI: https://doi.org/10.1145/800265.810742
